Sort by
Refine Your Search
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
-
DTU Tenure Track Researcher in Nutrition, Sustainability and Health Promotion with a focus on Sus...
both. As formal qualification you must hold a PhD degree (or equivalent) in a relevant field, such as nutrition (e.g., nutrition science, nutritional epidemiology), sustainability (e.g., environmental
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions