Logic List Mailing Archive

PhD studentship in verification of security & privacy, Guildford (England), Deadline: 30 Aug 2017

Dear all,

Please be aware of this exciting PhD position on formal verification of 
security and privacy using applied, non-classical logics: 
https://jobs.surrey.ac.uk/vacancy.aspx?ref=050517

Best regards,
Ioana Boureanu

--
[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