Applied Scientist - (Herndon, VA)

Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that reduce complexity for customers, Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that reduce complexity for customers, increase customer security posture, and are provably correct? If so, then we have an exciting opportunity for you. The AWS Security Services team at Amazon.com is looking for a passionate and innovative Applied Scientist. Security Services is crucial for Amazon s long term success as a t ...