Job Description
Amazon
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 help customers?.
If so, then we have an exciting opportunity for you… [...]