Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
jeden dzień temu
... boiler plate for testing and model checking, and find and repair program ... techniques: abstract interpretation, data flow, model checking, etc.- Experience applying machine learning ...
www.amazon.jobs