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 solutions.
Required Skills and Experience:
- Experience in OCaml development
- Developing and deploying verification techniques in an industrial context
- A keen interaction with customers and consumers of our tools would make this project a success.
“Nice To Have” Skills and Experience:
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.
In Return:
You will get to apply your engineering and communication skills to support the Arm architecture and influence millions of devices for years to come. You will be part of an innovative and hardworking team which works on sophisticated, groundbreaking and impactful projects. You will be able to share your ideas with a wide group of experts, and expand your technical leadership and influencing skills
#