Lean 4 Formal Proof Researcher — Remote AI Training

Alignerr is looking for a Researcher to work on Lean 4 and formal proof systems. In this remote role, you will translate complex mathematical proofs into Lean, ensuring clarity and correctness. The ideal candidate will have a Master's degree in Mathematics or a related field and demonstrate strong proof writing skills. You'll work flexibly on innovative problems alongside leading AI research teams, and enjoy the autonomy of freelance work while engaging in serious mathematical research.
#J-18808-Ljbffr