Senior AI Scientist: Identity & Automated Reasoning

Amazon Inc.; Santa Clara (CA); Vor Ort; USD 192.000 - 260.000; Vollzeit

Zusammenfassung

Amazon Development Center U.S., Inc. seeks a Sr. Applied Scientist for Automated Reasoning in Identity.

You will work on formal methods, automated reasoning, and tooling to improve security and safety across AWS Identity services. The role involves building prototypes, collaborating with internal teams, and scaling solutions for production use. The position emphasizes deep research experience, mentoring, and communicating complex ideas to both technical and non-technical stakeholders, with

Qualifikationen

• PhD or equivalent research experience.
• Experience in mathematical logic, formal verification, SAT/SMT, theorem proving, model checking, or program analysis.
• Demonstrated ability to mentor peers and communicate complex technical concepts effectively.

Aufgaben

• Interact with various teams to understand security and safety requirements.
• Develop tools to find problems or prove the absence of issues.
• Implement tools using SAT, SMT, BDDs and formal methods.
• Analyze customer systems with in-house or external tools.
• Create prototypes and productize into production systems.
• Present and defend technical decisions to internal communities and mentor scientists.
• Work on state‑of‑the‑art formal methods, automated reasoning, and publish findings.

Kenntnisse

Mathematical logic

Formal verification

SAT/SMT

Model checking

Program analysis

Theorem proving

Ausbildung

PhD or equivalent research experience

Jobbeschreibung

Amazon Development Center U.S., Inc. seeks a Sr. Applied Scientist for Automated Reasoning in Identity.

You will work on formal methods, automated reasoning, and tooling to improve security and safety across AWS Identity services. The role involves building prototypes, collaborating with internal teams, and scaling solutions for production use. The position emphasizes deep research experience, mentoring, and communicating complex ideas to both technical and non-technical stakeholders, with