- Remote
- Contract
... projects such as Mathlib - Exposure to theorem provers where automated reasoning frequently fails or requires significant manual scaffolding - Prior experience with data annotation, data quality evaluation, or AI training workflows - Strong communication skills for explaining formalization decisions, edge cases, and proof strategies ...
Perth, Australia