Seeking Formal Methods Engineers interested in TLA+ work in Zurich!
69 views
Skip to first unread message
ke...@functionalworks.com
Dec 14, 2018, 12:25:00 PM12/14/18
to tlaplus
Just adding more, the position is in Zurich, depending on experience can be partially remote but onsite preferred.
They are currently using Isabelle and TLA+ (and are extremely keen on those who are using Coq, Agda Idris and other Dependent types) and are hiring 1-2 more Formal Methods Engineers. If you have more questions feel free to dm me or email me: ke...@functionalworks.com
Here it is: http://bit.ly/2UvrlLW
They are currently using Isabelle and TLA+ (and are extremely keen on those who are using Coq, Agda Idris and other Dependent types) and are hiring 1-2 more Formal Methods Engineers. If you have more questions feel free to dm me or email me: ke...@functionalworks.com
Here it is: http://bit.ly/2UvrlLW
Reply all
Reply to author
Forward
0 new messages