Sections
Headlines Open positions at ILLC
Headlines Open positions, general
- Professor or Associate Professor Position in Computer Science (Promotion Programme), Roskilde (Denmark)
- (New) Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany)
- (New) PhD Positions in Formal Methods and Planning, Gothenburg (Sweden)
- (New) 2 Postdoc Positions in Homotopy Type Theory, University of Nottingham (UK)
Open positions at ILLC
-
PhD Position on Improving Social Media Using Large Language Models
Deadline: Saturday 6 September 2025The 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."For more information, see here or at https://werkenbij.uva.nl/en/vacancies/phd-position-on-improving-social-media-using-large-language-models-netherlands-14252 or contact Petter Törnberg at p.tornberg at uva.nl. -
Management/Office-assistent 2
Deadline: Friday 15 August 2025Het 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!
For more information, see here or at https://werkenbij.uva.nl/vacatures/management-office-assistent-2-netherlands-14254 or contact Peter van Ormondt at p.vanormondt at uva.nl.
Open positions, general
-
Professor or Associate Professor Position in Computer Science (Promotion Programme), Roskilde (Denmark)
Deadline: Sunday 7 September 2025The 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.
For more information, see https://candidate.hr-manager.net/ApplicationInit.aspx?cid=1310&ProjectId=147722. -
(New) Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany)
Deadline: Saturday 30 August 2025The 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.
For more information, see https://stellen.uni-konstanz.de/jobposting/09f445de88a811767c47d80dfebd48c49bbef89b0 or contact Stefan Leue at Stefan.Leue at uni-konstanz.de. -
(New) PhD Positions in Formal Methods and Planning, Gothenburg (Sweden)
Deadline: Friday 15 August 2025There 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.
For more information, see https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14087&rmlang=UK. -
(New) 2 Postdoc Positions in Homotopy Type Theory, University of Nottingham (UK)
Deadline: Friday 25 July 2025Applications 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.
For more information, see here or at https://jobs.nottingham.ac.uk/vacancy.aspx?ref=SCI174425 or contact nicolai.kraus at nottingham.ac.uk.