177 programming-"the"-"DAAD"-"UCL"-"FEMTO-ST"-"IMPRS-ML"-"U"-"https:"-"DIFFER" positions in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
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
-
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
-
Aarhus University’s teacher-training programme for assistant professors designed for university teaching. Research The department has a strong international profile and network, with its members playing
Enter an email to receive alerts for programming-"the"-"DAAD"-"UCL"-"FEMTO-ST"-"IMPRS-ML"-"U"-"https:"-"DIFFER" positions