Remote Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr is seeking a Formal Verification Scientist to translate complex mathematical proofs into machine-verifiable Lean 4 proofs. This role offers the opportunity to work fully remotely, allowing you to structure your work around your life.

The ideal candidate will hold a Master’s degree in Mathematics or a closely related field and have strong experience with Lean. You’ll engage directly with challenging AI problems, making a significant impact in the field of formal verification.

#J-18808-Ljbffr…