Logic List Mailing Archive

PhD student position in foundations of computing, London (U.K.)

---Apologies for Multiple Postings----

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/