Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- University of Southern Denmark
- Technical University of Denmark
- Nature Careers
- Aalborg University
- Aarhus University
- University of Copenhagen
- Copenhagen Business School
- Aalborg Universitet
- Aarhus University;
- DTU Electro
- Technical University Of Denmark
- COPENHAGEN BUSINESS SCHOOL
- Copenhagen Business School , CBS
- University of Southern Denmark;
- ;
- Danmarks Tekniske Universitet
- NKT Photonics
- Queen's University Belfast
- Technical University of Denmark - DTU
- Technical University of Denmark;
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- University of Groningen
- University of St Andrews
- 14 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Economics
- Business
- Mathematics
- Chemistry
- Science
- Materials Science
- Psychology
- Social Sciences
- Environment
- Humanities
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Education
- Linguistics
- Philosophy
- Statistics
- Law
- Physics
- 13 more »
- « less
-
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
-
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
-
Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description At the Technical
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend intheories for programming semantics, methods for verification and reliability assurance of combined
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for a postdoctoral research fellowship in models of quantum programming
-
The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark, Odense, invites applications for a PhD position in quantum programming languages. The position has