Intern Architecture Formal Hardware Engineer (Masters/Phd) - ATG

Computer Science, Hardware, IT.

The Role

Equipped with those two formalisations, Arm is now looking to develop lightweight verification methods. As a consequence, the Formal Team in the Architecture Technology Group is looking to hire an intern with a passion for verification, and concurrency.

A Future Built on Arm
In the same way that we fuelled the smartphone revolution, we'll power every technology revolution moving forward. Together we can change the world. Again.

Job Overview

In this role, you will join Architecture Formal Team. We are a small team with a wide range of skills, and ideally you would bring fresh perspectives as we take on new challenges. We are hoping to learn from you, and together develop extensions to the concurrency model 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 at our Cambridge-based newly built offices.

Required skills and experience

To be considered for this position you should be studying for a master’s degree or equivalent experience or a PhD in Computer Science or a related field. We're looking for individuals who are:

  • Proficient in OCaml programming language
  • Excellent notions of weak memory models
  • Strong notions of monads and functors

"Nice to have" skills and experience

Arm is proud to have a set of behaviours that differentiate our talent in the marketplace. These are embedded in all our roles and applicants are encouraged to evidence their attitudes/behaviours as part of the application process:

  • Operates reliably and openly in teams and shares both knowledge and success with a can-do demeanor
  • Builds strong and positive relationships based on mutual trust
  • Applies critical thinking and seeks alternative viewpoints and ideas
  • Displays a positive demeanor in gaining insight from team members and is receptive to feedback
  • Explores alternative perspectives before carefully crafting work that will deliver impactful results
  • Strives to achieve the best outcomes for Arm and our customers.

Additional Information

We are aspiring to complete our recruitment process and communicate application outcomes as swiftly as possible. However due to a high number of applications received, we will continue to update you on the process.

In Return

Working on interesting new projects is exciting, but we also know how significant it is to receive support. That's why throughout your internship, you can expect regular feedback and development opportunities, social activities to connect with your peers, an end of summer celebration, plus the opportunity to be *considered for future Graduate positions (*subject to performance). #getreadytogrow

Our program is crafted to give you the best start possible and support your personal growth as well as professional development. Gain a competitive salary, inspiring rewards package, alongside unparalleled learning and networking opportunities from the best in industry.

We've signed the Gradcracker feedback pledge.
(This means that we will supply feedback if requested after an interview.)


Job ID Number: 2024-10195
This button will open a new tab and take you directly to the employer's website to apply.
Please remember, if asked, that you found this job on Gradcracker.
Save to shortlist
  • Deadline
  • Salary
    Competitive + benefits
  • Degree required
    Master's and above (expected)
  • Duration
    12 months
  • Location
Show locations on map
Preferred Disciplines...
  • Computer Science
  • Hardware
  • Information Technology
  • Software
  • Systems
Also Accepting...
  • Artificial Intelligence
  • Cyber Security
  • Data Science
  • IT Architecture
  • Robotics
  • Telecommunications
  • Web Development
Hot Tip
Learn from your placement
Do you really want to work in this sector?
Follow your favourite employers
Save jobs to your shortlist
Receive personalised alerts
Access our live webinars
Register now
On the move? Download The App
Gradcracker Logo
Gradcracker Limited, October House, Long Street, Easingwold, York, YO61 3HX
01347 823822 | | Company registration number: 6370348
© 2007 - 2024 Gradcracker Limited
Gradcracker and Cookies
We use cookies to ensure that we give you the best experience on our website.
If you continue we'll assume that you are happy to receive all cookies from Gradcracker.
Learn more