Logic List Mailing Archive

Temporary Lectureship in Theoretical Computer Science, Oxford (England)

The Department of Computer Science at the University of Oxford is seeking
to hire a Departmental Lecturer in theoretical computer science.  Areas of
particular interest include logic, verification, and algorithms.  This is a
fixed-term contract until 31 March 2021.  Please see below for details.
https://my.corehr.com/pls/uoxrecruit/erq_jobspec_details_form.jobspec?p_id=142098
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
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