Description
Arm is hiring a formal verification engineer for its Architecture Formal Team to develop lightweight analyses and verification techniques for architectural properties, potentially augmented with AI. The role involves communicating with architects, hardware designers, and software developers; assessing verification solutions; developing and deploying production tools; and mentoring colleagues. OCaml development is required, while industrial verification experience, AI chatbot development, customer interaction, and hardware-software collaboration are preferred or beneficial.
