289 programming-"the"-"DAAD"-"IMPRS-ML"-"FEMTO-ST"-"IDAEA-CSIC"-"https:"-"Swansea-University" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
- Computer Science
- Medical Sciences
- Biology
- Engineering
- Economics
- Mathematics
- Chemistry
- Science
- Business
- Social Sciences
- Materials Science
- Linguistics
- Arts and Literature
- Electrical Engineering
- Environment
- Earth Sciences
- Education
- Humanities
- Law
- Philosophy
- Physics
- Psychology
- Statistics
- 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
-
philosophy at both BA and MA level, alongside active engagement in study programme related activities and curriculum design. Qualifications The successful applicant must: Hold a PhD or similar qualifications