Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
6 godzin temu
... solving, interactive theorem proving, programming language semantics, machine learning and generative ... Java, C++, Python or related language- Experience in any of the ... AI tools.- Programming experience in languages targeting validation like Danfy, Lean, ...
www.amazon.jobs