Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
jeden dzień temu
... solving, interactive theorem proving, programming language semantics, machine learning and generative ... a team of formal verification specialists spanning recently hired PhDs to ... Java, C++, Python or related language- Experience in any of the ...
www.amazon.jobs