Jobs
Indexed directly from employers. Every age is their own publish date.
Indexed directly from employers. Every age is their own publish date.
Indexed directly from employers. Every age is their own publish date.
Searching titles and descriptions for “Research Scientist, AI, Formal and informal Reasoning”. A match may be a passing mention rather than the job itself. Titles only.
13 roles across 17 listings · show every listing
…and execute on research that pushes forward the state of the art in reasoning research, with an initial focus on formal and informal mathematical…
…We are a growing team of practicing MDs, AI scientists, PhDs, creatives, technologists, and engineers working together to empower people and make care make…
…Strong understanding of Cloud and AI platforms, familiarity with modern workplace solutions, security, and enterprise architecture and demostrate ability to manage cloud adoption, consumption…
…to identify, engage, and recruit many of the world’s leading and emerging AI researchers, research engineers, and technical scientists working at the frontier…
…maintaining formal safety guarantees • Research and develop methods to quantify and bound perception uncertainty, providing calibrated confidence estimates that safety systems can reason over…
…Our customers bring problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate impact in…
…Our customers bring problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate impact in…
…and classical AI reasoning. We work across on customer problems in fulfillment, automation and robotics. We focus on high quality research science informed by…
…and classical AI reasoning. We work across on customer problems in fulfillment, automation and robotics. We focus on high quality research science informed by…
We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation…
…to identify, engage, and recruit many of the world’s leading and emerging AI researchers, research engineers, and technical scientists working at the frontier…
…and AI solutions at Internet scale - Experience distilling informal customer requirements into problem definitions, dealing with ambiguity and competing objectives - Experience hiring and leading…
…learning, generative AI, large language models and speech technology, robotics, computer vision, optimization, operations research, quantum computing, automated reasoning, or formal methods? If so…