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.
#J-18808-Ljbffr
#J-18808-Ljbffr
Research Engineer - RL & Formal Methods Innovator in palo alto at Unknown Company
This position is listed as full time and onsite.