Logic List Mailing Archive

Lectureship in Computer Science (including mathematical foundations), Bath (England), Deadline: 5 Aug 2020

The University of Bath is hiring a lecturer (assistant professor) in 
Computer Science.

The post is available to all research areas in the department (including 
HCI, Graphics & Vision, AI), but we would be delighted to receive 
applications from excellent candidates who complement our current 
specialities in the Mathematical Foundations area:

http://www.bath.ac.uk/projects/mathematical-foundations-of-computation/

The vacancy and online application form are here:

https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=CC7664

Note the deadline:

Wednesday 05 August 2020

For informal enquiries, please feel free to contact us:

Alessio Guglielmi: A.Guglielmi@bath.ac.uk<mailto:A.Guglielmi@bath.ac.uk>
Guy McCusker: G.A.McCusker@bath.ac.uk<mailto:G.A.McCusker@bath.ac.uk>

or the Head of Department, Mike Fraser: 
mcf35@bath.ac.uk<mailto:mcf35@bath.ac.uk>

In addition to this lectureship, two teaching-focussed posts are available 
(with an earlier deadline of Sunday 19 July): 
https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=CC7617

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