Applied Scientist, Agentic Automated Reasoning
- Hiring Organisation
- Jobleads-UK
- Location
- Greater London, England, United Kingdom
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 Preferred Qualifications Experience with model checking tools and techniques … 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 your Privacy Notice (https://www.amazon.jobs/en/privacy_page ) to know more ...