Logic List Mailing Archive

Four PhD student positions in CS, including logic, Liverpool (England), Deadline: 1 Apr 2020

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.

https://www.csc.liv.ac.uk/research/

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@liverpool.ac.uk or eeecspgr@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. 
--
[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