Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

Remote Eligible in United States, Canada, United Kingdom $90-$110/hr Open until December 1, 2026

Role brief

Job description

Practice

Focus Length

Full screen

Mic required. Video is optional.

Prep checklist

Match your strongest evidence to this role’s domain.
Prepare one impact story, one troubleshooting story, and one collaboration story.
Use the interview coach before applying if the role is a strong fit.