Browse Jobs
Home Jobs

Browse Jobs

Showing 101 - 110 of 5004 results

Set your location
Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr
Boston, MA
Position Overview Fully remote, flexible contract role for Formal Verification Scientists at Alignerr Hourly Contract type Location: Remote ...
$170.00 – $200.00/year Apply Now
Video Research Specialist
Alignerr
West Palm Beach, FL
Record yourself performing everyday household tasks such as cooking, cleaning, and tidying Use an Android device and provided equipm...
$18.00 – $24.00/hr Apply Now
Video Research Analyst
Alignerr
Miami, FL
Imagine getting paid to cook dinner or do laundry --- and in doing so, helping build the AI that will eventually take those chores off your p...
$18.00 – $24.00/hr Apply Now
Video Research Specialist
Alignerr
Miami, FL
Record video footage of yourself performing common household tasks such as cooking, cleaning, and organizing Use an Android device a...
$18.00 – $24.00/hr Apply Now
Front Desk/Data Entry Specialist
KMRG, LLC
Warner Robins, GA
Position Overview We are seeking a Front Desk/Data Entry Specialist to support the U.S. Air Force Military & Family Readiness Center (M&FRC)...
$18.71 – $23.80/hr Apply Now
Lead Qualified Success Architect
Qualified
San Francisco, CA
Position Overview Qualified Success Architect will own the successful implementation and adoption of the Qualified Conversational Marketing ...
$171k – $329k/year Apply Now
Senior Systems Engineer / SW Developer (Eagle I)
MAG Aerospace
Tampa, Florida
About this job Position Summary MAG Aerospace is staffing for a Senior Systems Engineer / SW Developer to support United States Special Opera...
$115k – $150k/year Apply Now
Search Engine Optimization (SEO) Specialist
Air Apps
San Francisco, CA
Position Overview We are looking for an SEO Specialist to enhance the visibility and organic search performance of our apps and websites. Yo...
$60k – $100k/year Apply Now
Contract Manager
LHH
Alameda, CA
Position Overview LHH has partnered with a great company who is seeking an experienced PSC Contracts Manager to support contract management ...
$135k – $160k/year Apply Now
Entry Level IT Infrastructure Professional - FY2026
Jacobs
Shalimar, FL
At Jacobs, we're challenging today to reinvent tomorrow by solving the world's most critical problems for thriving cities, resilient environm...
$59k – $64k/year Apply Now
Formal Verification Scientist (Lean 4 & Mathlib)

Position Overview Fully remote, flexible contract role for Formal Verification Scientists at Alignerr Hourly Contract type Location: Remote Commitment: 10--40 hours/week Job Overview Tr...

$170.00 – $200.00/year Apply Now

Position Overview
  • Fully remote, flexible contract role for Formal Verification Scientists at Alignerr
  • Hourly Contract type
  • Location: Remote
  • Commitment: 10--40 hours/week
Job Overview
  • Translate informal mathematical proofs into Lean 4 with a focus on clarity, structure, and correctness
  • Collaborate with AI researchers to improve formal verification pipelines
  • Develop reproducible proof scripts aligned with mathematical best practices
  • Investigate and articulate breakdowns in automated provers
Key Responsibilities
  • Translate informal mathematical proofs into Lean 4 with a focus on clarity, structure, and correctness
  • Analyze generic and domain-specific proofs, identifying gaps and hidden assumptions
  • Collaborate with AI researchers to design strategies for improving formal verification pipelines
  • Develop highly readable, reproducible proof scripts aligned with mathematical best practices
  • Provide expert guidance on proof decomposition and structuring techniques
  • Investigate breakdowns in automated provers and articulate reasons
  • Create Lean proofs revealing deeper patterns in original mathematics
Who You Are
  • Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or related field
  • Strong foundation in rigorous proof writing and mathematical reasoning
  • Hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or similar systems
  • Enthusiastic about formal verification and mechanized mathematics
  • Comfortable working independently at the edge of current knowledge
Preferred Qualifications
  • Familiarity with type theory, Curry-Howard correspondence, and proof automation tools
  • Experience in large-scale formalization projects like Mathlib
  • Exposure to theorem provers with frequent automated reasoning breakdowns
  • Prior experience in data annotation, data quality evaluation, or AI training workflows
  • Strong communication skills for explaining formalization decisions to collaborators
What We Offer
  • Cutting-edge AI projects with world-leading research labs
  • Fully remote and flexible work environment
  • Freelance autonomy with intellectually rigorous work
  • Contribute to expanding AI's mathematical understanding and reasoning capabilities
  • Potential for ongoing work and contract extension on new projects
About Alignerr
  • Alignerr is seeking Formal Verification Scientists to work on Lean 4 formalizations
  • Passionate mathematicians for rigorous proof construction and formal verification
  • Opportunity to shape the future of AI reasoning at the frontier of proof assistants
Employees Feedback

No feedback yet. Once people respond to this job, that activity will show here.

Similar Jobs
Visual Storytelling Prompt Writer
Watch video clips and write detailed prompts that capture the full visual story Describe characters, settings, camera angles, moveme...
Mechanical Engineering Expert - AI Content Spec...
We're looking for mechanical engineering experts to help train and improve cutting-edge AI models being developed with the world's leading AI...
Data Science Expert - AI Content Specialist
Position Overview Fully remote, flexible contract role for data scientists, ML engineers, and quantitative researchers to work on cutting-ed...
Business Administration (MBA) - AI Content Spec...
What if your MBA could directly shape how AI advises the next generation of business leaders and executives? We're looking for Business Admin...
Business Administration (MBA) - AI Content Spec...
Position Overview Fully remote, flexible contract role with Alignerr Hourly Contract type Location: Remote Commitment: 10-40 hours/week Jo...
Business Administration (MBA) - AI Content Spec...
Position Overview Fully remote, flexible contract role at Alignerr for MBA-qualified specialists to work on advance...
Biology Subject Matter Expert - AI Content Spec...
Design challenging biology questions to rigorously test AI reasoning and performance Develop clear, step-by-step solutions grounded ...
Computer Engineering Expert - AI Content Specia...
Location: Remote About The Job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-...
Computer Engineering Expert - AI Content Specia...
Location: Remote About The Job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-...
Environmental Management Scientist (AI Training)
We're looking for environmental management professionals to help shape how AI understands sustainability, land-use planning, and environmenta...

Real Work. Real Pay.

Help HandyHubb protect job seekers

Donation Status

Goal: $5000
Raised: $630
Still Needed: $4370

13%

Every $25 protects 3,000 job seekers from scam jobs

$10 $15 $25 $40

Why are you reporting this?

No Result Found - Want Us to keep Searching?

Try changing your keyword, or enter your email and we'll let you know when something relevant gets posted.

Get More from Handyhubb

Special discount

Inside Tips

Early Access to new features

You're In!

We've added you in the list.

Expect early access, insider updates, and exclusive offers straight to your inbox

Got it.

We'll let you know when something pops up.

Donate Now