Skip to main content

Applied Scientist, Automated Reasoning Group, Payments Security

Job ID: 1784014 | Services LLC


Job summary
Payments Security team is looking for an Applied Scientist to apply formal verification, program analysis, and constraint-solving to prove the correctness of critical systems. In this role, you will work closely with internal security teams to design and build formal verification systems that continuously assess safety and security. You will build on top of existing formal verification tools developed by AWS and develop new methods to apply those tools at scale. You will need to be innovative, entrepreneurial, and adaptable. We like to move fast, experiment, iterate and then scale quickly, thoughtfully balancing speed and quality.


· M.S. or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field
· At least 5 years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving
· At least 5 years of experience with programming languages such as Java, Scala, C/C++, Ruby, or Python and open-source technologies


· Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field
· Ability to work in a fast paced and agile development environment
· Experience applying formal methods in an ambiguous and complex domain
· Demonstrated track record of project delivery for large, cross-functional projects with evolving requirements
· Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences
· Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests, recommend alternative technical and business approaches, and lead engineering efforts to meet aggressive timelines with optimal solutions
· Meets/exceeds Amazon’s leadership principles requirements for this role
· Meets/exceeds Amazon’s functional/technical depth and complexity for this role

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