Sr. Applied Scientist, Cedar Authorization (Senior) - Amazon
Amazon | Virtual | full-time — Are you passionate about authorization, programming languages, applying formal verification, program analysis, constraint-solving, and/or theorem proving to rea...