Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
jeden dzień temu
... at various levels of abstraction, from Arm and x86 native code ... , SAT, SMT, and various concepts from programming languages to automate reasoning ... stopped innovating — that’s why customers from the most successful startups to ...
www.amazon.jobs