-
PhD in a relevant field (Computer Science, Mathematics are most likely to fit the role, but we are open to Chemistry, Materials Science, Chemical Engineering, etc.), expertise in cutting-edge AI and
-
record of international publications. Examples of fields of interests are: - Automata and Games related to Reactive Synthesis - Model checking tools and algorithms, - Logics and verification techniques
Searches related to model checking
Enter an email to receive alerts for model-checking positions