A leading technology firm is seeking a Formal Verification Scientist (Lean 4 & Mathlib) to work remotely and apply expertise in formal verification to advanced AI research. Responsibilities include translating informal mathematics into Lean proofs and collaborating with researchers on verification pipelines. Ideal candidates have a Master’s in Mathematics or a related field, with hands-on experience in proof assistants like Lean. Competitive pay and freelance perks such as autonomy and flexibility are offered.
#J-18808-Ljbffr