Discover Technata Job board

Find your next tech job in Kanata North, Canada’s largest technology park. Then explore endless international opportunities and dream about where your career will take you. With the Country’s largest density of technology companies ranging from promising startups to leading global giants, Kanata North is the place to be if you are serious about a career in tech.

Formal Verification Intern



Yokne'am Illit, Israel
Posted on Monday, November 20, 2023

About Marvell

At Marvell, we believe that infrastructure powers progress. That execution is as essential as innovation. That better collaboration builds better technology. Trusted by the world’s leading technology companies for 25 years, we move, store, process and secure the world’s data with semiconductor solutions designed for our customers’ current needs and future ambitions. Through a process of deep collaboration and transparency, we’re ultimately changing the way tomorrow’s enterprise, cloud, automotive, and carrier architectures transform—for the better.

The data infrastructure that our customers build has never been more critical to our global economy. It’s what’s keeping the world connected, businesses running, and information flowing. If you’re ready to excel, innovate, and truly enjoy your work, apply now for the position detailed below.

The Opportunity

The formal Verification team is a new innovative technology that aims for full and complete Verification of hardware designs before starting production and assures zero bugs in the device by covering all possible scenarios and use cases. Logic and mathematical methods prove that the product complies with expected behavior. FV is now an integral part of the chip design process, and FV expertise has become highly desirable.

As a member of the team, you will be responsible for implementing the future devices of routing using the most challenging, cutting-edge technology. In this role, you will work with industry-standard tools on the most significant, complex ASICs the semiconductor industry offers. You will be responsible for applying model-checking techniques to find bugs in RTL and architecture specifications.

The team works on cutting-edge, high-performance switches, enabling complex networks in multiple markets and segments such as data centers, enterprises, mobile infrastructure, and more.

Job Responsibilities:


  • As a student in the Formal Verification team you will verify the micro-architecture using formal verification tools,
    define the verification scope, and ensure design correctness.
  • You will be working with Verilog, System Verilog, SVA, Perl, Python
  • You will become an expert verification and formal engineer.


  • Student for Electrical engineering B.Sc, ideally in the 4th to 6th semester
  • Knowledge of logical gates
  • Knowledge in programming
  • Good learning skills
  • Problems solving skill
  • Strong team player, excellent communication skills and ability to collaborate


The Perks

With competitive compensation and great benefits, you will enjoy our workstyle within an incredible culture. We’ll give you all the tools you need to succeed so you can grow and develop with us. For additional information on what it’s like to work at Marvell, visit our Careers page.

Your Future

Marvell provides a work environment that promotes employee growth and development. We are searching for an individual who wants to grow with the company and will strive to improve performance. If you are driven, personable, and energetic, there will be additional opportunities for you here at Marvell.

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.