289 programming-"the"-"DAAD"-"UCL"-"FEMTO-ST"-"IMPRS-ML"-"U"-"https:"-"BIP" "Study Group" "Study Group" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
- Computer Science
- Medical Sciences
- Engineering
- Biology
- Economics
- Mathematics
- Chemistry
- Science
- Business
- Social Sciences
- Materials Science
- Environment
- Arts and Literature
- Electrical Engineering
- Linguistics
- Psychology
- Earth Sciences
- Humanities
- Statistics
- Education
- 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
-
in other study groups at the University. Your competencies The ideal applicant has a PhD in Electrical Engineering or Material Science with application to electrochemical energy storage technologies
-
within this field and setting the academic course for the group. The department is committed to supporting this development over the coming years with significant investments. In addition to the full
-
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