Software Engineer

2 weeks ago


Cambridge, United Kingdom ARM Full time

The Productivity Engineering group (PE) at Arm is ensuring our engineering teams have the tools and computational resources to succeed and is responsible for a range of activities ensuring our designs meet our partners' needs, from maintaining Arm's computecluster to deploying new design and verification methodologies.

Within PE, the Formal Team (FT) supports hardware engineers across all our projects by enabling them to use formal verification workflows early in the development cycle. We engage with project teams to develop and deploy a universal formal verification framework(FTS) which provides a consistent and easy to maintain configuration for various verification flows to empower every engineer to run formal verification themselves. Results of the verification runs are visualised and made available to the engineers for triagingissues and collecting statistics for efficiency and compliance (FTT).

The flows are implemented by the FT team using industry leading EDA tools in formal verification, often in collaboration with formal engineers from across Arm and the tool vendors, which means that FT members need to be both proficient engineers and efficientat communicating with partners in other Arm teams.

The main focus of this role is to work on new features for FTS and improve formal verification flows.

**Responsibilities**:

- Collaborate with engineers from our international design centres to develop new verification flows
- Help to maintain and extend the existing verification framework by fixing issues and implementing improvements
- Interact with engineers across Arm to investigate issues and collect requirements
- Contribute to documentation and training material
- Improve the verification framework internals

**Required Skills and Experience**:

- Good programming skills with scripting languages, e.g. shell, Python, TCL
- Experience with code review and version control systems, e.g. git, gerrit, GitHub etc.
- Pro-active and self-motivated
- Open to be flexible and accept new challenges
- Excellent interpersonal skills

**'Nice to Have' Skills and Experience**:

- Strong interest in formal verification, ideally including experience with EDA tools for formal verification
- Experience with commercial formal verification tools
- Experience with Hardware Description Languages, including temporal assertions.
- Experience with CI flows (e.g., Jenkins)
- Familiarity with cluster/cloud technologies, e.g., Docker, AWS, LSF

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 discriminateon the basis of any characteristic.

LI-JC1



  • Cambridge, Cambridgeshire, United Kingdom Society of Research Software Engineering Full time

    Applications are invited for the position of Engineering Lead at the Institute of Computing for Climate Science (ICCS). In the face of the present climate crisis, there is pressing need for skilled software engineers to collaborate with climate scientists in delivering a new generation of high-quality, high-performance, and high-assurance models. The...


  • Cambridge, Cambridgeshire, United Kingdom Society of Research Software Engineering Full time

    Fixed-term: The funds for this post are available for 4 years in the first instance. The University of Cambridge Open Zettascale Lab (COZL) is a new research group whose aim is to evolve and utilise the technologies that will make up the next generation of top-flight supercomputers. These state-of-the-art, post-exascale systems will help gain insights into...

  • Software Engineer

    7 days ago


    Cambridge, United Kingdom Reqiva Full time

    Software Engineer | C++ Reqiva are recruiting for a C++ Software Developer to join our UK based client for a fully remote opportunity. Our client specialises in developing core network software technology spanning various sectors.As the C++ Software Engineer, your responsibilities will include:Designing and constructing C++ code.Collaborating closely with...


  • Cambridge, United Kingdom Oho Group Ltd Full time

    Principal Software Engineer I’m looking for a talented Principal.Net C# Software Engineer to join a global leader in industrial software. Headquartered in Cambridge, UK, with over 6,000 employees at 90 locations in more than 40 countries. Principal Software Engineer Requirements: - 6+ years commercial experience in using.Net (C#) technologies - Strong...

  • Software Engineer

    2 weeks ago


    Cambridge, United Kingdom Oho Group Ltd Full time

    Software Engineer - Cambridge - Exciting MedTech Start-Up


  • Cambridge, United Kingdom Jefferson Wells Full time

    **Job Opportunity: C# Software Engineer**Are you a passionate C# Software Engineer looking for an exciting new opportunity? Join a leading global technology company at the forefront of innovation! We're seeking an experienced C# Software Engineer to contribute their expertise and collaborate on cutting-edge projects.**Key Responsibilities:**- Design,...


  • Cambridge, Cambridgeshire, United Kingdom Skillsearch Limited Full time

    Do you have software development experience, and are you seeking a new job in Cambridge? Our client is looking for a Senior Software Engineer, and the full-time role comes with an attractive salary and benefits package. As a Senior Software Engineer, you will play a crucial role in a dynamic, agile team that helps drive the direction and design of the...


  • Cambridge, United Kingdom IC Resources Full time

    Join a growing electronics and software design consultancy - Huntingdon, mostly onsite with some flexibility Founded in the late 90s, this successful and growing consultancy specialise within design and innovation to provide complex solutions for their customers. As an Embedded Software Engineer, you will get the opportunity to work with different...


  • Cambridge, United Kingdom Henderson Scott Full time

    **Role - C++ Software Engineer Salary - £45,000 Location - Cambridge** We have an exciting opportunity for a C++ Software Engineer to join a Cyber Security company based in Cambridge. Applications are welcomed from both experienced engineers and recent graduates. As a C++ Software Engineer, you will work heavily in Cyber security,Cyber defense, Information...


  • Cambridge, United Kingdom Rise Technical Recruitment Limited Full time

    **Senior Software Engineer** **Cambridge/Hybrid** **£75,000 to £85,000 + 28 Days Holiday + Pension + Flexible Working + Healthcare + Cycle to work Scheme** Are you a passionate Senior Software Engineer looking to technically advance your career to the next level in a well-established company offering open progression within the business? Great...


  • Cambridge, United Kingdom Multimatic Inc. Full time

    Controls Software Engineer Location: Multimatic Electronic Systems UK, Cambridge, Cambridgeshire, United Kingdom Posted: April 19th, 2024 Controls Software Engineer - Job Specification Multimatic - Solving our customers’ problems through the know-how we embed in the products and services we sell. Multimatic is a global automotive...


  • Cambridge, United Kingdom TEC PARTNERS LIMITED Full time

    Senior Software Engineer **Salary**: £50k-£60k, depending on experience/qualifications Location: Cambridge/Hybrid Calling all experienced C++ engineers that have an interest in contributing to "big science" projects--our Cambridge client are looking to build out their close-knit team that develops the software behind one of the largest astronomy projects...


  • Cambridge, United Kingdom Henderson Scott Full time

    **Role - Senior Software Engineer Salary - £650 p/d Location - Cambridge (Hybrid)** We have an exciting opportunity for a Senior Software Engineer to join a digital health company based in Cambridge. As a Senior Software Engineer, you will heavily influence the engineering culture and direction. This is a hands-on engineering role where you'llcombine your...


  • Cambridge, United Kingdom FINTEC Recruit Full time

    FINTEC recruit is pleased to present this opportunity of **Senior Software Engineer** for our client, a UK science/space business continuing to expand and grow their team. This is a full-time, permanent role offering remote/ hybrid working inCambridgeshire or hybrid working Central Scotland. Salary is £50,000 to £60,000, negotiable depending on experience....


  • Cambridge, United Kingdom Multimatic Full time

    Controls Software EngineerMake sure to apply with all the requested information, as laid out in the job overview below.Multimatic - Solving our customers’ problems through the know-how we embed in the products and services we sell. Multimatic is a global automotive company providing hardware and engineering services to OEMs around the world. Its newly...


  • Cambridge, United Kingdom Multimatic Full time

    Controls Software EngineerMultimatic - Solving our customers’ problems through the know-how we embed in the products and services we sell. Multimatic is a global automotive company providing hardware and engineering services to OEMs around the world. Its newly formed Cambridge (UK) based electronics division, Multimatic Electronic Systems (MES), will meet...


  • Cambridge, United Kingdom Evi Technologies Limited Full time

    Do you want to work on truly challenging problems that will change the world and bring people together? Join our team of smart, friendly and inventive builders to imagine, create and deliver the next high-profile Amazon camera product. Our cross-functional team brings together engineers and scientists with deep expertise in the different worlds of image...

  • Embedded Systems

    11 hours ago


    Cambridge, United Kingdom Rise Technical Recruitment Limited Full time

    **Embedded Systems / Software Engineer Competitive Salary + Specialist Training + Excellent Company Benefits Package Cambridge (Commutable from: St Neots, Huntington, Peterborough, Wellingborough, Northampton, Milton Keynes, Luton, Bedford)** Excellent opportunity for an Embedded Systems / Software Engineer or Developer to take on an important technical...


  • Cambridge, Cambridgeshire, United Kingdom Jefferson Wells Full time

    Job Opportunity: C# Software Engineer** Are you a passionate C# Software Engineer looking for an exciting new opportunity? Join a leading global technology company at the forefront of innovation! We're seeking an experienced C# Software Engineer to contribute their expertise and collaborate on cutting-edge projects. **Design, develop, and optimize...


  • Cambridge, United Kingdom Multimatic Inc. Full time

    Embedded Software Engineer Location: Multimatic Electronic Systems UK, Cambridge, Cambridgeshire, United Kingdom Posted: April 12th, 2023 Embedded Software Engineer Multimatic - Solving our customers’ problems through the know-how we embed in the products and services we sell. Multimatic is a global automotive company providing...