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