[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 MHonArc.