- Remote
- Vertrag
90 - 110 $ pro Stunde
... Headquartered in San Francisco, our investors include Benchmark , General Catalyst , Peter Thiel , Adam D'Angelo , Larry Summers , and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour Location: Remote Commitment: 20–40 hours/week Role Responsibilities ...
Berlin, Deutschland