OCaml Verification Architect Architecture Formal Methods
Job in
Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-08-31
Listing for:
Camwebdir
Full Time
position Listed on 2026-08-31
Job specializations:
-
Design & Architecture
Job Description & How to Apply Below
Arm is seeking a contributor to the Architecture Formal Team to develop lightweight verification methods for concurrency and architecture properties, combining OCaml tool development with production deployment. You will join a small, skilled team and collaborate with architects, hardware designers and software developers to explore interesting properties.
The role emphasizes practical impact, mentoring colleagues, and influencing verification approaches across devices, with a hybrid working
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×