Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- Nature Careers
- University of Southern Denmark
- Aarhus University
- Aalborg University
- University of Copenhagen
- Copenhagen Business School , CBS
- ;
- ; Technical University of Denmark
- ; University of Aarhus
- ; University of Copenhagen
- European Magnetism Association EMA
- ; Austrian Academy of Sciences
- ; University of Cambridge
- ; University of Southern Denmark
- 5 more »
- « less
-
Field
- Computer Science
- Engineering
- Biology
- Medical Sciences
- Economics
- Mathematics
- Chemistry
- Business
- Science
- Materials Science
- Social Sciences
- Psychology
- Electrical Engineering
- Environment
- Humanities
- Arts and Literature
- Education
- Linguistics
- Philosophy
- Physics
- Law
- Design
- Earth Sciences
- Statistics
- 14 more »
- « less
-
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
-
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
Enter an email to receive alerts for computer-science-programming-languages-"U.S"-"U.S" positions