Logic List Mailing Archive

PhD student positions in computer science, Liverpool (U.K.), Deadline: 13 May 2013

The Department of Computer Science of the University of Liverpool offers a 
number of PhD positions in the research fields pursued in the department, 
including:

algorithmic game theory
algorithmic mechanism design
algorithms and data structures
agent logics
argumentation and dialogue
automata and game theory
automated reasoning
autonomous agents
computational economics
control theory
data mining
distributed and parallel computing
equilibria
graph algorithms
Markov chains and decision processes
multi agent systems
network communication
ontologies
randomised algorithms and data structures
scheduling and energy optimisation
synthesis
temporal logics

Applicants are encouraged to study the pages of our research groups on 
Agents http://www.csc.liv.ac.uk/research/agents/, Complexity Theory and 
Algorithms http://www.csc.liv.ac.uk/research/ctag/, Economics and 
Computation http://www.csc.liv.ac.uk/research/ecco/, and Logic and 
Computation http://www.csc.liv.ac.uk/research/logics/ group, and to 
contact prospective supervisors to discuss a research topic before 
applying.

The deadline for this application round is Monday, May 13.

Applications can be made through 
http://www.liv.ac.uk/study/postgraduate/applying/.

Questions can be directed to phdadmissions@csc.liv.ac.uk