Job Description
A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced in translating informal mathematical arguments into formal proofs, primarily using Lean. Responsibilities include analyzing proofs for gaps and collaborating with researchers on verification strategies. This is a fully remote position with competitive hourly compensation and flexible commitments from 10 to 40 hours per week. #J-18808-Ljbffr
Ready to Apply?
Submit your application today and join our talented team at Alignerr.
Submit ApplicationJob Details
- Location sheffield, pecos county, tx
- Job Type Full-time
- Category Other-General
- Posted Date June 10, 2026
- Application Deadline July 20, 2026