Germany – CAVlinks

PhD and Postdoc Positions on Formal Methods in Germany

Posted onMarch 7, 2022March 7, 2022AuthorNorine Coenen

Heike Wehrheim is a professor at the University of Oldenburg and is looking for PhD students and PostDocs. Read her offer below:

Open PhD Positions: Work with Underwater Robots

Posted onNovember 25, 2020November 25, 2020AuthorNorine Coenen

Fifteen amazing PhD positions in the REMARO project are now available! REMARO is a new Marie-Curie network at the intersection of in AI and formal verification, and at the intersection between academia and companies developing underwater robots.
Application deadline: January 1, 2021 Anywhere on Earth

Call for paper – OCL 2019

Posted onJuly 8, 2019July 9, 2019AuthorCAVlinks

19th International Workshop on OCL and Textual Modeling

Website : http://oclworkshop.github.io