Logic List Mailing Archive

Faculty position in logical foundations & formal methods, Cambridge (England), Deadline: 5 Dec 2022

The Department of Computer Science and Technology at the University of 
Cambridge is seeking to recruit a faculty member in the area of Logical 
Foundations and Formal Methods.  The closing date for applications is 5th 
December, 2022.  Details of the post and the application procedure can be 
found here: https://www.jobs.cam.ac.uk/job/37369/

Interested applicants are encouraged to make informal enquiries about the 
post to marcelo.fiore@cl.cam.ac.uk

[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam