We are seeking a highly skilled and accomplished Senior Research Associate to join our Trustworthy Systems Research Group.
* The role involves contributing to cutting-edge research in formal methods, developing proof techniques and collaborating with industry partners.
* Candidates should possess a PhD in computer science or related discipline, with strong skills in theorem proving.