Post-Doctoral Researcher Positions

The Department has several openings at post-doctoral level on various projects. Most of them are interesting to me (so could lead to collaboration) and are externally funded (so come with somewhat attractive salaries).

PhD Positions

  • I have an open PhD position on formalising, verifying and leveraging the real-world guarantees provided by hardware roots of trust in the presence of strong adversaries. The position is funded by EPSRC and Microsoft Research as part of the Microsoft Research PhD Scholarship Programme, and comes with an attractive stipend and travel budget. The funding, however, is subject to student eligibility, including some residence requirements (see the job advert for more detail).
  • The Faculty also has some fully-funded PhD studentships that it will allocate on a competitive basis to UK and EU applicants, on condition that the studentship starts on January 2, 2018. If you would like to work with me on a particular topic, please get in touch as soon as possible with your CV and research programme. The deadline for application to the Faculty is November 13.

Short-Term Research Opportunities

If you are interested in research positions on implementation-aware security proofs, please contact me. This includes, but is not limited to, BSc and MSc projects, short research internships over the summer, or research visits.

Selected Publications

For my full publications list, see my publications page, on DBLP, or Google Scholar.

Other Activities



Invited Talks

PhD School Lectures

Academic Juries

Event Organisation


To get in touch, please try email first. For urgent situations, please use Skype or phone.

For Surrey matters

For other matters


Faculty of Engineering and Physical Sciences
Department of Computer Science, 17 BB 02
Guildford, Surrey, GU2 7XH
United Kingdom