Email Gateway (Dec 05 2022 at 13:40): Email Gateway (Dec 05 2022 at 13:40):From: Anders Schlichtkrull <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle Users List
Aalborg University Copenhagen is again looking to appoint a number of assistant professors (with possibility of tenure-track) in computer science.
Aalborg University Copenhagen is the Copenhagen campus of Aalborg University.
The deadline for applications is soon: 1 January 2023!
I work as assistant professor w/tenure track at Aalborg University Copenhagen, and I hope that someone from the Isabelle mailing list will be my new colleague! :-D
You can apply here:
https://www.stillinger.aau.dk/vis-stilling/?vacancy=1200411
Cheers,
Anders Schlichtkrull
Last updated: Apr 25 2024 at 04:18 UTC