Research Associate Job Description
The role within the TS Research Group involves contributing to various research activities, including proof techniques development and their application in verifying real-world software systems.
Key Responsibilities:
* To contribute effectively to a range of formal methods-based projects.
* In this key role, you will play a pivotal part in connecting correctness proofs with seL4 specification compositional reasoning security policies formalisation timeliness frameworks mixed-criticality systems within the PISTIs-V project context.