Logic List Mailing Archive

PhD student position on formal verification, Guildford (England), Deadline: 31 Dec 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


Dr. Ioana Boureanu
Lecturer in Secure Systems,
University of Surrey,
Secure Systems Group,
Surrey Centre for Cyber Security
Website: people.itcarlson.com/ioana<http://people.itcarlson.com/ioana>
Linkedin: goo.gl/540OHa<http://goo.gl/540OHa>
T.: +44 1483 683425

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