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.
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
Track similar jobs
Get email alerts when new roles like this are posted.
Based on: Applied Scientist
See how this role matches your resume
Sign in to get an AI match score and personalized feed.
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
Track similar jobs
Get email alerts when new roles like this are posted.
Based on: Applied Scientist
See how this role matches your resume
Sign in to get an AI match score and personalized feed.
© 2026 JobMatcher. Все права защищены.
© 2026 JobMatcher. Все права защищены.
Telecommunications Project Manager
kW Mission Critical Engineering (a WSP company)
Senior Project Manager - Rail
LJA Engineering, Inc.
Project Manager
Propulsion Controls Engineering
Software Engineer II
Gables Engineering Inc.
Supplier Quality Engineer
ITI Engineering
Project Manager
Gables Engineering
Telecommunications Project Manager
kW Mission Critical Engineering (a WSP company)
Senior Project Manager - Rail
LJA Engineering, Inc.
Project Manager
Propulsion Controls Engineering
Software Engineer II
Gables Engineering Inc.
Supplier Quality Engineer
ITI Engineering
Project Manager
Gables Engineering