[Proof Complexity] PhD positions at Middlesex University, London.

[Barnaby Martin]

Middlesex University London is offering 24 fully funded doctoral
research studentships, amongst others in areas that might be of
interest to members of this list: software analysis, formal proofs,
complexity and quantum computing.

These are three-year scholarships, covering a maintenance award and
fee payments. For 2012/13, the maintenance award is £15,590 per annum
for 2012/13, including London weighting and free of tax and national
insurance contributions.

The Foundations of Computing group, part of the School of Science and
Technology, is keen to support qualified candidates (preferably with a
masters degree in a relevant area) who are interested in applying for
this program.

Interested candidates should contact one of the group members listed
below informally to discuss a possible project (candidates are asked
to submit a personal research statement as part of their application).

Complexity: Barnaby Martin <B.Martin at mdx.ac.uk>
Formal proofs: Jaap Boender <J.Boender at mdx.ac.uk>

The deadline for applications is 22 March.