Mathematics Job Openings in North Carolina — Search & Apply

Researcher — Lean 4 & Formal Proof Systems (AI Training) About - The Role - What if your deep mathematical expertise could directly shape how AI understands and...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About - The Role - What if your deep mathematical expertise could directly shape how AI understands and...

Bolt Graphics is a semiconductor startup based in Sunnyvale, CA building the fastest and most efficient graphics processors. We pride ourselves on our first principles...

Position: Mathematics Expert (MSc./PhD) - Mathematics Expert (MSc./PhD) is a remote review track for evaluating AI outputs across mathematics reasoning, calculations,...

NDA ищет опытного специалиста по математике слотов для разработки и балансировки сложных игровых механик. Ваша задача — строить и оптимизировать модели RTP,...

Computational Mathematics Expert is a remote review track for evaluating AI outputs across mathematics reasoning, calculations, and research workflows. Reviewers grade...

Position: Remote Operations Research & Applied Math Specialist - Contract - After Query is a research lab seeking operations research and applied mathematics...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About - The Role - What if your mathematical expertise could directly shape the future of AI...

Mathematics Expert is a remote review track for evaluating AI outputs across mathematics reasoning, calculations, and research workflows. Reviewers grade derivations...

Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) - Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) is a remote...