🇪🇺 Germany • Contract
Lean Engineer - Formal Mathematics
🏢 Mercor
📍 Berlin
📅 30 September 2026
Job Description
. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour
Ready to take the next step in your European tech career?
Apply directly through the official application portal.