[TYPES/announce] Doctoral studentships in Foundations of Computing at Middlesex University

[Jaap Boender]

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.

The Foundations of Computing group:
http://www.cs.mdx.ac.uk/foundations/
More details on the program:
http://www.mdx.ac.uk/research/applications/fees/bursaries/index.aspx


Lecturer in Foundations of Computing
Middlesex University, School of Science and Technology
Hendon Town Hall, T120 - tel +44 (0) 208 41 13645


---------------------------------------------------------------------------


Please note that Middlesex University's preferred way of receiving all correspondence is via email in line with our Environmental Policy. All incoming post to Middlesex University is opened and scanned by our digital document handler, CDS, and then emailed to the recipient.
 
If you do not want your correspondence to Middlesex University processed in this way please email the recipient directly. Parcels, couriered items and recorded delivery items will not be opened or scanned by CDS.  There are items which are "exceptions" which will be opened by CDS but will not be scanned a full list of these can be obtained by contacting the University.