Talent.com

Applied mathematics Jobs in Bakersfield, CA

Create a job alert for this search

Applied mathematics • bakersfield ca

Last updated: 12 hours ago

Remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) - AI Trainer ($90-$110

MercorBakersfield, California, US
Remote
Part-time

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean.Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help ... Show more

Remote Fluid Dynamics and Convection Stability Physicist (PhD) - AI Trainer ($80-$110 per hour)

MercorBakersfield, California, US
$80.00–$110.00 hourly
Remote
Full-time

About the work **CritPt** is a public benchmark of research-level physics challenges, built to test whether frontier AI models can carry out genuine physics research reasoning rather than textbook ... Show more

Clinical Program Manager - ABA PM Multidisciplinary Pediatric Clinic

DV TherapyBakersfield, CA, United States
$65,000.00–$69,000.00 yearly
Part-time

DV Therapy is seeking a dedicated and experienced BCBA Clinical Program Manager to join our multidisciplinary team.In this leadership role, you'll oversee ABA treatment programs, mentor clinical st... Show more

Forex & Crypto Trader – Remote - Entry Level

Maverick FXEast Niles, California
Remote
Full-time

Maverick Currencies is a proprietary trading firm that has been funding and developing traders since 1997.We provide capital, structured training, and ongoing mentorship — so you trade our mo... Show more

Remote Applied Physics Benchmark Specialist - AI Trainer ($61-$77 per hour)

MercorBakersfield, California, US
$61.00–$77.00 hourly
Remote
Full-time

Role Overview** We are seeking expert physicists to author and review high-quality academic assessment content for an AI research initiative.You will write and verify rigorous multiple-choice quest... Show more

Pricing Actuary - Insurance - REMOTE

Work At Home Vintage ExpertsBakersfield, CA, US
Remote
Full-time +2
Quick Apply

Put your Insurance Experience to work – FROM HOME!.Our unique platform provides you with.WHAT YOU’LL LOVE ABOUT WAHVE.We created a welcoming place to work with friendly and professional... Show more

Mathematics Private Tutoring Jobs Bakersfield

SuperprofBakersfield, California
$20.00 hourly
Full-time +1

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

Remote Mathematics Expert - AI Trainer ($40-$75 per hour)

MercorBakersfield, California, US
$40.00–$75.00 hourly
Remote
Part-time

The research teams behind the best-known AI models come to Mercor for mathematical judgment they can't generate on their own.Your standards and expertise become the rubric that frontier AI is grade... Show more

Nurse Practitioner (NP) - Nurse Practitioner in Tracy, CA

LocumJobsOnlineBakersfield, California, US
Full-time

Nurse Practitioner | Nurse Practitioner.Competitive weekly pay (inquire for details) .LocumJobsOnline is working with The Inline Group to find a qualified Nurse Practitioner NP in Tracy, California... Show more

 • Promoted

Sylvan Tutor (Southwest Bakersfield location)

Sylvan Learning CenterBakersfield, CA, US
Part-time

Now Hiring fo our center located in Southwest Bakersfield.Learning Center of Bakersfield.Sylvan Learning is a place where quality educators love to teach and make a difference in kids’ lives.Whethe... Show more

Surveyor

TradeJobsWorkForce93385 Bakersfield, CA, US
Full-time

Conduct physical site surveys using a variety of equipment and tools.Prepare sketches and notes, and perform electronic data collection.Coordinate field staff and process field data.Interface with ... Show more

 • Promoted

Remote Mathematics Expert (PhD) - $100+ per hour

Turing East Niles, California
Remote
Full-time
Quick Apply

Remote contract for PhDs in Mathematics, Statistics, or related fields.Work on cutting-edge projects with top AI labs while earning $100+/hour, fully remote, with flexible weekly hours.Help fine-tu... Show more

Remote Applied Health & Medicine Benchmark Specialist - AI Trainer ($94-$119 per hour)

MercorBakersfield, California, US
Remote
Full-time

Role Overview** We are seeking expert medical and health science professionals to author and review high-quality academic assessment content for an AI research initiative.You will write and verify ... Show more

Remote Stochastic Biophysics Physicist (PhD) - AI Trainer ($80-$110 per hour)

MercorBakersfield, California, US
$80.00–$110.00 hourly
Remote
Full-time

About the work **CritPt** is a public benchmark of research-level physics challenges, built to test whether frontier AI models can carry out genuine physics research reasoning rather than textbook ... Show more

General Manager

Applied Industrial TechnologiesBakersfield, CA, US
$75,000.00–$105,000.00 yearly
Full-time

B2B outside sales leaders – take your next career step with a global industrial distribution company.Applied Industrial Technologies' company culture is friendly, fun with healthy competition and r... Show more

Behavior Technician

Behavior FrontiersBakersfield, CA, US
$18.00–$21.00 hourly
Part-time
Quick Apply

Join Our Team of Exceptional Behavior Technicians (BT) - Elevate Your Career with Us!  .ABA (Applied Behavior Analysis) treatment for autism and other special needs.We’re looking for enth... Show more

Commercial Lines Account Manager

GpacBakersfield, California, United States
Full-time

Position: Commercial Insurance Account Manager - Insurance.Accurately input policy updates and account information.Communicate with client, producer, and carrier underwriters in regards to policy a... Show more

Clinical Associate Program Manager 1

Easterseals Southern CaliforniaBakersfield, CA, United States
$29.33 hourly
Full-time

Easterseals Southern California Job Opportunity.Easterseals Southern California transforms lives every day.Through advocacy and education, we break barriers and create opportunities for the one-in-... Show more

Remote Applied Philosophy Benchmark Specialist - AI Trainer ($50-$63 per hour)

MercorBakersfield, California, US
$50.00–$63.00 hourly
Remote
Full-time

Role Overview** We are seeking expert philosophers to author and review high-quality academic assessment content for an AI research initiative.You will write and verify rigorous multiple-choice que... Show more

Remote Applied Computer Science Benchmark Specialist - AI Trainer ($66-$84 per hour)

MercorBakersfield, California, US
$66.00–$84.00 hourly
Remote
Full-time

Role Overview** We are seeking expert computer scientists to author and review high-quality academic assessment content for an AI research initiative.You will write and verify rigorous multiple-cho... Show more

 • New!
People also ask
Remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) - AI Trainer ($90-$110

Remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) - AI Trainer ($90-$110

MercorBakersfield, California, US
5 days ago
Job type
  • Part-time
  • Remote
Job description
  • Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. # 1\. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the lab's researchers judge whether a model's proof is not just accepted by the checker but actually proves the right thing. If you enjoy writing Lean, know your way around mathlib, and can explain why a formalization is faithful or subtly wrong, this role is for you. This is a part-time commitment of at least 20 hours per week, with the option to increase to up to 40 hours per week. This is a W-2 employment position with Cincinnatus LLC (or appropriate international entity), with the opportunity to be placed at a leading AI lab as part of their extended workforce. # 2\. Key Responsibilities - Write correct, idiomatic Lean 4 statements and proofs that compile against current mathlib, across areas such as algebra, analysis, number theory, combinatorics and logic. - Formalize natural-language mathematics, from competition problems and textbook results to research-level lemmas, paying close attention to whether the formal statement matches the original. - Review AI-generated Lean statements and proofs, find where they fail or prove the wrong thing, and give clear, specific written feedback. - Help define guidelines and rubrics for proof quality, statement fidelity and mathlib conventions. - Collaborate with other Lean engineers and the lab's researchers to keep standards consistent and keep raising the quality bar. # 3\. Core Qualifications - Hands-on experience writing formal proofs in Lean 4, for example mathlib contributions, a formalization project, a Lean library or tool, or autoformalization work. - Comfort with mathlib and Lean 4 tactics, and with finding and using the right lemmas. - A strong background in proof-based mathematics, theoretical computer science or logic, through a degree or a research record. - The ability to turn a written statement and proof into a correct formal statement and a proof that checks. - Ability to engage reliably for at least 20 hours / week during weekdays. - Clear written communication and the ability to explain proof strategy and formalization choices precisely. Nice to have : experience with other proof assistants or dependently typed languages (Coq / Rocq, Isabelle, Agda, Haskell), Lean metaprogramming, or AI-for-math work such as LLM provers, Lean agent environments, or benchmarks like miniF2F, ProofNet or PutnamBench. You don't need all of these to apply. About Cincinnatus LLC : Cincinnatus LLC is an enterprise staffing company that partners with leading technology companies to source and employ highly skilled professionals for contingent and contract-based opportunities. Cincinnatus serves as the employer of record for these engagements, providing W-2 employment, payroll, benefits, and compliance, while placing employees directly within client teams to work on high-impact initiatives. Equal Employment Opportunity : Cincinnatus is proud to be an Equal Employment Opportunity employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, reproductive health decisions, or related medical conditions), sexual orientation, gender identity, gender expression, age, status as a protected veteran, status as an individual with a disability, genetic information, political views or activity, or any other legally protected characteristic.