Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CS Teaching Fellow, Lancaster Leipzig

view this post on Zulip Email Gateway (Feb 09 2026 at 10:48):

From: Marco Caminati <job.caminati@gmail.com>

Hello everyone,
Vacancy as from subject, here is the advert:
https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=0976-25

Feel free to circulate; my apologies for cross/multiple posts.

Best wishes,
Marco

Last updated: Feb 22 2026 at 05:16 UTC