Software Engineer, Harmonic
Infrastructure
AI for formal mathematical reasoning
Open for applications
AI for formal mathematical reasoning
21-100 employees
Open for applications
21-100 employees
Company mission
To explore the frontiers of human understanding.
Role
Who you are
- 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++, etc)
- Experience building, scaling, and maintaining large-scale distributed systems
- Experience with modern software development practices including coding standards, code reviews, source control management, build and deployment processes, and testing
- Proven track record operating successfully in a fast-paced, collaborative environment
Desirable
- MS or PhD degree in Computer Science, Engineering, or a related field
- 5+ years of relevant industry experience
- Prior experience in developing products from concept to launch
- Experience with building core cloud technologies including: infrastructure, security, platforms and services (e.g., AWS, Azure, GCP, Kubernetes, etc)
What the job involves
- We are seeking a talented Software Engineer to build infrastructure systems from scratch, bridging the gap between our research and product development
- In this role, you will develop robust, scalable software systems behind our product based on the discoveries and advancements in AI from our researchers
- We are looking for a problem-solver that has experience working on complex, distributed systems and are passionate about advancements in AI and software development
- Collaborate with AI research scientists to translate state-of-the-art research into practical, scalable software infrastructure
- Participate in the entire software development lifecycle including: requirement analysis, design, coding, testing, reviewing, deployment, and support
- Ensure the scalability, efficiency, and reliability of software systems through the entire development lifecycle
- Write clean, efficient, and well-documented code
- Work cross-functionally with product managers, designers, and other engineering teams to deliver high-quality product
Salary benchmarks
Our take
Harmonic is working to build Mathematical Superintelligence (MSI), delivering AI for formal mathematical reasoning. This has a worth of potential uses, from improving how maths is taught in schools to accelerating the advent of verified software synthesis in safety-critical domains.
It's an intriguing prospect which has gained investor attention to the tune of $75M. This funding will support the company's rapid growth as the leader in developing MSI. Most interestingly, when complete, Harmonic's AI will be the first to have mathematical capabilities superior to that of humans.
Kirsty
Company Specialist at Welcome to the Jungle
Company
Funding (last 2 of 3 rounds)
Nov 2025
$120m
SERIES C
Jul 2025
$100m
SERIES B
Total funding: $295m
Company HQ
Old Palo Alto, Palo Alto, CA
Leadership
Tudor Achim
(Co-Founder & CEO)Former co-founder and CTO at Helm.ai and Staff Software Engineer at Quora. Was also a PhD Student in Computer Science at Stanford University.
Vlad Tenev
(Co-Founder & Executive Chairman)Also the co-founder and CEO of Robinhood. Studied Mathematics at Stanford University and at UCLA.
Share this job
View 5 more jobs at Harmonic