About this role
Harmonic is a startup building the world’s most advanced mathematical reasoning engine, recently achieving Gold Medal-level performance on the 2025 International Math Olympiad. They are seeking a highly motivated and experienced Research Engineer, Technical Lead to lead advancements in mathematical theorem proving using cutting-edge RL techniques and drive execution against research priorities.
Responsibilities:
- Lead and 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