Remote Lean 4 Mathematician – AI Foundations & Proofs

Alignerr is looking for a mathematician to help build the mathematical foundations for advanced AI. This fully remote role involves formalizing mathematical arguments in Lean 4 and contributing to large-scale libraries like mathlib.

The ideal candidate holds a Master’s or PhD in Mathematics and has strong skills in proof writing and logical reasoning. Enjoy the flexibility of working on cutting-edge AI research on your own schedule.

#J-18808-Ljbffr…