Software Engineer, Infrastructure
Harmonic · London
Frontier labonsitemid-level
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
Posted · Last seen