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.
10 roles
10dApplied Scientist, Automated ReasoningAmazonApplied ScienceWashington, District of Columbia; Boston, Massachusetts; Austin, Texas; Arlington, Virginia; Seattle, Washington; Santa Clara, California; New York, New York; Denver, Colorado; Portland, Oregon; San Francisco, California…Applications will be accepted on an ongoing basis Applied Scientists in AWS Automated Reasoning develop and apply bleeding-edge formal methods, automated reasoning techniques…
11dArtificial Intelligence Research Lead - Vice President…The team brings together researchers across multi-agent systems, foundation model training, reinforcement and continual learning, multimodal document AI, formal reasoning, planning and verification…
- 11dArtificial Intelligence Research - Senior Associate
…The team brings together researchers across multi-agent systems, foundation model training, reinforcement and continual learning, multimodal document AI, formal reasoning, planning and verification…
- 13dPrincipal Product Manager, Tech, AWS Neurosymbolic AI
The AWS Neurosymbolic AI team is pioneering the integration of formal reasoning and neural approaches to build AI systems that are not only capable…
- 14dApplied Scientist, Prime Air
…Come work for the Amazon Prime Air team! We're looking for an Applied Scientist who combines deep expertise in formal methods and software…
17dHead of Validation and Systems EngineeringJOIN THE TEAM BRINGING ADVANCED AUTONOMY TO THE BUILT WORLD At Bedrock, we're moving AI out of the lab and into the real…
18dLead Principal Product Manager - RoboticsOracleSeattle, WA; Santa Clara, CA…Demonstrated success delivering complex AI, robotics, autonomy, cloud, edge, or distributed-systems products. Experience partnering with scientists and engineers to productize probabilistic or nondeterministic…
- 19dDirector, Applied Science (Responsible AI/Multimodal)
…The Director will lead a team of applied scientists, establish the team's research and product roadmap, and translate advances in multimodal Responsible AI…
20dSenior Project Manager…Influences across organizations without formal authority. Shapes delivery strategy and AI execution models, not just manages timelines. Creates repeatable delivery excellence and institutional learning…
- 20dPrincipal Project Manager
…Influences across organizations without formal authority. Shapes delivery strategy and AI execution models, not just manages timelines. Creates repeatable delivery excellence and institutional learning…