Remote Lean Formalization Specialist – Proof & Verification

Alignerr is seeking a Mathematical Formalization Specialist to shape the future of AI reasoning. This role allows you to translate informal mathematical proofs into Lean, emphasizing clarity and structure. Candidates should possess a Master’s degree or higher in related fields and have a strong foundation in rigorous proof writing.

This fully remote position offers flexible working hours and the chance to collaborate with leading AI research labs on innovative projects at the forefront of mathematics and AI.

#J-18808-Ljbffr…