- Remote
- Vertrag
90 - 110 $ pro Stunde
... specific written feedback. - Help define guidelines and rubrics for proof quality, statement fidelity, and mathlib conventions. - Collaborate with other Lean engineers and the lab's researchers to maintain consistent standards and elevate quality. Qualifications Must-Have - Hands-on experience writing formal proofs in Lean ...
Berlin, Deutschland