Sort by
Refine Your Search
-
Employer
-
Field
-
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 Summer 2026, with
-
University (http://bio.au.dk/en) and work in the Section for Microbiology at this department. The section employs 12 permanent scientific staff and ~20 PhD students and postdocs. Research at the section covers
-
Summer 2026, with room for flexibility. About FORM FORM is a new initiative, created with the ambition to lead the formalisation of key areas of computing in a universal repository of knowledge and tools
Enter an email to receive alerts for summer "https:" positions