4 fully funded PhD position in the department of computer science, University of Liverpool (UK)

The Department of Computer Science of the University of Liverpool offers four fully funded PhD positions in the research fields pursued in the department. These fields include logic, especially description logic (pursued by Frank Wolter, Boris Konev, Valentina Tamma), dynamic epistemic logic (Louwe Kuijer), temporal logic (Clare Dixon, Michael Fischer, Martin Zimmerman) and automata (Sven Schewe, Patrick Totzke).

The positions do not have pre-defined research topics, so you will have a large amount of freedom in defining your own project. We do, however, strongly recommend that you discuss your intended topic with a prospective supervisor before applying.

See https://intranet.csc.liv.ac.uk/research/ for an overview of the research groups in our department. Of these research groups, the ones most active in logic are "Argumentation and Knowledge Representation" (https://intranet.csc.liv.ac.uk/research/ark/) and "Verification (https://intranet.csc.liv.ac.uk/research/verification/).

If you are interested in going a PhD in Liverpool, please contact a staff member who shares your interests to discuss a research topic. If you have general questions about doing a PhD in Liverpool you can also contact sven.schewe at liverpool.ac.uk or eeecspgr at liverpool.ac.uk.

The deadline for applications is April 1st, 2020, and the intended start date for the positions is in September or October 2020.