- Remote
- Contract
... where automation struggles or fails - Investigate the breakdown points of automated provers and articulate the underlying reasons — complexity, missing lemmas, library gaps, and more - Collaborate with research teams to design, refine, and evaluate strategies for improving formal verification pipelines - Develop highly readable, ...
Adelaide, Australia