Amazon Applied Scientist AWS Provable Security 

Spain, Community of Madrid, Madrid 

959539611

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 application-specific demands.
* Proactively identify and explore new opportunities for deploying and leveraging formal reasoning solutions across various domains.A day in the life

- PhD, or a Master's degree and experience in CS, CE, ML or related field
- Experience in building models for business application
- Experience in patents or publications at top-tier peer-reviewed 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, high-performance computing

- Experience using Unix/Linux
- Experience in professional software development