- Remote
- Contract
... - Able to take a dense, elegant human argument and express it in a form a machine can verify - Mathematically mature — you find satisfaction in precision, structural beauty, and resolving gaps that automated tools cannot bridge Nice to Have - Familiarity with type theory, the Curry-Howard correspondence, and proof automation ...
Perth, Australia