The Coq mailing list

[Andrei Popescu <a.popescu AT mdx.ac.uk>]

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 AT mdx.ac.uk

 

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

 

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



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.