Logic List Mailing Archive
(Senior) Lectureships in computer science (including logic), London (England), Deadline: 7 Jan 2019
The Department of Computing at Imperial College London invites
applications for full-time faculty members at the Lecturer/Senior Lecturer
level (comparable to tenure-track Assistant/Associate Professorships) who
can contribute to research and teaching in the foundations and practice in
Computer Science. We are recruiting in particular in *Artificial
Intelligence*, including but not limited to*knowledge representation and
reasoning*, *planning*, *game theory *and *social choice theory*, and in
*Theoretical Computer Science*, including but not limited to: *logic and
semantics, **algorithms *and*complexity theory*.
The deadline for applications is 7 January 2019.
For additional information see:
https://www.imperial.ac.uk/jobs/description/ENG00581/six-lectureships-assistant-professor-senior-lectureships-associate-professor-computer-science/
--
Prof Francesca Toni
Department of Computing
Imperial College London
www.doc.ic.ac.uk/~ft/
--
[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