Amazon Development Center U.S., Inc.
Technology
PrincipalAppliedScientist,AutomatedReasoningGroup
“Principal Applied Scientist, Automated Reasoning Group at Amazon Development Center U.S., Inc.. Skills: Automated reasoning, Privacy, Sovereignty. Solve complex problems. Own strategic problem solving”
What You'll Achieve.
Long-term quantifiable impact
Industry & Context.
Problem solving; Strategic problem solving
What They're Looking For.
Must Have
PhD in Computer Science, PhD in Mathematics, Experience in professional software development, Experience programming in O'Caml, Experience programming in Dafny, Experience programming in Haskell, Experience programming in Kotlin, Experience programming in Lean, Experience programming in Rust, Experience programming in Scala
Nice to Have
Deep understanding of security science, Deep understanding of privacy science, Deep understanding of sovereignty science, Experience distilling informal customer requirements, Experience dealing with ambiguity, Experience dealing with competing objectives, 6+ years experience leading scientists, 6+ years experience leading science teams, 6+ years experience leading science products
What You'll Do.
Solve complex problems
Own strategic problem solving
Lead design for solutions
Lead implementation for solutions
Lead delivery for solutions
Provide cross-organizational technical influence
Develop strategic plans
Identify new solutions
Assist in career development
How You'll Work.
Team & Collaboration
Cross-organizational technical influence
Applying for this Principal Applied Scientist, Automated Reasoning Group role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Amazon Development Center U.S., Inc.?
Real rants from real employees. Read before you apply.