Job Description
An innovative research company is looking for an Applied Formal Methods Researcher to formalize mathematical proofs for AI research. The ideal candidate should possess a Master's degree with expertise in Lean, proof writing, and formal verification. This remote position offers flexibility with compe...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application