[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                                                                                                                                                                              
                                                                                                                                                                                            
http://www.sussex.ac.uk/aboutus/jobs/352                                                                                                                                                    
                                                                                                                                                                                            
Deadline is October 7th.    

Martin





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.