Lean 4 Foundations Mathematician – Remote

A research partner for AI development is looking for a Mathematician to work remotely. The role involves formalizing advanced mathematical arguments using Lean 4 and contributing to large-scale formal mathematical libraries. Candidates should hold a Master's or PhD in Mathematics, have a strong background in proof writing, and preferably experience with formal proof assistants. This position offers competitive pay, flexible hours, and the potential for contract extension.#J-18808-Ljbffr