Remote Lean Formal Verification Scientist
Sheffield, Pecos County, Texas, 79781, USA
Listed on 2026-10-16
-
Research/Development
Location: Sheffield
Alignerr Corp. seeks a mathematician with strong formal verification experience to translate advanced proofs into Lean 4 formalizations for AI research projects.
You will work remotely on a flexible hourly contract, 10–40 hours per week, collaborating with AI researchers to push the boundaries of automated proof systems while delivering clear, machine-verifiable results. Applicants should hold a master's degree or higher in math or related field, and be proficient with Lean 3/4 or comparable
For the Remote Lean 4 Formal Verification Scientist position at Alignerr Corp., we are reviewing applications now.
This is an excellent role to take on the Remote Lean 4 Formal Verification Scientist role at Alignerr Corp.
As a Remote Lean 4 Formal Verification Scientist, you will play an important part at Alignerr Corp. in Sheffield, TX, United States.
(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).