Staff Architecture Formal Engineer
- Hiring Organisation
- ARM
- Location
- Cambridge, Cambridgeshire, United Kingdom
- Salary
- £ 80 K
production to ensure the ecosystem benefits from our solutions;Mentoring of colleagues to widen the impact of our solutions.Required Skills and Experience :Experience in OCaml development is necessary.Having some experience developing and deploying verification techniques in an industrial context would be best.Having some notion of how to build ...