Software Development Engineer, Automated Reasoning Group
The automated reasoning group is building the next generation of agile software development tools, aided by generative AI and automated reasoning/formal methods technology. We use software verification tools and advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in automated reasoning to create a more effective programming experience for our customers....