Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Permanent position at the University of Sussex

Email Gateway (Aug 22 2022 at 11:22):

From: Martin Berger <M.F.Berger@sussex.ac.uk>
Hello fellow theorem provers.

The Department of Informatics at the University of Sussex is hiring a
Lecturer, Senior Lecturer or Reader. This is a permanent position.
Somebody with experience in the theory and implementation of
interactive theorem provers would be a good fit for this position.

All details at

http://www.sussex.ac.uk/aboutus/jobs/352

Deadline is October 7th.

Martin

Last updated: Nov 21 2024 at 12:39 UTC