Location: Sophia Antipolis (France), Manchester, Sheffield, Bristol, or Cambridge (UK)
Arm is seeking a highly motivated and experienced Senior Formal Verification Engineer to join our dynamic team in Sophia Antipolis. As a key member of our global hardware development organization, you will play a critical role in ensuring the quality and reliability of Arm’s innovative IP and subsystem designs.
What you’ll do:
- Develop and maintain comprehensive documentation, user guides, and training materials for formal verification workflows.
- Deliver effective training to Arm engineers on formal verification methodologies and tools.
- Act as the primary technical liaison between internal design teams, EDA vendors, and internal tool developers.
- Support design teams in migrating their verification environments to Arm’s formal verification flow, including transitions to new EDA tools, internal tools, and cloud platforms.
- Proactively identify and resolve issues in the formal verification flow, escalating complex problems to the development team as needed.
- Contribute to the continuous improvement of Arm’s formal verification methodologies and infrastructure.
What you’ll bring:
- Essential:
- Deep understanding of formal verification methodologies and their application to complex hardware designs.
- Experience with deploying and supporting formal verification workflows in a large, geographically dispersed organization.
- Proven ability to collaborate effectively with EDA vendors and internal tool development teams.
- Strong scripting skills in Python and UNIX shell scripting.
- Proficiency in at least one major formal verification tool, with familiarity of others.
- Excellent communication and interpersonal skills, with the ability to work effectively in a diverse and global team environment.
- 3-5 years of experience in an application engineering or customer support role within the semiconductor industry.
- Desirable:
- Expertise in advanced formal verification techniques.
- Familiarity with the complete software development lifecycle, including configuration management using Git/Gerrit.
- Experience with Docker containers.
- Willingness to travel occasionally to other Arm locations worldwide.
Benefits:
At Arm, we are committed to fostering a diverse, inclusive, and supportive work environment where employees can thrive and do their best work. We offer a competitive salary and benefits package, including:
- Comprehensive health and wellness benefits
- Generous vacation allowance
- Flexible work arrangements
- Opportunities for professional development and career growth
We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.
To Apply:
If you are passionate about formal verification and eager to contribute to the future of technology, we encourage you to apply, to view more open positions kindly visit https://careers.arm.com/. Please include a cover letter highlighting your relevant experience and qualifications.
[…] Job ID: […]