Applied Scientist, Agentic Automated Reasoning
Amazon
LondonOn-sitefull timeApplied SciencePosted 5mo agoEarly applicant likely
This role is aggregated from the employer's public careers feed - the button opens their application page.
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep
Basic qualifications:
- PhD, or a Master's degree and experience in CS, CE, ML or related field research
- 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
About Amazon
Amazon operates data center infrastructure, develops automotive retail platforms, and provides meetings and events services - roles advertised include program managers for physical infrastructure projects, account managers for marketplace partnerships, and service delivery managers for corporate events.
All Amazon jobsStop searching - get matched.
Upload your CV and our AI will surface roles like this one, with the reasons they fit you.
Upload CV - it's free