• students/interns
  • contractors
  • consultants
  • temporary
  • graduate
  • experienced professionals
  • Category 1
  • Category 2
  • Category 3
  • Category 4
  • Category 5
  • Category 6
  • Country 1
  • Country 2
  • Country 3
  • Country 4
  • Country 5

    2020 Graduate Formal Team Engineer

    • 18396
    • Software Engineering
    • Graduates
    • Technology Services Group
    • Technology Services People
    • UK
    • Cambridge


    We are an Equal Opportunity Employer and do not discriminate against any employee or applicant for employment because of race, color, sex, age, national origin, religion, sexual orientation, gender identity, status as a veteran, and basis of disability or any other federal, state or local protected class.

    Job Description

    The Productivity Engineering group (PE) at ARM is responsible for ensuring our engineering teams have the tools and computational resources to succeed. PE is responsible for a range of best in class infrastructure elements for ensuring our designs meet our partners' needs, from maintaining ARM's compute cluster to deploying new design and verification methodologies.

    Within PE, the Formal Team is pushing the envelope in RTL development for our hardware design and verification engineers by deploying a universal verification framework for formal methods.

    At many companies you will find that central teams with formal verification expertise typically take on the role of specialist consultant verification engineers, using formal methods to verify other engineers' design work. At ARM, by contrast, we have taken on the exciting challenge of developing and deploying formal verification workflows which can be used by every engineer. Formal Team members need to be both capable engineers and good at dealing with customers in the form of other ARM engineers. 

    The activities for this role demand an enthusiastic candidate from either a Computer Science or Electrical/Electronics Engineering background with a strong desire to constantly evolve a cross-disciplinary skill set, in particular: 

    •     Design and development of workflow scripts, with result capture and visualisation tools.
    •     Creation and delivery of training materials.
    •     Collaboration with RTL design and verification engineers to create new point techniques. 

    As a member of a small and dynamic team, you will be working alongside engineers at all our design centres and contributing to the CPU, GPU and interconnect IP at the heart of ARM's success.


    Job Requirements

     What skills, experience, and qualifications do I need as a Graduate Engineer?

     As a successful Graduate Engineer, you will be flexible with a variety of software or hardware development skills and a commitment to extend the breadth and depth of your knowledge. You will have a good university degree, ideally in Computer Science or Electrical/Electronic Engineering, although candidates with other academic backgrounds would also be considered if they have the relevant skills. You will have a strong interest in formal verification. You will possess a research mindset that seeks to find and communicate the best answers to complex technical problems based on systematic investigation.

    Essential skills and experience: 

    •     Good programming skills with scripting languages, e.g. shell, python, tcl or similar.
    •     Good understanding of big data systems, SQL.
    •     Experience with code review and version control systems, e.g. git, gerrit, github etc.
    •     Pro-active and self-motivated
    •     Willingness to be flexible and accept new challenges
    •     Excellent communication skills 

    Desirable skills and experience: 

    •      Personal project work and/or contributions to open source projects
    •     Experience with Hardware Description Languages, including temporal assertions.
    •     Interest in Formal Verification techniques including Model Checking.
    •     Familiarity with HTML, webUI.
    •     Independent research experience



    ARM Benefits


    Your particular benefits package will depend on position and type of employment and may be subject to change. Your package will be confirmed on offer of employment. Arm’s benefits program provides permanent employees with the opportunity to stay innovative and healthy, ensure the wellness of their families, and create a positive working environment.

    • Annual Bonus Plan
    • Discretionary Cash Award
    • Group Personal Pension Plan with enhanced company contribution
    • Medical, Travel, Health & Life Insurances
    • Holiday, 25 days annual leave with option to buy an additional 5 days per year
    • Sabbatical, 20 paid days every four-year of service
    • Volunteering, One (1) paid working day each year (TeamARM)
    • Varies by location: cycle to work, free car parking, gym on site, team and social events

    About Arm

    Arm® technology is at the heart of a computing and connectivity revolution that is transforming the way people live and businesses operate. From the unmissable to the invisible; our advanced, energy-efficient processor designs are enabling the intelligence in 86 billion silicon chips and securely powering products from the sensor to the smartphone to the supercomputer. With more than 1,000 technology partners including the world’s most famous business and consumer brands, we are driving Arm innovation into all areas compute is happening inside the chip, the network and the cloud.

    With offices around the world, Arm is a diverse community of dedicated, innovative and highly talented professionals. By enabling an inclusive, meritocratic and open workplace where all our people can grow and succeed, we encourage our people to share their unique contributions to Arm's success in the global marketplace.

    About the office

    At our global HQ in Cambridge, England we house the majority of our engineering and our corporate groups that deliver our extraordinary success. As a world-renowned university town, Cambridge boasts both a beautiful countryside and a historical town center. Local activities include punting on the River Cam and the many museums that reside within Cambridge University.

    Cambridge, UK - Global HQ
    Arm Ltd.
    110 Fulbourn Road
    GB-CB1 9NJ
    See on Google maps