Applied Scientist, Automated Reasoning Group

Key Skills

C++, Java Programming, Machine learning techniques, Optimization, Python Programming, SPARK Programming

Job Description

You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.

BASIC QUALIFICATIONS

• PhD, or Master's degree and 6+ years of applied research experience
• Experience programming in Java, C++, Python or related language
• Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing

PREFERRED QUALIFICATIONS

• PhD in Computer Science, Computer Engineering, Discrete Mathematics, or a related discipline
• Experience with interactive theorem provers, particularly Lean or Coq
• Knowledge of one or more methods of defining semantics: operational, denotational, axiomatic, etc.
• Experience with automated software analysis techniques: abstract interpretation, data flow, model checking, etc.
• Experience applying machine learning and generative AI tools.
• Programming experience in languages targeting validation like Danfy, Lean, Spark, etc.

Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit https://www.amazon.jobs/en/disability/us.