Logic List Mailing Archive

Postdoctoral position on formal verification of privacy, Guildford (England)

An exciting 30-month postdoc position on formal verification of privacy, 
at Univ. of Surrey, at the Surrey Centre for Cyber 
Security<https://www.surrey.ac.uk/surrey-centre-cyber-security>, UK. It is 
on a 3-year EPSRC-funded project, in collaboration with Thales and Vector.

Details to be found here: 
https://www.jobs.ac.uk/job/BTX925/research-fellow-in-formal-verification-of-privacy


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam