Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Job announcement

Email Gateway (Jul 14 2025 at 12:49):

From: Torben Braüner <cl-isabelle-users@lists.cam.ac.uk>
Dear colleagues,

[Apologies for multiple postings.]

I take the liberty to announce that 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. Application deadline September 7th, 2025.

More Information can be found here:
https://candidate.hr-manager.net/ApplicationInit.aspx?cid=1310&ProjectId=147722

Best regards,
Torben

--
Professor, Ph.D., dr.scient. Torben Braüner
Programming, Logic and Intelligent Systems Research Group
Department of People and Technology
Roskilde University, Denmark
http://www.ruc.dk/~torben

Email Gateway (Apr 20 2026 at 18:03):

From: Torben Braüner <cl-isabelle-users@lists.cam.ac.uk>

Dear colleagues,

[Apologies for multiple postings.]

I take the liberty to announce that The Department of People and Technology, Roskilde University, Denmark, invites applications for a position as Assistant Professor of Computer Science. Deadline: June 1st 2026. Further information is available here: https://candidate.hr-manager.net/ApplicationInit.aspx?cid=1310&ProjectId=148106

Best regards,
Torben

--
Professor, Ph.D., dr.scient. Torben Braüner
Programming, Logic and Intelligent Systems Research Group
Department of People and Technology
Roskilde University, Denmark
http://www.ruc.dk/~torben

Last updated: May 02 2026 at 13:17 UTC