The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is inviting applications for a fully funded PhD position in the NWO VIDI project "Improving Social Media Using Large Language Models."

Het Institute for Logic, Language and Computation (ILLC) is op zoek naar een nieuwe management-/office assistent om het team van het bedrijfsbureau te versterken. Kan jij goed in teamverband werken? Hou jij van een dynamische omgeving in een uniek interfacultair, internationaal georiënteerd instituut? Dan is deze positie iets voor jou!

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.

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.

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.

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.