Principal Applied Scientist, Agentic Automated Reasoning Group (Lead) - Amazon
Amazon | Boston | full-time — The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computat...