A leading AI research partner is looking for a Formal Verification Scientist specializing in Lean 4 & Mathlib. The candidate will translate informal mathematical arguments into rigorous formal proofs, analyze proofs, and collaborate on enhancing formal verification. A Master’s degree in a relevant field is essential, alongside hands-on experience with proof assistants like Lean. The role offers competitive hourly compensation, and flexible work arrangements, along with opportunities for contract extension.
#J-18808-Ljbffr