Sr. Applied Scientist, AWS Identity
at Amazon
Are you passionate about programming languages, applying formal verification, program analysis, constraint-solving, and/or theorem proving to real world problems? Do you want to create products that help