Logic List Mailing Archive

PhD student positions in theoretical computer science, London (U.K.), Deadline: 5 Jun 2015

Middlesex University London is offering a number of fully funded doctoral 
research studentships. These are three-year scholarships, covering a 
maintenance award and fee payments, currently £14,057 and £4,052 (UK/EU 
rate) respectively, including London weighting and free of tax and 
national insurance contributions. For more information on this program, 
please visit:

http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships

The Foundations of Computing group, part of the School of Science and 
Technology, is keen to support qualified candidates (preferably with a 
master's degree in a relevant area) who are interested in applying for 
this program and who wish to pursue a PhD in areas such as

- software analysis
- theory of programming languages
- formal proofs
- program verification and model checking
- algorithms and complexity
- computational geometry
- quantum computing

For more information on our group, please visit:

http://www.cs.mdx.ac.uk/foundations/

Interested candidates should initially contact one of the group members

http://www.cs.mdx.ac.uk/foundations/sample-page/

as soon as possible to informally discuss a possible project (candidates 
are asked to submit a personal research statement as part of their 
application).

For general inquiries, please contact Dr. Andrei Popescu at 
a.popescu@mdx.ac.uk<mailto:a.popescu@mdx.ac.uk>

The formal deadline for applications is 5th of June but candidates should 
contact our group by 29th of May at latest.