Research Engineer, Technical Lead

About The Role

We are seeking a highly motivated and experienced Research Engineer, Technical Lead to join our Reinforcement Learning & Formal Methods team. The focus of this position will be on leading advancements in mathematical theorem proving using cutting-edge RL techniques.

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

Minimum Qualifications

• BS in Computer Science, Mathematics, or a related technical field, or equivalent industry experience.
• Demonstrated track record in developing novel, and impactful reinforcement learning systems.
• 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.

Preferred Qualifications

• MS or PhD in Computer Science, Mathematics, or a related field.
• Experience in applying RL to solve practical problems in formal methods.
• Proven track record of high-quality research demonstrated by publications, patents, or software contributions.
• Contributions to open-source projects or development of software tools in the field.
• Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing).
• Experience with formal methods, including experience with theorem proving systems.