Job Description
Applied Formal Methods Researcher (Lean 4)
Alignerr partners with leading AI research teams to build cutting‑edge models.
Role Overview – We seek mathematicians with rigorous proof training and hands‑on Lean experience to translate informal mathematical arguments into...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application