Research Associate/Senior Research Associate (Formal Methods)

This Job is based in Australia The Opportunity The Trustworthy Systems (TS) Research Group, based within the School of Computer Science and Engineering, conducts world-leading research on software systems whose trustworthiness can be mathematically proven. The group is offering an opportunity for a
Research Associate/Senior Research Associate
, where you will contribute to a range of research activities, including the development of proof techniques for systems software and their application to the verification of real-world software systems. You will also play a key role in the group's PISTIs-V project, working on activities such as connecting correctness proofs of usermode components to the seL4 specification, compositional reasoning for system-level properties, formalising security policies and their enforcement, and developing reasoning frameworks for timeliness in mixed-criticality systems. This position will give you the opportunity to develop your research skills and outpu...