285 programming-"the"-"DAAD"-"IMPRS-ML"-"FEMTO-ST"-"U.S"-"https:"-"PDI-Service" "Study Group" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
- Computer Science
- Engineering
- Medical Sciences
- Biology
- Economics
- Chemistry
- Mathematics
- Business
- Science
- Social Sciences
- Materials Science
- Environment
- Arts and Literature
- Electrical Engineering
- Linguistics
- Earth Sciences
- Psychology
- 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
-
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
-
education in the field as part of the medical training program of the University of Copenhagen, e.g. with special focus on development and implementation of data-driven solutions and AI-based technologies