Phd jobs in United Kingdom
Staff Architecture Verification Engineer (OCaml)
Arm Limited
Postdoc Fellow — Market Economies & Green Sustainability
KINGS COLLEGE LONDON
Lead Architect of Next-Gen MPharm Curriculum
UNIVERSITY OF WORCESTER
Head of Research Management and Operations
TPP RECRUITMENT
Staff Architecture Formal Engineer
Arm Limited
Discover more opportunities than anywhere else. Find more jobs nowPrincipal Lecturer in Pharmaceutics
UNIVERSITY OF WORCESTER
Fully Funded PhD in Edge AI: Adaptive Logic ML Grids
Newcastle University
Research Fellow - Staff Development for Diverse Learners
Creative Scotland
Connect with headhunters to apply for similar jobsDigital Planning Director
Fuse
R&A- Associate Principal Regulatory Writer- APRW (Clinical focus)
Certara
Biological Safety & Compliance Lead
NBI Partnership
Biological Safety Compliance Manager
NBI Partnership
Consultant in old Age Psychiatry - Central Cornwall
www.healthjobsuk.com - jobboard
Staff Software Engineer, Lending
Tink
Lecturer in Trading & Commodities - Business School
Liverpool John Moores University
Lecturer in Business, Trade and Commodities
Liverpool John Moores University
Marketing Lecturer: Teach International Marketing & Analytics
UCL
Lecturer (Teaching) in Marketing
UCL
Postdoc: Supramolecular Chemistry for Precision Therapeutics
University of Southampton
Research Fellow in Supramolecular Chemistry
University of Southampton
Director, Institute for Sport Business — Global Impact & Innovation
LOUGHBOROUGH UNIVERSITY
Senior/Principal Physical Design Engineer
Fractile
Postdoc Archaeology Researcher — Great Wall Framework
Newcastle University
Staff Architecture Verification Engineer (OCaml)
Job summary
A leading technology firm in Cambridge is seeking a candidate to join the Architecture Formal Team. This position requires experience in OCaml development and the ability to communicate with architects and designers. Responsibilities include tool development, analysis, and mentoring. Applicants with a PhD in Computer Science are preferred. Join a team committed to innovation and support the Arm architecture, which influences millions of devices. Hybrid working options available.
Qualifications
- Experience in OCaml development is necessary.
- Experience developing verification techniques in an industrial context is preferred.
- Keen interaction with customers and consumers of our tools.
Responsibilities
- Communicate with architects, hardware designers, and software developers.
- Refine analysis of the landscape for ideal solutions.
- Develop and deploy tools to production.
- Mentor colleagues to widen the impact of our solutions.
Skills
Education
* The salary benchmark is based on the target salaries of market leaders in their relevant sectors. It is intended to serve as a guide to help Premium Members assess open positions and to help in salary negotiations. The salary benchmark is not provided directly by the company, which could be significantly higher or lower.