Applied Scientist: Automated Reasoning & Neuro-Symbolic Verification

Amazon Inc.; Seattle (WA); In loco; USD 150.000 - 210.000; Tempo pieno

Descrizione del lavoro

Amazon Inc. in Seattle is seeking an Applied Scientist for the AWS Automated Reasoning group to develop and apply automated-reasoning techniques, formal methods, and neurosymbolic approaches to ensure safety, security, and correctness of code and services.

You will collaborate with leading scientists, publish findings, mentor teammates, and help shape technology, product, and customer impact across cloud infrastructure verification, software security, and policy validation.

Mansioni

• Design and implement algorithms and formal methods for automated reasoning to verify correctness, security, and reliability of computing systems.
• Tackle complex problems, own design, implementation, and delivery with long-term impact.
• Develop new decision procedures, heuristics, and search strategies for scalable verification tools.
• Explore generative AI and ML techniques to enhance automated reasoning.
• Develop techniques for safe, aligned autonomous agents and verified AI outputs.
• Conduct original research and publish findings in peer-reviewed venues.
• Collaborate with customer teams to address verification needs with novel analysis capabilities.
• Provide cross-organizational technical influence and translate capabilities into production systems.
• Mentor scientists and engineers on formal methods and neurosymbolic techniques.

Descrizione del lavoro

Amazon Inc. in Seattle is seeking an Applied Scientist for the AWS Automated Reasoning group to develop and apply automated-reasoning techniques, formal methods, and neurosymbolic approaches to ensure safety, security, and correctness of code and services.

You will collaborate with leading scientists, publish findings, mentor teammates, and help shape technology, product, and customer impact across cloud infrastructure verification, software security, and policy validation.