-
of fifteen (15) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation. Systems theory
-
Proficiency in Danish is required due to collaboration with Danish Industry. Proficiency in English, either demonstrated through formal education or a Master's degree conducted in English. Preferred
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions