Amazon Web Services, Inc.
Principal Applied Scientist, Automated Reasoning in Identity
Amazon Web Services, Inc., Santa Clara, California, us, 95053
10+ years of relevant, broad research experience after PhD degree or equivalent. Proficiency in programming for algorithm and code reviews. Strong core competency in building solutions. Track record of successful delivery. Publications at top-tier peer-reviewed conferences or journals. Strong prior experience with mentorship and/or management of senior scientists and engineers.
Are you passionate about applying automated reasoning and program analysis to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. We’re looking for an Applied Scientist to help strengthen our customers' security with automation for managed controls.
AWS Identity provides the bedrock for secure and continuous access to all AWS services. By quickly connecting millions of users, across the world we empower organizations and enterprises to accelerate their cloud and digital transformation.
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.
Key job responsibilities
Interact with various teams to develop an understanding of their security and safety requirements. Apply the acquired knowledge to build tools and algorithms, find problems, or show the absence of security/safety problems. Implement these capabilities through the use of Automated Reasoning and various concepts from programming languages. 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. PhD in Computer Science, Machine Learning, Mathematics, or related quantitative discipline. Expert level skills across many Automated Reasoning, Programming Languages and related disciplines. Experience recruiting high caliber talent. 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.
#J-18808-Ljbffr
Interact with various teams to develop an understanding of their security and safety requirements. Apply the acquired knowledge to build tools and algorithms, find problems, or show the absence of security/safety problems. Implement these capabilities through the use of Automated Reasoning and various concepts from programming languages. 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. PhD in Computer Science, Machine Learning, Mathematics, or related quantitative discipline. Expert level skills across many Automated Reasoning, Programming Languages and related disciplines. Experience recruiting high caliber talent. 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.
#J-18808-Ljbffr