Applied Scientist, AWS Automated Reasoning
This role involves working with customer teams to understand their software and verification needs, applying advanced techniques like model checking and theorem proving to ensure security and correctness. You will collaborate with experts to build innovative tools and explore generative AI for formalizing requirements and automating testing.