Job Description
A leading AI research organization seeks a Formal Verification Scientist to translate informal mathematical proofs into Lean, focusing on clarity and correctness. Ideal candidates will have a Master's degree in Mathematics and experience with formal proof languages. This remote position offers compe...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application