University of Edinburgh - School of Informatics
|Salary:||£32,004 to £38,183|
|Contract Type:||Contract / Temporary|
|Placed on:||4th October 2016|
|Closes:||1st November 2016|
|★ View Employer Profile|
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
Type / Role: