Research Fellow in Formal Verification of Privacy
University of Surrey Department of Computer Science
United Kingdom

Location: Guildford
Salary: £31,302 to £40,792
Post Type: Full Time
Advert Placed: Thursday 18 July 2019
Closing Date: Sunday 15 September 2019
Reference: 051219


About us:

The Department of Computer Science at the University of Surrey seeks to recruit an outstanding post-doctoral researcher in the field of formal verification of privacy in secure systems for a full-time position as soon as possible . The post is part of the 3-year EPSRC-funded project "AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure Systems".


The main responsibility of the post holder will be the development of parameterised model checking techniques for privacy-expressing logics against a semantics tailored to encoding secure systems. Whilst the problem of parameterised verification of logics expressing privacy properties and/or parameterised verification of systems under faithful security semantics (i.e., Dolev-Yao attacker) is generally undecidable, in AutoPaSS, we will at sub-classes of systems and appropriate assumptions, to yield (semi-)decidable cases. These endavours view both theoretical foundations and tool development. This direction is not only timely, but it also views interesting paradigm shifts in formal analysis of privacy. The post holder will be working closely with associates at Imperial College London and IMS Chennai, as well as strong industrial partners (Thales, Vector UK) on use-cases in connected vehicles and IoT/LoRaWAN. The post holder will be also given the opportunity to be co-advising two PhD students on this project. Further details of the project are available here:

The post is funded for 30 up to 33 months. Expected start date: 14th October 2019 to 13th January 2020

The post holder will benefit from the research environment provided by the Surrey Centre for Cyber Security, an Academic Centre of Excellence in Cyber Security Research recognised by the British Government. The Centre's research focus is on the design and analysis of security protocols, applied cryptography, data privacy, privacy preserving security, trustworthy systems, and distributed ledger technologies.

The University of Surrey is amongst the highest achieving universities in the United Kingdom, having been awarded the Times/Sunday Times University of the Year Award for 2016. We are ranked in the top 10 in the Guardian University Guide 2018. In addition to your salary you will receive a generous annual leave entitlement, pension provision and excellent development opportunities. Our benefits package also includes an exclusive discounted membership package to the Surrey Sports Park and an on-site Nursery.


The closing date for applications is 15th September 2019.

Apply online or download application documents and further information at If you are unable to apply online please contact Bianca Barret, The University is committed to equality of opportunity in employment and offer many opportunities to help researchers develop as independent researchers.

Informal enquiries are welcome and should be directed to Dr Ioana Boureanu,

The University is committed to equality of opportunity in employment and offer many opportunities to help researchers develop as independent researchers.

Please note, it is University Policy to offer a starting salary equivalent to Level 3.6 (£31,302) per annum (full-time) to successful applicants who have been awarded, but are yet to receive, their PhD certificate. Once the verified original PhD certificate has been submitted to the local HR Department, the salary will be increased to Level 4.1 (£32,236) per annum (full time).

If you apply for this position please say you saw it on Computeroxy


All Jobs


queens uni belfast unted kingdom

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions