Logic List Mailing Archive

Lectureship / Associate Professorship in programming principles, logic, & verification, London (England), Deadline: 28 Feb 2019

The Department of Computer Science at University College London (UCL, 
https://www.ucl.ac.uk) invites applications for a faculty position 
(Lecturer or Associate Professor) in the area of Programming Principles, 
Logic, and Verification PPLV, http://pplv.cs.ucl.ac.uk/welcome/). Our 
interests span theory and practice, including logic, semantics, language 
design, program analysis, program verification, systems verification, 
systems modelling, compilation, and theorem proving.

We seek world-class talent; candidates must have an outstanding research track record.

UCL faculty are expected to carry world-class research, publish in top-tier venues, obtain research funding, deliver high-quality
undergraduate and post-graduate teaching, supervise doctoral students, engage with the community, and contribute to the
management of their department and the College.

If you have any queries regarding the vacancy or the application process, please contact
Prof. David Pym (Head of PPLV, d.pym@ucl.ac.uk<mailto:d.pym@ucl.ac.uk>) and/or Prof. John Shawe-Taylor
(Head of Department, j.shawe-taylor@ucl.ac.uk<mailto:j.shawe-taylor@ucl.ac.uk>).

The closing date is 28 February 2019.

For full details and to apply, please visit the following UCL website:

https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=amNvZGU9MTc4NDY1MCZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0
--
[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