2 months ago
Cambridge, United KingdomStaff+
Responsibilities
- Communicate with architects, hardware designers, and software developers to identify interesting architectural properties.
- Analyze the verification landscape and assess suitable solutions.
- Develop and deploy verification tools into production.
- Mentor colleagues and broaden the impact of formal analysis solutions.
- Interact with customers and consumers of the tools.
Requirements
- Required experience developing in OCaml.
- Experience developing and deploying verification techniques in an industrial context is preferred.
- Some understanding of how to build an AI chatbot that does not hallucinate is required.
- Strong interaction with customers and consumers of tools is desired.
- A PhD in Computer Science or a related field is preferred.
- Experience working with both hardware and software colleagues is preferred.
Benefits
- Work on Arm architecture with potential impact across millions of devices.
- Collaborate with a broad group of technical experts and develop technical leadership and influencing skills.
- Hybrid working patterns are determined by the relevant team, with details shared during the application process.
- No relocation package is available.
- If skilled worker sponsorship is required, Arm covers employer sponsorship costs, while the successful candidate covers individual application fees and the Immigration Health Surcharge.
Categories
About Arm
Arm’s foundational technology is defining the future of computing. A future built by the greatest technology ecosystem in the world. A future built on Arm. Arm is everywhere technology matters. Technology matters everywhere. Together, we’ll power every technology revolution moving forward, including cloud computing, automotive and autonomous systems, IoT, the metaverse, and beyond. Changing the world. Again. On Arm.