The Research Engineer will conduct research in reinforcement learning and formal methods, develop novel algorithms for theorem proving, and collaborate with a multidisciplinary team.

The Research Engineer will focus on advancing model training and reinforcement learning systems, enhancing performance and efficiency of large-scale GPU systems.

The Software Engineer will collaborate with AI researchers to implement AI algorithms and develop scalable software for practical applications, ensuring efficiency and reliability in software systems.

The role involves managing the CEO's calendar, coordinating travel, preparing meeting materials, scheduling interviews, and enhancing candidate experience.