Research Engineer
Listed by employer · Checked
Older posting · still listed ·
- Work arrangement
- onsite
- Employment
- FullTime
- Stated compensation
- USD 200,000–450,000 1 YEAR
Does the location policy fit?
Choose where you would work from. We’ll compare it with the posting’s stated requirements.
Choose a country to check geographic compatibility. The source requirements are available below.
The employer’s posting date is more than 60 days ago. It remained listed at our last successful check; it may be a long-running or evergreen opening. Confirm availability on the original posting before applying.
Browse jobs posted in the past 60 days →This checks the posting’s stated requirements, not your legal right to work. Confirm details with the employer.
Requirements
1 with evidence8 unclear or unstated- Remote policy
- onsite
“Provider workplace type: onsite”
From employer posting metadata - Employment type
- FullTime
- Compensation
- USD 200,000–450,000 1 YEAR
8 fields not stated in this posting
- Employer sponsorship
- Not specified
- Geographic scope
- Not specified
- Degree requirement
- Not specified
- Security clearance
- Not mentioned
- Timezone / hours
- Not specified
- Citizenship requirement
- Not mentioned
- Minimum experience (years)
- Not specified
- Work authorization
- Not specified
These details were not stated in the tracked posting. Confirm with the employer.
Original job description
Reading view uses normalized posting text so exact evidence excerpts can be highlighted.
Show less description
Original formatting and links
About Harmonic
At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean4 and reinforcement learning to verify its reasoning and results.
Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human thought. Backed by some of the world’s most prominent investors, we are intentionally scaling an elite technical team.
Visit our company blog to learn more about what we are working on!
About the Role
We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. The successful candidate will play a key role in advancing verifiable reasoning by developing new algorithms, models, and RL techniques.
Key Responsibilities
Conduct high-quality research in the intersection of RL and formal methods, with a focus on mathematical theorem proving.
Develop and implement novel RL algorithms and models for theorem proving.
Collaborate with a multidisciplinary team to integrate RL techniques with formal methods.
Stay abreast of the latest developments in RL, formal methods, and related fields.
Minimum Qualifications
BS or MS in Computer Science, Mathematics a related technical field, or equivalent industry experience
Strong programming skills in Python, with experience in software development and testing.
Experience in deep learning frameworks such as PyTorch
Strong understanding of mathematical concepts, including algebra, geometry, and analysis.
Preferred Qualifications
PhD in Computer Science, Mathematics, or a related field.
Experience in applying AI to solve practical problems in formal methods.
Proven track record of high-quality research demonstrated by publications, patents, or software contributions.
Contributions to open-source projects or development of software tools in the field.
Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing).
Proficiency in formal methods, including experience with theorem proving systems.
What We Offer
Unlimited PTO
401(k) matching
100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.
Health Savings Account (HSA) available for qualifying health plans
Equal Opportunity Statement
Harmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.
Matched by role category. Review each posting’s requirements before applying.