Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- Nature Careers
- University of Southern Denmark
- Aarhus University
- University of Copenhagen
- Aalborg University
- Copenhagen Business School , CBS
- ;
- ; Technical University of Denmark
- ; University of Aarhus
- ; University of Copenhagen
- European Magnetism Association EMA
- ; Maastricht University
- ; University of Oxford
- ; University of Southern Denmark
- 5 more »
- « less
-
Field
-
of programming languages. The ideal candidate has an MSc in Computer Science or Mathematics and experience in one or more of the following areas: Theory of programming languages. Logical methods in
-
, computational biology or other relevant fields. Applicants must have excellent skills in English (oral and written) and be independent, creative, and dependable. Applicants should have several publications in
-
, computational biology or other relevant fields. Applicants must have excellent skills in English (oral and written) and be independent, creative, and dependable. Applicants should have several publications in
-
verification of compiler optimizations in Rocq The position is for 15 hours per week. Starting on September 1, 2025 - or soon thereafter . The place of work is: Computer Science, Aarhus University - Åbogade 34