Formal Verification Student

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

The team is working on cutting-edge, high-performance switches, enabling complex networks in multiple markets and segments such as data centers, enterprises, mobile infrastructure, and more. We are offering you a great opportunity to join the Formal Verification team at the Switch IP department.

Join us and be a part of the IP development for the next-generation Switch.

What You Can Expect

• Participate in the verification of ASIC/VLSI designs for complex IP blocks.
• Develop advanced Formal Verification structures.
• Work with industry-standard tools and languages such as Verilog, SystemVerilog, SVA, Perl, and Python.
• Gain deep expertise in functional verification and become a skilled formal verification engineer.
• This role offers a great opportunity to grow in a highly technical and impactful domain within the semiconductor industry.
  
  

• B.Sc. student in Computer Science or Electrical Engineering, ideally in the 4th semester
• Basic knowledge of logic gates and combinational logic
• Programming experience or familiarity
• Strong learning abilities
• Good problem-solving skills