Amazon Development Center U.S., Inc.
Technology
AppliedScientist,AgenticAutomatedReasoningGroup
“Applied Scientist, Agentic Automated Reasoning Group at Amazon Development Center U.S., Inc.. Skills: Automated reasoning, Software verification, Generative AI, Theorem proving. Work with customer teams. Understand software nature”
What You'll Achieve.
Accelerate code verification
Industry & Context.
Solve code analysis problems
What They're Looking For.
Must Have
PhD or Master's degree, 5+ years CS, CE, ML experience, Experience in patents or publications, Experience programming in Java, C++, Python, Experience in algorithms and data structures, Experience in parsing, Experience in numerical optimization, Experience in data mining, Experience in parallel and distributed computing, Experience in high-performance computing, Experience in formal verification, Experience in program analysis, Experience in constraint-solving, Experience in theorem proving
Nice to Have
Experience using Unix/Linux, Experience in professional software development, Experience with interactive theorem provers, Knowledge of defining semantics, Experience with automated software analysis techniques, Experience applying machine learning, Experience applying generative AI tools
What You'll Do.
Work with customer teams
Understand software nature
Understand properties to establish
Identify tools and methods
Address verification needs
Identify novel analysis capabilities
Use interactive theorem provers
Establish program properties
Explore generative AI techniques
Formalize requirements
Generate boilerplate for testing
Generate boilerplate for model checking
Repair program proofs
How You'll Work.
Team & Collaboration
Work collaboratively; Deliver verified code; Deliver tools
Applying for this Applied Scientist, Agentic 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.