The role involves the following responsibilities:

Communication with architects, hardware designers and software developers to determine interesting properties;
Refined analysis of the landscape to assess which solutions are ideal;
Tool development and deployment into production to ensure the ecosystem benefits from our solutions;
Mentoring of colleagues to widen the impact of our solutions.

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 to check architectural properties and make the architecture better. Are you interested in deep discussions? Excited by discovering requirements? Enthused at the prospect of deploying your tools into production? Then we would love to have you join us., 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 an AI chatbot that does not hallucinate would be necessary.
A keen interaction with customers and consumers of our tools would make this project a success.
A PhD in Computer Science or a related field would be a plus.
Having worked with both hardware and software colleagues would ensure smooth and productive communication throughout the company and the ecosystem.

3 Architecture jobs in Huntingdon, Cambridgeshire