Job Description
A leading AI research firm is seeking a Lean 4 Proof Engineer for mathematical formalization. The role requires a Master's degree in Mathematics and hands-on experience with formal proof languages like Lean. You will translate informal proofs into machine-verifiable structures, focusing on the inter...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application