Skip to content
← Harmonic

Software Engineer, Infrastructure

Harmonic · London

Frontier labonsitemid-level
Apply on the lab’s site ↗

At a glance

Highlights

  • Build infrastructure systems from scratch bridging research and product.
  • Develop verification engine that catches bugs before code ships.
  • Translate state-of-the-art AI research into scalable software systems.

What they offer

  • Unlimited PTO
  • 401(k) matching
  • 100% employer-paid health, vision, and dental benefits for employees and 50% for dependents
  • Health Savings Account (HSA) available for qualifying health plans

Ideal candidate

A collaborative problem-solver energized by AI and reliability who thrives in fast-paced teams and loves turning research ideas into robust, real-world systems.

Requirements

  • BS in Computer Science, Engineering, or a related field
  • 2+ years of relevant industry experience
  • Proficiency in one or more programming languages (e.g., Python, C++)
  • Experience building, scaling, and maintaining large-scale distributed systems
  • Experience with modern software development practices including code reviews, source control, build and deployment, and testing
  • Proven track record operating successfully in a fast-paced, collaborative environment

Lab profile

About Harmonic

Building Aristotle, a mathematical reasoning engine with Lean 4 verification for absolute precision.

What they build

  • Aristotle

Known for

  • Lean 4 verified reasoning
  • Reinforcement learning for reasoning
  • Gold Medal-level 2025 IMO performance
  • Resolution of long-standing open problems
More about Harmonic →
Apply on the lab’s site ↗

Posted · Last seen