Asic Formal Verification Co-op

A co-op term with Intel of Canada's Intel Foundry Services group is a challenging but rewarding experience, allowing you to gain knowledge and experience in integrated circuit design and test, from chiplets to SoCs. As a member of our team, you will work alongside experienced engineers to solve new and interesting problems, making an important contribution to our exciting custom silicon solutions.

**The ASIC Formal Verification position(s) for this listing is as follows**:
Data is our future. 90 percent of all data today was created in the last two years and this trend will only accelerate. With the advent of AI, autonomous cars and data science, all of the data infrastructure we have built until now will need to be doubled in the next five years. Can you think of the possibilities?
The Vancouver ASIC team develops IPs and SoCs that are the brains of next generation devices, powering the cloud and data centers around the world. As part of the ASIC formal verification team, you will use state of the art tools based on mathematical methodologies to verify complex digital designs and locate difficult to find bugs that escape mainstream verification methods. Formal verification is an emerging verification methodology that is being adopted by every major SoC design company. In this position you have an opportunity to learn and contribute to this exciting new area.

**Vancouver Office**:
Located in South Vancouver's urban town center at Cambie Street and SW Marine Drive, the Intel Marine Gateway site features direct access to the Canada line, bus transit, shops, restaurants, health care facilities and a movie theater. The site is also a quick 15-minute Skytrain away from downtown Vancouver.
Intel Vancouver interns also enjoy many of the benefits of regular Intel employees. This includes full health benefits, paid vacation, Intel discounts and use of our many amenities and services we have on site.

**Benefits**
- Opportunities to engage with some of the world's greatest engineering mentors within Intel, globally
- Access to engineering training courses that relate to today's real-world engineering/computer science problems
- Full health benefits (including LASIK/PRK)
- Paid vacation (including sick days)
- Access to exclusive Intel discounts (including Intel CPUs)
- Complementary access to a variety of fresh fruits, vegetables, and beverages
- Fully equipped on-site gym
- Recreational activities (pool table, Nintendo Switch, foosball, table tennis, massage chairs, cable, soccer)

**Company Profile**:
Intel Corporation develops technology that has enabled the computer and Internet revolutions which have changed the world. Founded in 1968 to build semiconductor memory products, Intel introduced the world's first microprocessor in 1971.

As an integral part of Intel's new Integrated Device Manufacturing (IDM) 2.0 model strategy, we establish Intel Foundry Services (IFS), a fully vertical, standalone foundry business, reporting directly to Intel's CEO. IFS will be a world-class foundry business and a major US and European-based capacity provider to serve customers globally. We differentiate IFS with a combination of leading-edge packaging and process technology, committed capacity in the US and Europe, plus a world-class IP portfolio including x86 cores, graphics, media, display, AI, interconnect, fabric, and other critical foundational IP, along with Arm and RISC-V ecosystem IPs.

We are looking for enthusiastic students with strong problem-solving abilities, excellent communication skills and a desire to learn. Opportunities are available in a broad variety of System-on-a-Chip development roles - including design, implementation, and verification.

The final job assignment will be based on available projects during the work term and on the skills and interests of the student. We encourage students with relevant work experience (other co-op terms, work experience) to apply.

**Qualifications**

**Minimum Qualifications**:

- Working towards a Bachelors degree in Computer Engineering or a related field
- General knowledge of digital logic concepts
- Strong debugging skills
- Excellent communication skills

**Preferred Qualifications**:

- Experience with Digital Logic Design (Verilog, SystemVerilog, SVA preferred)
- Experience with Linux based software development and testing
- Knowledge/Experience of formal verification a strong plus
- Low level scripting (TCL, Python) is useful
- Object Oriented programming experience

**Inside this Business Group**

**Work Model for this Role**

This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site.

Intel is committed to a culture of accessibility. Intel provides accommodations to applicants and employees with disabilities. Find information and request accommodation here