Lean 4 Foundations Mathematician – Remote
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
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