Staff Architecture Formal Engineer
- Location
- Cambridge, England, United Kingdom
developer.arm.com/documentation/ddi0602/latest). Equipped with those two formalisations, Arm is now looking to develop lightweight verification methods, augmented with AI as necessary. As a consequence, the Formal Team in the Architecture Technology Group is looking to hire somebody with a passion for verification, and with … necessary. Having some experience developing and deploying verification techniques in an industrial context would be best. Having some notion of how to build an AI chatbot that does not hallucinate would be necessary. A keen interaction with customers and consumers of our tools would make this project a success. Nice ...