Staff Architecture Formal Engineer
Core
Developing lightweight verification methods augmented with AI to check architectural properties and improve the Arm Architecture Specification Language.
Role type
Staff Architecture Formal Engineer
Builds
Lightweight verification tools and analyses for Arm architecture specifications
Domain
Semiconductor hardware architecture and formal verification
Deliverable
production ML models | product features
Required skills
OCaml development, industrial verification techniques, AI chatbot non-hallucination, tool deployment, stakeholder communication
Preferred skills
PhD in Computer Science, cross-disciplinary hardware/software experience
Technologies
OCaml, AI/ML frameworks
Responsibilities
Communicate with architects and designers to determine properties, analyze solution landscapes, develop and deploy tools to production, mentor colleagues
Seniority
Staff, technical leadership & mentorship