290 programming-"the"-"DAAD"-"IMPRS-ML"-"FEMTO-ST"-"INSA-toulouse"-"https:" "The Open University" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
- Computer Science
- Medical Sciences
- Engineering
- Biology
- Economics
- Chemistry
- Mathematics
- Business
- Science
- Materials Science
- Social Sciences
- Environment
- Arts and Literature
- Electrical Engineering
- Linguistics
- Psychology
- Earth Sciences
- Statistics
- Education
- Humanities
- Law
- Philosophy
- Physics
- 13 more »
- « less
-
applications for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
Computer Science, with focus on Automated Reasoning, Logic, or Programming Languages. Successful candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and the
Enter an email to receive alerts for programming-"the"-"DAAD"-"IMPRS-ML"-"FEMTO-ST"-"INSA-toulouse"-"https:" "The Open University" positions