Design and implement the next-generation prover Make proof systems accessible to non-experts by supporting application logic specified in high-level languages (improve usability and reduce the cost to develop new applications) Support post-...
- Collaborate with stakeholders to define user requirements for features leveraging AI/ML models, data-driven insights, and mobile-first experiences. - Contribute to design documents and identify dependencies for intelligent solutions and c...
As a Senior Researcher, you define your own research agenda in collaboration with other researchers, driving forward an effective program of basic, fundamental, and applied research. We highly value collaboration and building new ideas with...
As a member of a world-class research organization, you are expected to aim at research breakthroughs in the field and will be given an opportunity to realize your ideas in products and services used worldwide. PhD (completed or close to co...
As a Senior Researcher in the AI Frontiers lab, you will perform cutting-edge research in collaboration with other researchers, engineers, and product groups. As a member of a word-class research organization, you will be a part of research...
As a Post Doc Researcher, you define your own research agenda in collaboration with other researchers, driving forward an effective program of basic, fundamental, and applied research. We highly value collaboration and building new ideas wi...
Building state-of-the-art agentic systems, applications, and environments. Building agent-native ecosystems (e.g., frontier firms, agentic markets) where agents can effectively collaborate alongside people and other agents. Developing evalu...
Builds secure and performant AI services & features that power Copilot. Works collaboratively with platform, infrastructure, application engineers as well as AI Researchers to build next generation AI products and services. Ships high-quali...
Research Interns put inquiry and theory into practice. Alongside fellow doctoral candidates and some of the world's best researchers, Research Interns learn, collaborate, and network for life. Research Interns not only advance their own car...
Designing metrics and reward mechanisms to adaptively align to evolving goals. Developing algorithms for eliciting preferences and making decisions under uncertainty. Specifically, you will: Identify and articulate problems that are academi...