Staff Architecture Formal Engineer
- Location
- Cambridge, England, United Kingdom
Overview: In this role, you would be part of the Architecture Formal Team. We are a small team with a wide range of skills, and ideally you would bring fresh perspectives as we tackle new challenges. We are hoping to learn from you, and together develop lightweight analyses … development and deployment into 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 ...