The Strata team at Amazon Development Center U.S., Inc. is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI.
You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our applications span Infrastructure as Code to high-performance cryptography, using interactive theorem proving
#J-18808-Ljbffr