Wednesday, May 13, 2015

[DMANET] PhD positions at Middlesex University London

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:

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

Interested candidates should initially contact one of the group members

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 inquires, please contact: Panos Giannopoulos <>.

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.

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.