Senior Applied Scientist - Amazon Oy - Seattle, USA

Are you passionate about authorization, programming languages, applying formal verification, program analysis, constraint-solving, and/or theorem proving to real-world problems? Do you want to shape the future of an open-source authorization language that is becoming an industry standard? If so, then we have an exciting opportunity for you. Cedar is an open-source policy language and evaluation engine for authorization that is used across AWS services including Amazon Verified Permissions, AWS Systems Manager, and more. Cedar recently joined the Cloud Native Computing Foundation (CNCF) as a Sandbox project, and we are looking for an Applied Scientist to help advance Cedar's adoption, maturity, and community presence across the cloud-native ecosystem. In this role, you will drive the science and engineering behind Cedar's integration into cloud-native platforms such as Kubernetes, advance Cedar's formal verification and analysis capabilities, and serve as a technical leader and advocate within the CNCF community. You will interact with internal teams and external open-source communities to understand their authorization requirements, propose innovative solutions, create software prototypes, and productize prototypes into production systems. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. Key job responsibilities include driving Cedar's integration into cloud-native environments, advancing formal verification and analysis tools, understanding security and policy requirements, building and implementing tools using SAT, SMT, theorem proving, and formal verification concepts, creating prototypes, and contributing to open-source codebases. You will also represent Cedar and AWS at conferences, advocate for adoption, present technical decisions, mentor scientists, and collaborate with the open-source community to mature Cedar's CNCF project. You will work on cutting-edge technology at the intersection of formal methods, automated reasoning, authorization, and cloud-native systems, collaborating with applied scientists and engineers to solve challenging problems that improve security and usability of authorization systems. The Cedar team builds and maintains Cedar, an open-source policy language and evaluation engine for authorization, designed to be ergonomic, fast, and analyzable, backed by automated reasoning and formal verification. Cedar is used across multiple AWS services and aims to become an industry standard for authorization.