Senior Research Associate in Formal Methods
The Opportunity This opportunity is based in The Trustworthy Systems (TS) Research Group that performs world-leading work on software systems whose trustworthiness can be mathematically proved. As a Senior Research Associate you will contribute to various research activities in TS on developing proo...