A leading university in Australia is offering a position for a Research Associate/Senior Research Associate in Formal Methods. You will engage in world-class research on verifying software systems and contribute to industry collaborations. This role requires a PhD in computer science and strong experience with theorem proving. Competitive salary ranges from AUD $110,059 to $127,947 depending on experience, with additional benefits over a fixed two-year contract.
#J-18808-Ljbffr