Amazon Visiting Academic, Automated Reasoning, AWS Identity
Job summaryAmazon 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 world's 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 responsibilitiesThe 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 teamThe 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.
.
Estimated Salary: $20 to $28 per hour based on qualifications.
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 world's 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 responsibilitiesThe 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 teamThe 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.
.
Estimated Salary: $20 to $28 per hour based on qualifications.
|
|
 | |
