Internship as an Industrial Performance Engineer in Lons - le - Saunier. Focusing on performance improvement projects within a key global dairy brand.
About the role
- Contribute to defining and leading the formal verification strategy for our systems.
- Work closely with system architects and design team to establish formal verification environment and setting.
- Guide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and SoC level verification.
- Contribute to define Formal Verification Methodologies.
- Produce IP level, subsystem level and chip level test plans based on Design documents and interaction with design and architecture teams.
- Write and debug System Verilog assertions.
- Analyze coverage data and working with Design teams to address coverage holes.
- Contribute to developing framework for running regressions and debugging regression failures.
- Support integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration level.
- Scripting/Automation skills for improving workflows along with the usage of most advanced AI techniques.
- Participate in project reviews.
- Provide supervision/guidance to other team members.
Requirements
- Master’s degree in relevant field
- Min 5 years of experience in relevant field of Formal Verification
- A deep understanding of formal verification, including applications, verification of algorithms, protocols, and application of formal verification at SoC level
- Made significant contributions in the use of formal verification and be able to guide formal verification development into new areas
- Formal tools, System Verilog, SV Assertions and Assumptions, Scripting skills
- Apps in formal tools (Low power, X-prop, Connectivity checking, Register Map Verification)
- Design debug, Deep bug hunting
- Design knowledge of CPU, NoC/Interconnect, Memory Controllers, Caches
Benefits
- The opportunity to build a cloud AI deployment platform that will power next generation AI systems.
- A collaborative, innovation-driven environment with significant autonomy and ownership.
- Hybrid work model with flexible scheduling.
- A chance to join one of Europe’s most ambitious companies at the intersection of AI and silicon engineering.
Job title
Job type
Experience level
Salary
Not specified
Degree requirement
No Education Requirement
Location requirements
Intern assisting with industrial performance projects at Bel in Sablé, focusing on improving operational efficiency and reducing waste. Requires hands - on work in a dynamic team environment.
IN
IntervalorPrompting Engineer
Prompting Engineer creating and optimizing language models for chatbots in a credit recovery firm. Collaborating with product and tech teams to enhance user interactions.
QI
Qorvo, Inc.Packaging Engineer
Semiconductor Packaging Engineer in RF Packaging at Qorvo, developing advanced packaging technologies. Collaborating with design teams to ensure smooth transition to high volume manufacturing.
SB
ScanSource BrasilEngenheiro de Soluções de Datacenter
Engineering solutions for Datacenter in a leading global technology company. Focused on infrastructure and client solutions with opportunities for travel.
FS
Flowers Foods & SubsidiariesMaintenance Engineer I
Maintenance Engineer I handling scheduled and unscheduled maintenance tasks on machinery for Flowers Foods. Ensuring product safety, legality, and quality through effective maintenance and repairs.
ST
Seagate TechnologySenior Engineer, Media R&D
Research and Development Engineer focused on improving media ADC and mechanical performance for new product launch at Seagate. Engaging in design experiments and mass production transitions.
ST
Seagate TechnologyThin Film Process Development Engineer Intern
Intern assisting with process and materials characterization in thin film technology at Seagate. Supporting the Reader Development Team with various engineering projects in Bloomington, MN.
ST
Seagate TechnologyEngineer I – Wafer Manufacturing
Engineer I in Wafer Manufacturing leading projects to enhance manufacturing efficiency and reduce waste. Working in a high - volume facility to support Seagate’s storage solutions.
BE
Blizzard EntertainmentSenior EUC Engineer
End User Computing Engineer providing operational support for corporate Mac and Windows environments. Collaborating closely to ensure optimal performance and compliance with security standards.