Skip to content

The labs directory · Foundation models in one domain

Harmonic

8 recorded postings · Partial update · October 8, 2026

Recorded postings, not a live vacancy count. Partial update: some sources retain earlier observations; each listing has its own check date.

“Mathematical Superintelligence”
From its homepage, October 1, 2026

Website ↗ Careers ↗ All labs

What its 8 postings mention most
  1. Reinforcement learning 100%
  2. Python 100%
  3. Math for ML 100%
  4. C++, Rust or Go 50%
  5. Agents and tool use 38%
  6. Publications 38%
  7. Cloud and Kubernetes 38%
  8. Inference and serving 25%

taught here course coming not taught

Prof Rod Avatar
Explore opportunities

The board

Recorded technical roles

Research scientists and engineers: 3 · ML systems and infrastructure: 1 · Software engineering at labs: 4

  1. Formal Verification Engineer ↗

    Software engineering at labs · PhD preferred

  2. Research Engineer ↗

    Research scientists and engineers · PhD preferred · $200k to $450k base

  3. Research Engineer, Formal Methods ↗

    Research scientists and engineers · PhD preferred

  4. Research Engineer, Training & Inference ↗

    Research scientists and engineers · PhD preferred · $200k to $450k base

  5. Software Engineer ↗

    Software engineering at labs · PhD preferred · $175k to $350k base

  6. Software Engineer, Infrastructure ↗

    Software engineering at labs · PhD preferred

  7. Software Engineer, ML Systems ↗

    ML systems and infrastructure · Bachelor's or equivalent

  8. Software Engineer, Product ↗

    Software engineering at labs · Bachelor's or equivalent · $175k to $300k base