Job Description
A leading mathematics and computer science firm is looking for a Lean 4 Proof Engineer skilled in translating informal mathematical proofs into structured, machine-readable formats. Candidates must have a master's degree in Mathematics or a closely related field. The role emphasizes clarity and rigo...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application