The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools—fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. If you're driven to push the boundaries of what's possible at the intersection of learning and logic, join us and help shape this transformational initiative.

Define and implement new automated reasoning features that employ scalable and efficient approaches to solve complex problems using neural learning and symbolic/formal reasoning

Apply software engineering best practices to ensure a high standard of quality for all team deliverables

Work in an agile, startup-like development environment

Deliver high-quality scientific artifacts

Work with the team to help drive business decisions