Lock Applications for this job are now closed
    Closing soon

    Arm is investing in formal models since 2016. The concurrency model (see https://developer.arm.com/Architectures/Memory%20Model%20Tool) has now expanded from user-level to system-level. More recently, Arm is developing a formal description of its Architecture Specification Language, which is used in the Arm Architecture Reference Manual to specify the operation of each instruction of the Instruction Set (see https://developer.arm.com/documentation/ddi0602/latest).

    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.

    You will

    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 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 a PhD in Computer Science or a related field.

    We're looking for individuals who are

    • Fluent 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 optimally and openly in teams and shares both knowledge and success with a can-do attitude
    • Builds strong and positive relationships based on mutual trust
    • Applies critical thinking and seeks alternative viewpoints and ideas
    • Demonstrates 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 aiming 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 meaningful 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, supportive rewards package, alongside unparalleled learning and networking opportunities from the best in industry.

    Accommodations at Arm

    At Arm, we want our people to Do Great Things. If you need support or an accommodation to Be Your Brilliant Self during the recruitment process, please email accommodations@arm.com. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations.

    All accommodation requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.

    Equal Opportunities at Arm

    Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of any characteristic.

    Hybrid Working at Arm

    Arm’s hybrid approach to working is centred around flexibility, where we split our time between the office and other locations to get our work done. Within that framework, we empower groups and teams to determine their own particular hybrid working pattern, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.