Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
6 godzin temu
... tools spanning from fuzzers to model checkers, to interactive theorem provers ... boiler plate for testing and model checking, and find and repair ... techniques: abstract interpretation, data flow, model checking, etc.- Experience applying machine ...
www.amazon.jobs