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
- Technical University Of Denmark
- DTU Electro
- COPENHAGEN BUSINESS SCHOOL
- Copenhagen Business School , CBS
- Danmarks Tekniske Universitet
- Roskilde University
- ;
- Aarhus University;
- 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 Groningen
- University of Southern Denmark;
- University of St Andrews
- 15 more »
- « less
-
Field
-
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
-
, strive toward scientific excellence, be highly motivated, ambitious, and hard-working. Good communication skills in written and spoken English are required. The groups are ambitious and strive to publish
-
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
-
years. Applications for a 4+4 PhD programme are also welcome. The proposed starting time is spring 2026, with some room for flexibility. The appointment will be made at a competitive salary and will
-
invites applications for postdoctoral research fellowship position(s) within the field of machine learning, natural language processing, and AI safety. The proposed starting date is 1 February 2026 or soon
-
2026 - 23:00 (UTC) Type of Contract To be defined Job Status Full-time Hours Per Week To be defined Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
-
are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and modelling languages - Sound and complete deduction methods
-
2026 - 23:00 (UTC) Type of Contract To be defined Job Status Full-time Hours Per Week To be defined Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
-
2026 - 23:00 (UTC) Type of Contract To be defined Job Status Full-time Hours Per Week To be defined Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
-
modelling languages - Sound and complete deduction methods for establishing properties of quantum programs - Reduction methods and metrics for quantum systems - Decision diagrams for efficient analysis and