Amazon Development Center U.S., Inc. seeks a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation to make formal methods practical for real-world cloud-scale systems.
You will mentor applied scientists and engineers, design novel algorithms, and collaborate with product teams to transition research into production. This role shapes technical strategy and represents AWS in the academic community.
#J-18808-LjbffrPrincipal Scientist, Automated Reasoning & Verification in seattle at Unknown Company
This position is listed as full time and onsite.