Senior Formal Verification Engineer

Sorry, this job was removed at 08:13 a.m. (CST) on Tuesday, Jul 15, 2025
Be an Early Applicant
2 Locations
In-Office
Semiconductor
We create custom semiconductor solutions that move, process, store, and secure data quickly and reliably.
The Role

About Marvell

Marvell’s semiconductor solutions are the essential building blocks of the data infrastructure that connects our world. Across enterprise, cloud and AI, automotive, and carrier architectures, our innovative technology is enabling new possibilities. 

At Marvell, you can affect the arc of individual lives, lift the trajectory of entire industries, and fuel the transformative potential of tomorrow. For those looking to make their mark on purposeful and enduring innovation, above and beyond fleeting trends, Marvell is a place to thrive, learn, and lead. 

Your Team, Your Impact

Marvell is a leading provider of cutting-edge technologies that process, move, store, and secure data at unparalleled speeds. Our semiconductor solutions are transforming the 5G, cloud computing, enterprise, and automotive markets of tomorrow. Join us to see your ideas come to life, enjoy a healthy work-life balance, and be part of a culture of innovation and leadership. Our team develops high-performance switch chips for data centers, enterprises, and mobile infrastructure, driving excellence in networking technologies.

What You Can Expect

  • Develop and implement formal verification strategies to validate hardware designs.
  • Work with Verilog, SystemVerilog, SVA, Perl, and Python.
  • Collaborate with design and verification teams to identify and resolve complex verification issues.
  • Create and maintain verification plans, testbenches, and documentation.
  • Perform model checking, equivalence checking, and other formal verification techniques.
  • Provide technical guidance and support to junior engineers.

What We're Looking For

  • Bachelor's degree in electrical engineering, computer science, or a related field.
  • 3+ years of hands-on experience in formal verification methodologies and tools (e.g., model checking, equivalence checking).
  • Proficiency in hardware description languages such as Verilog, SystemVerilog, or other temporal logic assertion-based languages.
  • Experience with simulation tools and proficiency in simulation debug techniques.
  • Familiarity with verification test planning and coverage-driven verification closure.
  • Strong analytical and problem-solving skills, with the ability to debug complex verification issues.
  • Experience with industry-standard EDA tools (e.g., Cadence Jasper, Synopsys VCstatic).
  • Excellent communication and teamwork skills, with the ability to collaborate effectively with cross-functional teams.
  • Ability to lead technical activities.

Additional Compensation and Benefit Elements

With competitive compensation and great benefits, you will enjoy our workstyle within an environment of shared collaboration, transparency, and inclusivity. We’re dedicated to giving our people the tools and resources they need to succeed in doing work that matters, and to grow and develop with us. For additional information on what it’s like to work at Marvell, visit our Careers page.

All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability or protected veteran status.

#LI-SJ1

Similar Jobs

HiBob Logo HiBob

Senior Back-end Engineer

HR Tech • Information Technology • Professional Services • Sales • Software
Remote or Hybrid
Israel
1350 Employees

HiBob Logo HiBob

Executive Assistant

HR Tech • Information Technology • Professional Services • Sales • Software
Remote or Hybrid
Israel
1350 Employees

HiBob Logo HiBob

Growth Conversion Manager

HR Tech • Information Technology • Professional Services • Sales • Software
Remote or Hybrid
Israel
1350 Employees

HiBob Logo HiBob

Application Security Engineer

HR Tech • Information Technology • Professional Services • Sales • Software
Remote or Hybrid
Israel
1350 Employees
Get Personalized Job Insights.
Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.

The Company
HQ: Santa Clara, CA
6,500 Employees
Year Founded: 1995

What We Do

Marvell specializes in semiconductor solutions that power a wide range of industries, from data centers and 5G networks to AI, automotive, and storage applications. Our cutting-edge products are designed to meet the constantly evolving demands of a connected world, enabling faster, more efficient and more secure data processing and communication. With a focus on excellence and a commitment to advancing technology, we develop solutions that drive progress and transform industries.

Why Work With Us

Life at Marvell means being a part of new innovation and enduring technology; but it's also much more. Our diverse community is strengthened through cultural events, corporate gatherings and team-building activities, fostering collaboration and making work enjoyable. At Marvell, it's not just a job; it's an enriching, community-driven experience.

Gallery

Gallery

Similar Companies Hiring

HRL Laboratories Thumbnail
Software • Semiconductor • Quantum Computing • Machine Learning • Hardware • Defense • Computer Vision
Malibu, CA
1115 Employees
Arm Thumbnail
Semiconductor • Internet of Things • Artificial Intelligence
Cambridge, GB
8314 Employees
Graphcore Thumbnail
Semiconductor • Artificial Intelligence
Bristol, GB
488 Employees

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account