Applied Scientist III, AWS Identity (Mid-Level / Intermediate) - Amazon
Amazon | Santa Clara | full-time — Are you passionate about programming languages, applying formal verification, program analysis, constraint-solving, and/or theorem proving to real world problem...