Talent.com
VirtualVocations
Mathematician for AI FoundationsVirtualVocations • Escondido, California, United States
No longer accepting applications
Mathematician for AI Foundations

Mathematician for AI Foundations

VirtualVocations • Escondido, California, United States
24 days ago
Job type
  • Full-time
Job description
To support cutting-edge AI research, the fully remote contract Mathematician for AI Foundations will formalize advanced mathematical arguments in Lean 4, contribute to large-scale formal mathematical libraries, and construct rigorous machine-checkable proofs. Key responsibilities Formalize advanced mathematical arguments and theorems in Lean 4 across various disciplines Contribute to the development and quality assurance of large-scale formal mathematical libraries Audit and verify existing formal proofs for correctness and logical integrity Required qualifications Master's degree or PhD in Mathematics or a closely related field Strong background in rigorous mathematical proof writing and logical reasoning Hands-on experience with formal proof assistants, with Lean 4 strongly preferred Ability to translate informal mathematical ideas into structured, machine-verifiable formal proofs Self-motivated and comfortable working independently in a remote environment
Create a job alert for this search

Mathematician for AI Foundations • Escondido, California, United States

Similar jobs

Market Research Coordinator

Careers Integrated Resources IncTemecula, CA, United States
Full-time

Integrated Resources, Inc is a premier staffing firm recognized as one of the tri-states most well-respected professional specialty firms.IRI has built its reputation on excellent service and integ... Show more

 • Promoted

Assistant Estimator - Kiwi II

Janus InternationalTemecula, CA, United States
Full-time

Provide minor estimating and administrative support to the Estimating Department by coordinating bid documentation, managing incoming bid opportunities, assisting with quantity take?offs and pricin... Show more

 • Promoted • New!

Mathematics Private Tutoring Jobs Temecula

SuperprofTemecula, California, US
Full-time +1

Superprof is the leading tutoring platform in the USA, connecting passionate individuals with eager learners.We operate in over 41 countries, making education accessible to everyone, everywhere.Sup... Show more

 • Promoted

Remote Equity Research Analyst - AI Trainer ($50-$60 per hour)

Data AnnotationTemecula, California
$50.00 hourly
Remote
Full-time

DataAnnotation is committed to creating high-quality AI.Enjoy the flexibility of remote work and the freedom to set your own schedule.This is an opportunity to work with us as an independent contra... Show more

 • Promoted

Travel Mammography Tech - $2,744 per week in San Marcos, CA

AlliedTravelCareersSan Marcos, CA, US
$2,744.00 weekly
Full-time

AlliedTravelCareers is working with Medical Solutions to find a qualified Mammography Tech in San Marcos, California, 92078!.A facility in San Marcos, CA is looking for an exceptional Mammography T... Show more

 • Promoted

Clinical Lab Scientist-Per Diem Varied-Temecula Valley Hospital

Universal Health Services, Inc.Temecula, CA, US
Full-time

About Temecula Valley Hospital.Temecula Valley Hospital (TVH), part of Southwest Healthcare, brings advanced technology, innovative programs, patient-centered and family sensitive care to area resi... Show more

 • Promoted

Oncology Account Executive

BillionToOneTemecula, CA, United States
Full-time

Join a team of brilliant, passionate innovators determined to transform healthcare.At BillionToOne, we've built a category-defining, publicly traded company on Nasdaq where transparency fuels trust... Show more

 • Promoted

Physics Private Tutoring Jobs Temecula

SuperprofTemecula, California, US
Full-time +1

Superprof is the leading tutoring platform in the USA, connecting passionate individuals with eager learners.We operate in over 41 countries, making education accessible to everyone, everywhere.Sup... Show more

 • Promoted

MLOps Engineer - Remote (AWS Certified Machine Learning)

MillenniumSoft IncSan Diego, CA, United States
Remote
Full-time

OverviewJoin to apply for the MLOps Engineer - Remote (AWS Certified Machine Learning) role at MillenniumSoft Inc.Location :San Diego, CADuration :10MonthsTotal Hours / week :401st ShiftClient :Med... Show more

 • Promoted

Founding Head of Engineering, Agentic AI

ConfidentialSan Diego, CA, United States
Full-time

Founding Head of Engineering, Agentic AI.Reputable legal technology (LegalTech) company using AI to provide affordable legal services.The Company is seeking a Founding Head of Engineering for Agent... Show more

 • Promoted • New!

Physician (MD/DO) - Rheumatology - $350,000 per year in Temecula, CA

LocumJobsOnlineTemecula, CA, US
Full-time +1

Doctor of Medicine | Rheumatology.LocumJobsOnline is working with CompHealth to find a qualified Rheumatology MD in Temecula, California, 92592!.Temecula is a city in southern California.It is know... Show more

 • Promoted

Project Analyst

NBSTemecula, CA, United States
Full-time

Classification: Full Time, Exempt.Location: Remote or Temecula, CA.Salary Range: $65,000 - $100,000.NBS has standard office hours of Monday through Friday 8 a.PST with the option to work a Compress... Show more

 • Promoted

Physician (MD/DO) - Gastroenterology - $450,000 to $785,000 per year in Temecula, CA

LocumJobsOnlineTemecula, CA, US
Full-time +1

Doctor of Medicine | Gastroenterology.LocumJobsOnline is working with CompHealth to find a qualified Gastroenterology MD in Temecula, California, 92543!.An opportunity is now available to join a si... Show more

 • Promoted

Clinical Psychologist (PsyD & PhD) - Hybrid Role - Aguanga, CA

LifeStance HealthAguanga, CA, United States
Full-time

We are actively looking to hire talented Psychologists in Temecula, who are passionate about patient care and committed to clinical excellence.Competitive Compensation: $140,000 - $152,000, compens... Show more