Email Gateway (Dec 15 2025 at 16:11): Email Gateway (Dec 15 2025 at 16:11):From: Anders Schlichtkrull <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle Users
We are again looking to appoint a number of assistant professors (with possibility of tenure-track) and associate professors in computer science.
You can apply for both the Copenhagen campus and the Aalborg campus of Aalborg University.
The deadlines for applications are soon!
I work as associate at the Copenhagen campus, and I hope that YOU will be my new colleague! :-D
In fact we are in Copenhagen several colleagues from the ITP community, namely also Danny Bøgsted Poulsen, Jonas Kastberg Hinrichsen, Jonathan Julian Huerta y Munive and Léon Gondelman.
(The Aalborg campus is also a strong presence in formal methods!)
You can apply here:
Assistant professor, Copenhagen or Aalborg, deadline 12 January: https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/882169
Tenure Track Assistant professor, Copenhagen or Aalborg, deadline 4 January: https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/882630
Associate professor, Copenhagen or Aalborg, deadline 4 January: https://www.vacancies.aau.dk/scientific-positions/show-vacancy/vacancyId/882672
I hope that YOU will be my next colleague :star_struck:!
Cheers,
Anders Schlichtkrull
Last updated: Dec 21 2025 at 20:24 UTC