Job Description

A cutting-edge AI firm is seeking a Lean 4 Proof Engineer to form formal mathematical proofs crucial for AI research. The ideal candidate will have a master’s degree in Mathematics, strong experience with proof assistants (especially Lean), and a passion for formal verification. You will translate complex proofs into structured formats for machine verification, pushing the boundaries of what's possible in formal verification. Flexible remote work and competitive pay offered.
#J-18808-Ljbffr

Apply for this Position

Ready to join Alignerr? Click the button below to submit your application.

Submit Application