[TYPES/announce] PhD studentships at Middlesex University

[Jaap Boender]

Middlesex University London is offering a number of fully funded PhD research studentships across the university:

http://www.mdx.ac.uk/research/applications/fees/bursaries/index.aspx

These are three-year scholarships, covering UK/EU fees and offering a maintenance award. For 2013/14 the maintenance award is £13,863, which includes London weighting, and is free of tax and national insurance contributions. Non-EU students will be required to cover the difference between the UK/EU and International students fee. The difference currently is £5968.

The research topics include areas that might be of interest to members of this list. A full list of projects for Computer Science can be found at

http://www.mdx.ac.uk/research/applications/fees/bursaries/comp-sci.aspx

The Foundations of Computing group, part of the School of Science and Technology, is keen to support qualified candidates who are interested in applying. In particular, we welcome proposals on the following topics:

- Verification of Secure Weighted Doxastic Reasoning with Trust
http://www.mdx.ac.uk/Assets/Secure%20Weighted%20Doxastic%20Reasoning.pdf

- Formal Verification of Quantum Protocols
http://www.mdx.ac.uk/Assets/Formal%20Verification.pdf

- Analysis techniques for safety-critical interactive systems: theory and tools.
http://www.mdx.ac.uk/Assets/Analysis%20techniques.pdf

Proposals that maybe of interest to members of the Foundations Group, but not listed above are also welcome.
 
Interested candidates should contact one of the group members (names and addresses are listed in the different projects) informally to discuss a possible project (candidates are asked to submit a personal research statement as part of their application). Successful candidates will be selected through a university-wide process.

More information about the Foundations Group can be found at:

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

  Jaap Boender

-- 
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.