Applied Scientist, Automated Reasoning Group
Amazon
Austin, TX, US
19 godzin temu
... help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.A ... Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and ...
www.amazon.jobs