[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for cross-postings, but please share freely. Thank you.]
Two Research Fellow positions at UCL’s Programming Principles, Logic, and
Verification group.
I am looking two Research Fellows to be associated with the UK EPSRC-funded
IRIS project,
Interface Reasoning for Interacting Systems,
https://uclirisproject.wordpress.com.
The positions are available for 12 months initially, with possible extension to
36 months.
The closing date is 11 December.
1. A post in logic, to work in these areas:
- the semantics and proof theory of modal and substructural logics
- program and systems verification, and
- modelling and reasoning about distributed and multi-agent systems.
Details at
https://www.jobs.ac.uk/job/CCK032/research-fellow-in-programming-principles-logic-and-
verification
The post will involve collaboration with Didier Galmiche's group at
Nancy.
2. A post in systems security modelling, with expertise in these areas:
- experience and expertise in modelling or simulation
- good technical understanding of systems and networks
- familiarity with computer security and organizational security policy.
Details at
https://www.jobs.ac.uk/job/CCM470/research-fellow-in-systems-security-modelling
The post will involve collaboration with HP Labs and BT, and will be
jointly
supervised by Dr. Tristan Caulfield.
Contacts: [email protected], [email protected]
—
Prof. David J. Pym
Professor of Information, Logic, and Security
Head of Programming Principles, Logic, and Verification
University College London
Honorary Research Fellow, Institute of Philosophy, University of London
Director, UCL Centre for Doctoral Training in Cybersecurity
Editor-in-Chief, OUP Journal of Cybersecurity
[email protected]
www.cs.ucl.ac.uk/people/D.Pym.html
www.cs.ucl.ac.uk/staff/D.Pym/
Assistant: Julia Savage, [email protected], +44 (0)20 7679 0327
