This role focuses on building AI safety systems for Alexa, ensuring LLMs provide safe and trustworthy responses. It involves pioneering solutions in Responsible AI, designing automated testing systems, creating intelligent evaluation systems, building models that understand human values, and crafting AI agents for real-time detection and fixing of production issues. The role emphasizes frontier research with immediate real-world impact, aiming to set industry standards for responsible AI.

Applied Scientist role focused on automated reasoning, privacy, and sovereignty within AWS. The role involves solving complex problems, designing and implementing solutions, and providing cross-organizational technical influence. Requires a PhD or Master's with significant applied research experience in areas like SAT, SMT, theorem proving, symbolic simulation, program analysis, or type systems. Experience with specific programming languages like O'Caml, Dafny, Haskell, Lean, or Rust is preferred.