Applied Scientist, AWS Identity

We are seeking an Applied Scientist to advance formal verification, program analysis, constraint solving, and theorem proving for AWS Identity. You will interact with internal teams and external customers to understand requirements, propose innovative solutions, create software prototypes, and productionize prototypes into production systems using standard software development tools and methodologies. You will also support and scale solutions to meet growing customer demand.

Technical Responsibilities: - Interact with various teams to understand security and safety requirements. - Apply the acquired knowledge to build tools that identify problems or demonstrate the absence of security/safety issues. - Implement these tools using SAT, SMT, and concepts from programming languages, theorem proving, formal verification, and constraint solving. - Analyze customer systems using tools developed in-house or externally provided. - Create software prototypes to verify and validate devised solutions and integrate prototypes into production systems.

Leadership Responsibilities: - Present and defend company-wide technical decisions to the internal technical community and represent the company at technical conferences. - Act as a functional thought leader, sought after for key tech decisions. Effectively sell ideas to executive-level decision makers. - Mentor and train the research scientist community on complex technical issues.

A day in the life - You will work on cutting-edge technology related to formal methods, automated reasoning, automated testi

Applied Scientist, AWS Identity

We are seeking an Applied Scientist to advance formal verification, program analysis, constraint solving, and theorem proving for AWS Identity. You will interact with internal teams and external customers to understand requirements, propose innovative solutions, create software prototypes, and productionize prototypes into production systems using standard software development tools and methodologies. You will also support and scale solutions to meet growing customer demand.

Technical Responsibilities: - Interact with various teams to understand security and safety requirements. - Apply the acquired knowledge to build tools that identify problems or demonstrate the absence of security/safety issues. - Implement these tools using SAT, SMT, and concepts from programming languages, theorem proving, formal verification, and constraint solving. - Analyze customer systems using tools developed in-house or externally provided. - Create software prototypes to verify and validate devised solutions and integrate prototypes into production systems.

Leadership Responsibilities: - Present and defend company-wide technical decisions to the internal technical community and represent the company at technical conferences. - Act as a functional thought leader, sought after for key tech decisions. Effectively sell ideas to executive-level decision makers. - Mentor and train the research scientist community on complex technical issues.

A day in the life - You will work on cutting-edge technology related to formal methods, automated reasoning, automated testi