Job Description
A leading technology firm is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The successful candidate will transform informal proofs into Lean and tackle complex verification challenges. Applicants should possess a Master's degree in Mathematics and experience with Le...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application