Applied Scientist internship at AWS in London

Stream: job postings

[Stefan Zetzsche]

My team in the Automated Reasoning Group at Amazon Web Services (AWS) is hiring an Applied Scientist intern for a 12-week program this summer.

I'm looking for a PhD candidate who is interested in verification, theorem proving, and neuro-symbolic AI.

This is an on-site position in London, UK.

Please get in touch via stefanze@amazon.co.uk.