Research Engineer - RL & Formal Methods Innovator

Harmonic; Palo Alto (CA); On-site; USD 100,000 - 130,000; Full time

Benefits offered by this job

Unlimited PTO

401(k) matching

100% employer-paid health, vision, and dental benefits

Health Savings Account (HSA)

Job summary

A leading technology startup in Silicon Valley is looking for a motivated Research Engineer to join their Reinforcement Learning & Formal Methods team. This role will focus on advancing mathematical theorem proving with innovative RL techniques. Candidates should possess strong programming skills in Python, experience in deep learning, and a solid understanding of mathematical principles. The position offers benefits such as unlimited PTO and 401(k) matching, along with comprehensive health coverage.

Qualifications

• 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.

Responsibilities

• Conduct high-quality research in the intersection of RL and formal methods.
• Develop and implement novel RL algorithms and models for theorem proving.
• Collaborate with a multidisciplinary team integrating RL techniques with formal methods.

Skills

Python programming

Understanding of mathematical concepts

Deep learning frameworks (e.g., PyTorch)

Education

BS or MS in Computer Science or Mathematics

PhD in Computer Science or Mathematics (preferred)

Job description

A leading technology startup in Silicon Valley is looking for a motivated Research Engineer to join their Reinforcement Learning & Formal Methods team. This role will focus on advancing mathematical theorem proving with innovative RL techniques. Candidates should possess strong programming skills in Python, experience in deep learning, and a solid understanding of mathematical principles. The position offers benefits such as unlimited PTO and 401(k) matching, along with comprehensive health coverage.