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 c...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application