Software Engineer, Harmonic
Infrastructure
AI for formal mathematical reasoning
Be an early applicant
AI for formal mathematical reasoning
21-100 employees
Be an early applicant
21-100 employees
Company mission
To explore the frontiers of human understanding.
Role
Who you are
- The ideal candidate should be passionate about AI technology and experienced in software development
- BS in Computer Science, Engineering, or a related field
- 2+ years of relevant industry experience
- Software development skills with proficiency in one or more programming languages (e.g., Python, C++)
- Experience scaling and maintaining large scale distributed systems
- Experience in software engineering practices including coding standards, code reviews, source control management, build processes, and testing
- Familiarity with AI concepts and a keen interest in working with AI technologies
- Understanding of algorithms, data structures, and system design
- Ability to work in a fast-paced, collaborative environment
Desirable
- MS or PhD degree in Computer Science, Engineering, or a related field
- Prior experience in collaborating with research teams or in a research-driven environment
- Experience in developing products from concept to launch
- Knowledge of cloud platforms and services (e.g., AWS, Azure, GCP)
- Experience with containerization and orchestration technologies (e.g., Docker, Kubernetes)
- Experience with machine learning frameworks (e.g., TensorFlow, PyTorch)
What the job involves
- We are looking for a talented Software Engineer to bridge the gap between our AI research and product development teams
- This role involves working closely with research scientists to understand their discoveries and advancements in AI, and then applying this knowledge to develop robust, scalable software for real-world applications
- Collaborate with AI research scientists to understand and implement state-of-the-art AI algorithms
- Develop and maintain software that incorporates AI technologies into practical applications and products
- Ensure the scalability, efficiency, and reliability of software systems
- Participate in the entire software development lifecycle, including requirement analysis, design, coding, testing, reviewing, deployment, and support
- Write clean, efficient, and well-documented code
- Stay updated with the latest trends in software engineering and AI technologies
- Support the development of a user facing AI product
- Work cross-functionally with product managers, designers, and other engineering teams to deliver high-quality products
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