We are seeking to recruit a motivated and research-focused research associate to carry out research in the foundation of security as part of the EPSRC project TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development with Sven Schewe and Dominik Wojtczak. You will enjoy developing theories for contracts to reason about the security of programs. This includes how to abstract, refine, and compose them to increase scalability and precision and to analyse cross-language information flow. The position focusses on high-joy research in synthesising cutting edge algorithms from our knowledge domain with those of our partners, especially Narges Khakpour (Newcastle), who leads our sister project, our visiting researchers (Swen Jacobs, CISPA and Musard Balliu, KTH), and our industry partners from Google Research and OCamlPro.
You should have, or be about to obtain, a PhD in Verification, Theoretical Computer Science, Mathematics, or a closely related field together with an excellent track record of international publications. Examples of fields of interest are:
- Model checking tools and algorithms
- Logics and verification techniques
- Related automata theory / solving their underlying games
- Assume-Guarantee Reasoning
You will have excellent verbal and written communication skills, be able to organise your own work with minimal supervision and prioritise work to meet deadlines. Most importantly, you will have fun toying around with formal structures and pushing algorithmic ideas to their limit with us. The post is available from 1 September 2023 until 31 August 2026.
Job Ref: 060474 Closing Date: 14 July 2023
For full details and to apply online, please visit: https://recruit.liverpool.ac.uk
View or Apply
To help us track our recruitment effort, please indicate in your cover/motivation letter where (globalvacancies.org) you saw this job posting.