Amazon Visiting Academic, Automated Reasoning, AWS Identity

Amazon Web Services
September 23, 2022
Des Moines, IA
Job Type



Job summary

Amazon Visiting Academics is program to enable university professors to work on large-scale and high-impact technical challenges at Amazon without leaving their academic institutions. The program is designed for world-class, senior-level academics from universities around the globe to join Amazon to work in teams on cutting-edge research in their field of specialty, supported by access to some of the worlds richest databases. Amazon Visiting Academics gives academics an opportunity to develop, test, and apply research methods in practice, innovating in ways that produce immediate, real-world benefits to individuals and families across the globe.

Key job responsibilities

The Visiting Academic will be responsible for improving SMT performance for Zelkova. They will run experiments, collect and analyze data, and implement improvements in SMT solvers to help Zelkova solve more queries than it currently can, and to reduce latency for a better customer experience. The Visiting Academic will build lightweight SMT solvers to improve the customer experience for the common case. They will develop a modular proof strategy towards our goal of provable security.

About the team

The Automated Reasoning, AWS Identity (ARI) team builds tools and methods for provable security to help protect our customers' data. ARI owns and develops Zelkova, which uses SMT solvers to answer universal questions about who has access to what. We continue to scale the usage of Zelkova for existing uses and develop exciting new applications for the technology. These new applications including extending Zelkova to reason about a larger scope of authorization, extending its capabilities for new non-security related use cases for increased automation, and for analysis of new kinds of security configurations.


PhD in Computer Science, Electrical Engineering, or a related field. Current, or confirmed future, professorial affiliation with an academic or research institution.


5+ years of relevant post-doctoral work or academic experience.

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. For individuals with disabilities who would like to request an accommodation, please visit

Only registered members can apply for jobs.

Related Jobs

Data Engineer   London new
September 25, 2022
Full Stack Developer   London new
September 25, 2022
Senior Manager, AWS Security   Herndon, VA new
September 24, 2022
September 24, 2022