The Role

Job 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 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!

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 s...