Remote Lean Formalization Specialist

Alignerr is looking for a Mathematical Formalization Specialist to translate mathematical proofs into Lean and improve formal verification processes. This fully remote role offers flexibility to work alongside leading AI research teams, focusing on proofs that current tools cannot automate. The ideal candidate has a Master's degree in Mathematics and hands-on experience with Lean. Join us to engage in cutting-edge AI research with autonomy and the opportunity for ongoing projects.#J-18808-Ljbffr