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
- Technical University Of Denmark
- Copenhagen Business School
- Aalborg Universitet
- DTU Electro
- Copenhagen Business School , CBS
- Aarhus University;
- Danmarks Tekniske Universitet
- Roskilde University
- ;
- COPENHAGEN BUSINESS SCHOOL
- Queen's University Belfast
- Technical University of Denmark (DTU)
- Technical University of Denmark - DTU
- Technical University of Denmark;
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- University of East Anglia
- University of Groningen
- 14 more »
- « less
-
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
-
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
-
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
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
, and Programming Languages (ACP ), the section on Topology, Algebra, Analysis and Geometry (TAAG ) and the Centre for Quantum Mathematics (QM ). The proposed starting time is Winter 2026, with some room
-
Computer Science, with focus on Automated Reasoning, Logic, or Programming Languages. Successful candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and the
-
will be required to teach and examine courses in the following areas within the Bachelor’s degree programme in English . English Linguistics 2: Structure and Change A minor part of worktime is allotted
-
, and related themes. Principal supervisor is Associate Professor Niclas Scott Bentsen, Department of Geosciences and Natural Resource Management, nb@ign.ku.dk , Phone: +45 20206318. The PhD programme A
-
publications Relevant research experience Other professional activities Good language skills Principal supervisor is Professor Kristian Thorup-Kristensen, ktk@plen.ku.dk . The PhD programme A three year full
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, with focus on Automated Reasoning, Logic, or Programming Languages. Successful candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and the new SDU