-
welcomes applications from all qualified candidates regardless of personal background. Formal requirements Applicants should have or be about to receive a PhD degree in a subject relevant for the research
-
the framework of the Selection in Cognition project. The Postdoc should be a researcher with a strong background in mathematical modelling and is expected to be familiar with formals modelling frameworks such as
-
describe and document: Experience with supervision of BSc and MSc students Teaching experience Formal pedagogical training Complete publication list. Please underline publications that describe your
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions