Research Associate

University of Edinburgh - School of Informatics

Applications are invited for the position of Postdoctoral Research Assistant in the area of formal verification of cryptographic protocols, on the EPSRC-funded project "Verification of cryptographic protocols: modular analysis of equivalence properties.

The project will look at the compositional verification of cryptographic protocols with the intention to enable the automatic analysis of privacy guarantees of complex real life systems. The work will involve developing general theoretical composition results for equivalence properties and integrating them to existing tools such as ProVerif.

Applicants must have a track record of research and should hold, or be close to achieving a PhD in Computer Science or a closely related discipline.

The post is full time and is available from 01 December 2016 for 12 months.

Closing Date: 01 November 2016 at 5pm GMT

For further particulars and to apply for this post please click on the 'apply' button below

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

Share this job
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role: