Sort by
Refine Your Search
-
the national mathematics research clusters GQT, STAR, NDNS+, and DIAMANT, as well as the Quantum Software Consortium. It maintains formal and informal collaborations with the Centrum Wiskunde & Informatica (CWI
-
in generating answers in the form of answer maps. You will explore these challenges together with the Principal Investigator as well as a postdoctoral researcher and two PhD candidates. We are looking
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions