Staff Architecture Formal Engineer
- Hiring Organisation
- ARM
- Location
- Cambridge, Cambridgeshire, UK
- Employment Type
- Full-time
Arm is investing in formal models since 2016. The concurrency model (see ) has now expanded from user-level to system-level. More recently, Arm is developing a formal description of its Architecture Specification Language, which ...