We offer a range of exciting and challenging posts in an international setting. As a knowledge intensive department, we wish to attract the broadest professional competences.
Academic vacancies
At the moment we have no vacant positions.
- Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Project FunQ) (deadline: 2025-Dec-15)
- 2-3 year Postdoctoral Fellows in Quantum Mathematics (deadline: 2025-Dec-15)
- Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Methods (deadline: 2025-Dec-15)
- Tenure-track Assistant and Associate Professorship positions in Algorithms (deadline: 2026-Jan-10)
- Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with focus on Cybersecurity and Privacy (deadline: 2026-Jan-11)
- Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with focus on Sustainable and AI-driven Software Engineering (deadline: 2026-Jan-11)
- Postdoc Positions in Formal Methods and Programming Languages (deadline: 2026-Jan-11)
- Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic, or Programming Languages (deadline: 2026-Jan-11)
- DIAS Fellow in Formal Methods and Future Computing (deadline: 2026-Feb-28)
Ph.D. vacancies
Academic parttime vacancies
Technical-administrative vacancies
At the moment we have no vacant positions.