Email Gateway (Jun 15 2026 at 18:03): Email Gateway (Jun 15 2026 at 18:03):From: Andrew Brooke-Taylor <cl-isabelle-users@lists.cam.ac.uk>
Dear all,
The University of Leeds School of Mathematics is currently advertising for 5
lecturer positions, with closing date July 7th.
https://jobs.leeds.ac.uk/vacancy.aspx?ref=EPSMA1141
The logic group in the School is keen to broaden again our coverage of logic,
so applications from people working in areas such as proof formalisation which
are not currently represented in the group would be particularly welcome.
If you have any questions about the logic group at Leeds, I'd be very happy to
answer them; for specifics about these job openings you're probably better to
enquire directly with the Head of School as per the job advertisement.
All the best,
Andrew Brooke-Taylor
Last updated: Jul 02 2026 at 07:34 UTC