Remote Mathematician: Formal Proof & AI Research
San Antonio, Bexar County, Texas, 78208, USA
Listed on 2026-09-26
-
Software Development
Alignerr is seeking a Mathematician for formal proof and AI research on a fully remote hourly contract. You will formalize advanced mathematical arguments in Lean 4, contribute to math libraries, and translate informal ideas into machine-checkable proofs while working asynchronously.
You hold a Master’s or PhD in Mathematics, have a strong background in rigorous proof writing, and enjoy independent work. Prior experience with proof assistants and large libraries is a plus; remote, freelance-like
For the Remote Mathematician:
Formal Proof & AI Research position at Remote Fetch, we are reviewing applications now.
Our team is growing, and we are hiring a Remote Mathematician:
Formal Proof & AI Research in United States.
This Part Time opportunity is for the Remote Mathematician:
Formal Proof & AI Research role at Remote Fetch.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).