Principal Applied Scientist, Automated Reasoning in Identity
Job ID: 2838634 | Amazon Web Services, Inc.
Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. In this role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions, create software prototypes, and productize prototypes into production systems using software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever growing demand of customer use.
Technical Responsibilities:
Interact with various teams to develop an understanding of their security and safety requirements.Apply the acquired knowledge to build provably correct and performant software to address identified needs.Perform analysis of the customer systems using tools developed in-house or externally provided.Create software prototypes to verify and validate the devised solutions methodologies; integrate the prototypes into production systems using standard software development tools and methodologies.Leadership Responsibilities:
Can present and defend company-wide technical decisions to the internal technical community and represent the company effectively at technical conferences.Functional thought leader, sought after for key tech decisions. Can successfully sell ideas to an executive level decision maker.Mentors and trains the research scientist community on complex technical issues.BASIC QUALIFICATIONS
Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.At least 7+ years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving.At least 7+ years of experience with programming languages such as Java, Scala, C/C++, Ruby, or Python and open-source technologies.PREFERRED QUALIFICATIONS
Experience defining and leading a science agenda for ambiguous problems.Ability to work with teams at the interface of automated reasoning and service teams.10+ years of experience applying techniques in your field to solve complex problems.Ability to establish and manage external partnerships.Broad familiarity with different areas of the automated reasoning.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.
#J-18808-Ljbffr