Applied Scientist AWS Provable Security
Applied Scientist AWS Provable Security
Posted on :
27-04-2025
Employer Active
1 Vacancy
Job Alert
You will be updated with latest job alerts via emailValid email field required
Send jobs
Share
Send me jobs like this
Job Alert
You will be updated with latest job alerts via emailValid email field required
Send jobs
Job Description
AWS Provable Security builds AIpowered technology to automate data protection for security sovereignty and privacy. We are a thoughtleader in both the symbolic reasoning and statistical machine learning domains of artificial intelligence with ambitious forwardlooking investments aimed at delivering new capabilities on behalf of our customers.
Key job responsibilities
Key job responsibilities
* Design and implement scalable systems for formal reasoning and automated theorem proving.
* Collaborate closely with internal and external users to understand their requirements for formal verification and automated reasoning.
* Enhance and extend the capabilities of formal reasoning systems to meet applicationspecific demands.
* Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.
A day in the life
This is a unique and rare opportunity to get in early on a fastgrowing segment of AWS and help shape the technology product and the business. You will have a chance to utilize your deep technical experience in a fast moving startup environment and have positive business and customer impact.
PhD or a Masters degree and experience in CS CE ML or related field
Experience in building models for business application
Experience in patents or publications at toptier peerreviewed conferences or journals
Experience programming in Java C Python or related language
Experience in any of the following areas: algorithms and data structures parsing numerical optimization data mining parallel and distributed computing highperformance computing
Experience using Unix/Linux
Experience in professional software development
Amazon is an equal opportunities employer. We believe passionately that employing a diverse workforce is central to our success. We make recruiting decisions based on your experience and skills. We value your passion to discover invent simplify and build. Protecting your privacy and the security of your data is a longstanding top priority for Amazon. Please consult our Privacy Notice to know more about how we collect use and transfer the personal data of our candidates.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.
Key job responsibilities
Key job responsibilities
* Design and implement scalable systems for formal reasoning and automated theorem proving.
* Collaborate closely with internal and external users to understand their requirements for formal verification and automated reasoning.
* Enhance and extend the capabilities of formal reasoning systems to meet applicationspecific demands.
* Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.
A day in the life
This is a unique and rare opportunity to get in early on a fastgrowing segment of AWS and help shape the technology product and the business. You will have a chance to utilize your deep technical experience in a fast moving startup environment and have positive business and customer impact.
PhD or a Masters degree and experience in CS CE ML or related field
Experience in building models for business application
Experience in patents or publications at toptier peerreviewed conferences or journals
Experience programming in Java C Python or related language
Experience in any of the following areas: algorithms and data structures parsing numerical optimization data mining parallel and distributed computing highperformance computing
Experience using Unix/Linux
Experience in professional software development
Amazon is an equal opportunities employer. We believe passionately that employing a diverse workforce is central to our success. We make recruiting decisions based on your experience and skills. We value your passion to discover invent simplify and build. Protecting your privacy and the security of your data is a longstanding top priority for Amazon. Please consult our Privacy Notice to know more about how we collect use and transfer the personal data of our candidates.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.
Employment Type
Full-Time
Key Skills
Report This Job
Disclaimer: Drjobpro.com is only a platform that connects job seekers and employers. Applicants are advised to conduct their own independent research into the credentials of the prospective employer.We always make certain that our clients do not endorse any request for money payments, thus we advise against sharing any personal or bank-related information with any third party. If you suspect fraud or malpractice, please contact us via contact us page.
