183 programming-"the"-"IMPRS-ML"-"IDAEA-CSIC"-"U"-"FEMTO-ST"-"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
-
at a competitive salary and will follow the PhD study program at the Faculty of Science . Candidate Profile An ideal candidate has a background in/or experience with one or more of the following topics
Enter an email to receive alerts for programming-"the"-"IMPRS-ML"-"IDAEA-CSIC"-"U"-"FEMTO-ST"-"https:"-"DIFFER" positions