Applied Scientist: Automated Reasoning & Formal Methods
- Hiring Organisation
- Jobleads-UK
- Location
- Greater London, England, United Kingdom
looking for an Applied Scientist to join the AWS Automated Reasoning Group in London. The role involves working on software verification tools utilizing AI and cloud resources. Ideal candidates will have a PhD or Master's in CS or related fields, along with experience in programming and machine learning. ...