Senior Formal Verification Engineer

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.