- Remote
- Contract
... in translating a dense, elegant human argument into something a machine can verify step by step, this role was made for you. - Organization: Alignerr - Type: Hourly Contract - Location: Remote - Commitment: 10–40 hours/week What You'll Do - Translate informal mathematical proofs into precise, machine-verifiable formalizations ...
Perth, Australia