Jobs
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.
31 roles across 40 listings · show every listing · page 2 of 2
5moPrincipal Applied Scientist, Automated ReasoningWe are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation…
6moRecruiter, AI/ML Research…to identify, engage, and recruit many of the world’s leading and emerging AI researchers, research engineers, and technical scientists working at the frontier…
- 7moSr. Manager, Applied Science, Marketing Measurement and Performance Science (MAPS)
…and AI solutions at Internet scale - Experience distilling informal customer requirements into problem definitions, dealing with ambiguity and competing objectives - Experience hiring and leading…
- 9mo2026 Applied Scientist Intern, Amazon University Talent AcquisitionAmazonApplied ScienceLuxembourg+3 more listingsoldest open 10 monthshalf of Amazon’s roles are under 48 days
…learning, generative AI, large language models and speech technology, robotics, computer vision, optimization, operations research, quantum computing, automated reasoning, or formal methods? If so…
1.4yResearch Engineer / Scientist, AlignmentAnthropicAI Research & EngineeringSan Francisco, CAhalf of Anthropic’s roles are under 47 daysHybrid…both a scientist and an engineer. As a Research Engineer on Alignment Science, you'll contribute to exploratory experimental research on AI safety, with…
- 1.4y[Expression of Interest] Research Engineer / Scientist, Alignment - London
…both a scientist and an engineer. As a Research Engineer on Alignment Science, you'll contribute to exploratory experimental research on AI safety, with…