Software Engineer
2 weeks ago
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
-
Software Engineering Manager
3 days ago
Cambridge, Cambridgeshire, United Kingdom Society of Research Software Engineering Full timeApplications 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...
-
Principal Exascale Software Engineer
3 days ago
Cambridge, Cambridgeshire, United Kingdom Society of Research Software Engineering Full timeFixed-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 timeSoftware 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...
-
Principal Software Engineer
7 days ago
Cambridge, United Kingdom Oho Group Ltd Full timePrincipal 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 timeSoftware Engineer - Cambridge - Exciting MedTech Start-Up
-
Software Engineer C#
4 days ago
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,...
-
Senior Software Engineer
3 weeks ago
Cambridge, Cambridgeshire, United Kingdom Skillsearch Limited Full timeDo 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...
-
Embedded Software Engineer
3 days ago
Cambridge, United Kingdom IC Resources Full timeJoin 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...
-
C++ Software Engineer
4 days ago
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...
-
Senior Software Engineer
1 day ago
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...
-
Controls Software Engineer
3 weeks ago
Cambridge, United Kingdom Multimatic Inc. Full timeControls 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...
-
Senior Software Engineer
1 day ago
Cambridge, United Kingdom TEC PARTNERS LIMITED Full timeSenior 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...
-
Senior Software Engineer
4 days ago
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...
-
Senior Software Engineer
6 days ago
Cambridge, United Kingdom FINTEC Recruit Full timeFINTEC 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....
-
Controls Software Engineer
18 hours ago
Cambridge, United Kingdom Multimatic Full timeControls 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...
-
Controls Software Engineer
2 weeks ago
Cambridge, United Kingdom Multimatic Full timeControls 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...
-
Senior Software Engineer, Camera Software
8 hours ago
Cambridge, United Kingdom Evi Technologies Limited Full timeDo 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...
-
Engineer - Software Engineering
5 days ago
Cambridge, Cambridgeshire, United Kingdom Jefferson Wells Full timeJob 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...
-
Embedded Software Engineer
2 weeks ago
Cambridge, United Kingdom Multimatic Inc. Full timeEmbedded 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...