Sort by
Refine Your Search
-
to conduct high-quality research and develop the skills necessary for an academic or industry research career. This includes: Conducting original research in formal methods and automated planning
-
about Automated Reasoning'. From a fundamental research perspective, this relates to the automation of meta-reasoning pertaining to general-purpose reasoning methods. Here, the intended focus is on
-
Infection Biology at the Department of Biology. Qualification requirements Applicants must have: A PhD in ecology or another relevant field Very good oral and written proficiency in English Formal training in
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions