Research Engineer

About the Role

We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. This position will be focused on advancing mathematical theorem proving using cutting-edge RL techniques. The successful candidate will play a key role in developing new algorithms and models that integrate RL with formal methods to solve complex problems in theorem proving and beyond.

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.

Minimum Qualifications

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

Preferred Qualifications

• PhD in Computer Science, Mathematics, or a related field.
• Experience in applying AI 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).
• Proficiency in formal methods, including experience with theorem proving systems.