Architecture Formal Hardware Engineer Intern (Start ASAP)

About Arm 

Arm Ltd. is a leading British international software design and semiconductor manufacturing company. Arm Ltd specializes in designing and manufacturing microprocessors, graphic processing units, and neural processing units. Arms processors excel at executing more instructions.

Your role

As an integral member of the team, you'll immerse yourself in a diverse range of projects and tasks. The team's responsibilities include but are not limited to:

• In this role, you will join the Architecture Formal Team. It is a small team with a wide range of skills, and ideally, you would bring fresh perspectives as the team addresses new challenges. They are hoping to learn from you, and together develop extensions to the model to check architectural properties and make the architecture better. 

Training & development

The company's program is crafted to give you the best start possible and support your personal growth as well as professional development. Gain unparalleled learning and networking opportunities from the best in the industry.

Benefits

Arm provides a comprehensive benefits package, including:

• Competitive salary
• Regular feedback and development opportunities
• Supportive rewards package
• Social Activities
• End of Summer Celebration
• Unparalleled Learning & networking opportunities

Career progression

Working on interesting new projects is exciting, but Arm also knows how important 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 which is subject to performance.

Work-life balance

Arm's hybrid approach to working is centered around flexibility, where they split their time between the office and other locations to get their work done. Within that framework, they empower groups and teams to determine their own particular hybrid working pattern, depending on the work and the team’s needs. 

Culture & vibe

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. The company is a diverse organization of dedicated and innovative individuals. People from all walks of life, from all over the globe, have made a home at Arm.

About you

Arm is looking for individuals who are:

• Pursuing a master’s degree, a Ph.D. degree, or equivalent experience in Computer Science or a related field.
• Proficient in OCaml programming language
• Excellent notions of weak memory models.

“Nice To Have”:

• Strong notions of monads and functors.

Sources

The following sites were used in researching this page.

• youtube.com
• arm.com