Applied Scientist, Agentic 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 also explore generative AI to help formalize requirements and generate tests.