Staff Architecture Formal Engineer
- Location
- Cambridge, England, United Kingdom
Arm is investing in formal models since 2016. The concurrency model (see https://developer.arm.com/Architectures/Memory%20Model%20Tool) has now expanded from user-level to system-level. More recently, Arm is ...