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, SAT/ ...