184 programming-"the"-"DAAD"-"UCL"-"U"-"SciLifeLab"-"U.S"-"https:"-"DIFFER"-"Deakin-University" 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
Enter an email to receive alerts for programming-"the"-"DAAD"-"UCL"-"U"-"SciLifeLab"-"U.S"-"https:"-"DIFFER"-"Deakin-University" positions