Month: October 2022

A few positions with us are now open:

• Scientific Programmer (Towards a Research-Oriented Startup, Oct 2022)
• PostDoc Researcher (Category Theory and Practical Model Checking Algorithms, Oct 2022)
• PostDoc Researcher (Theorem Proving for Automated Driving, Oct 2022)

Besides, there is a post-doc opportunity open in Kyoto, in Atsushi Igarashi’s group (we work closely with them):

• PostDoc Researcher (Programming abstraction for security, Kyoto U)