News and Events: Open Positions

Sections

Headlines Open positions at ILLC

Headlines Open positions, general

Open positions at ILLC

Open positions, general

  • Professor or Associate Professor Position in Computer Science (Promotion Programme), Roskilde (Denmark)

    Deadline: Sunday 7 September 2025

    The Department of People and Technology, Roskilde University, invites applications for a position as professor or associate professor on the promotion programme of Computer Science from the 1st of January 2026 or as soon as possible thereafter.

  • (New) Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany)

    Deadline: Saturday 30 August 2025

    The Chair for Software and Systems Engineering (Prof. Stefan Leue) of the University of Konstanz (Germany) has the opening of a full-time Doctoral / Post-Doctoral Position (reference no. 2025/152). The start date is October 1st, 2025 (or a mutually agreeable later date, but no later than April 1st, 2026). The position is initially available for two years with the possibility of extension.

    The position is expected to contribute to the goals of the DFG-funded research project “SCADNet”. In this context, research interests in formal guarantees for Deep Neural Networks, foundations and models of causality, automated repair of real-time systems, system safety, formal techniques in legal tech, and generally formal methods and verification are welcome. The working language is English. Proficiency in German is not a prerequisite. Renumeration is according to the TV-L labor agreement in the EG 13 payscale, amounting to at least € 57.000,00 p.a.

  • (New) PhD Positions in Formal Methods and Planning, Gothenburg (Sweden)

    Deadline: Friday 15 August 2025

    There are up to two open PhD positions in the department of Computer Science and Engineering at Chalmers University of Technology / the University of Gothenburg, Sweden. The students will work with Professor Nir Piterman in the formal methods unit. The successful candidates will work on combinations of formal verification and planning on symbolic AI that is used in reinforcement learning and directly in robotics and reactive software development.

    PhD (third-cycle) education is through a fixed-term employment contract for 5 years. During these 5 years, most of the student's time will be devoted to their research. They will also be assisting the department's education by working 20% of their time on a teaching or supporting role. This project is supported by WASP and the appointed student will also belong to the WASP graduate school.

  • (New) 2 Postdoc Positions in Homotopy Type Theory, University of Nottingham (UK)

    Deadline: Friday 25 July 2025

    Applications are invited for two postdoctoral positions in homotopy type theory at the University of Nottingham, UK. The positions are initially for three years, after which an extension is likely to be possible. The suggested starting date is 1 October this year, but please get in touch even if you could only start later.

    There are no teaching obligations attached to these positions, but there are teaching and supervision opportunities. The current call primarily addresses candidates who already work in (homotopy) type theory. However, if you work in a related area and are interested in type theory, please do not hesitate to contact Nicolai Kraus for an informal discussion.