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):