[isabelle] Permanent position at the University of Sussex
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
Deadline is October 7th.
This archive was generated by a fusion of
Pipermail (Mailman edition) and