- Remote
- Vertrag
90 - 110 $ pro Stunde
... engineers and the lab's researchers to maintain consistent standards and elevate quality. Qualifications Must-Have - Hands-on experience writing formal proofs in Lean 4 . Examples include mathlib contributions, a formalization project, or a Lean library or tool. - Comfort with mathlib and Lean 4 tactics. Ability to find and ...
Berlin, Deutschland