Research Engineer

Harmonic
Palo Alto
Workplace: OnsiteFull timeUSD 200,000 - 325,000 annuallyFunction: Research & Scientific (R&D)Education: bachelorsSkills: ["Problem-solving","Communication","Collaboration","Teamwork"]

Join Harmonic’s Reinforcement Learning & Formal Methods team to advance mathematical theorem proving using cutting-edge RL techniques. You’ll develop novel algorithms, collaborate across disciplines, and push the boundaries of RL integrated with formal methods on a world-class research engine.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Harmonic
Harmonic
1 year ago

Research Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 3 hours agoStatus: Live

Job Summary

Join Harmonic’s Reinforcement Learning & Formal Methods team to advance mathematical theorem proving using cutting-edge RL techniques. You’ll develop novel algorithms, collaborate across disciplines, and push the boundaries of RL integrated with formal methods on a world-class research engine.
Location: Palo Alto
Workplace: Onsite
Employment Type: Full time
Job Function: Research & Scientific (R&D)

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.

Pay and Benefits

Salary: USD 200,000 - 325,000 annually
Equity and Bonus:Equity
Perks:Paid Leave401kHealth InsuranceVisionDental

Key Requirements

  • •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
  • •PhD in Computer Science, Mathematics, or a related field (preferred)
Experience:AIMachine learningTheorem proving
Education:Bachelor's in Computer Science
Skills:Problem-solvingCommunicationCollaborationTeamwork
Languages:English
Tech Stack:PythonPyTorchReinforcement learning

Company Brief

Harmonic
Harmonic is developing Mathematical Superintelligence (MSI) — AI models (notably "Aristotle") that use formal verification to solve and verify advanced mathematical problems and reliably reason in quantitative domains.
Industry: AI & Machine Learning
Company Size: Small (11 to 50 employees)
Revenue: Pre-Revenue (USD 0)
Growth: Scaleup
Valuation: Unicorn (USD 1B+)
Funding: Series C
Headquarters: Palo Alto, United States
Founded: 2023
WebsiteLinkedIn