Research Engineer - RL & Formal Methods Innovator

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