Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Associate/Assistant professorship in Copenhage...

view this post on Zulip Email Gateway (Jan 05 2022 at 11:07):

From: Anders Schlichtkrull <andsch@cs.aau.dk>
Dear Isabelle Users List

Aalborg University is 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 Aalborg campus of the university.

The deadline for applications is soon: 15 February 2022!

I work as assistant professor at the Copenhagen campus, and I hope that someone from the Isabelle mailing list will be my new colleague! :-D

You can apply here:

ASSOCIATE PROFESSOR IN COMPUTER SCIENCE
https://www.stillinger.aau.dk/vis-stilling/?vacancy=1180936

ASSISTANT PROFESSOR IN COMPUTER SCIENCE (WITH POSSIBILITY OF TENURE-TRACK)
https://www.stillinger.aau.dk/vis-stilling/?vacancy=1180937

Cheers,
Anders Schlichtkrull

view this post on Zulip Email Gateway (Feb 04 2025 at 09:19):

From: Anders Schlichtkrull <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle Users List

We are again looking to appoint a number of tenure track assistant professors, assistant professors and associate professors in computer science.
You can apply for both the Copenhagen campus and Aalborg campus of Aalborg University.

The DEADLINES for applications are VERY SOON! See below.

I work as associate professor at the Copenhagen Campus, and I hope that someone from the Isabelle mailing list will be my new colleague! :-D
From the ITP community we have here also Léon Gondelman and Jonathan Julian Huerta y Munive who you may also know.

You can apply here:

ASSOCIATE PROFESSOR IN COMPUTER SCIENCE (Deadline: 2 March 2025!)
https://www.stillinger.aau.dk/videnskabelige-stillinger/vis-stilling/vacancyId/1219385

TENURE TRACK ASSISTANT PROFESSOR IN COMPUTER SCIENCE (Deadline: 2 March 2025!)
https://www.stillinger.aau.dk/videnskabelige-stillinger/vis-stilling/vacancyId/1219386

ASSISTANT PROFESSOR IN COMPUTER SCIENCE (Deadline: 14 February 2025!)
https://www.stillinger.aau.dk/videnskabelige-stillinger/vis-stilling/vacancyId/1219351

Cheers,
Anders Schlichtkrull

Last updated: Feb 05 2025 at 16:23 UTC