Job Description
Are you interested in how to build AI reasoning systems that give provably correct answers? Are you excited by science at the interface of classical AI reasoning and Large Language Models (LLMs)? Would - Experience in building models for business application - Experience in patents or publications at top-tier peer-reviewed conferences or journals - Experience programming in Java, C++, Python or related language - Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing - Experience implementing algorithms using toolkits and self-developed code - Publication record in top tier venues in generative AI reasoning or classical planning - PhD in a relevant field (reinforcement learning, neurosymbolic AI, LLMs for formal reasoning) - Experience in reinforcement learning or neuro-symbolic AI - Practical experience with PyTorch, the HuggingFace ecosystem, SageMaker, and RL tools
