Location: Remote Organization: Alignerr Position: Formal Verification Scientist (Lean 4 & Mathlib) Type: Hourly Contract Compensation: $70–$150 /hour Commitment: 10–40 hours/week At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Wr