JOB.TITLE

 

 
Melexis engineers microelectronic solutions. These solutions facilitate the work of our customers. By easy integration. By taking innovation one step further. By providing a competitive advantage. Our technology makes cars and other products smarter, safer and greener. Our sensors capture data from the analog world and comprehend these data digitally. Our drivers make sure customers can bring their products to life. As we always have a plan, we come with the right products at the right moment so our customers stay one step ahead of the competition. That’s what we call inspired engineering.

 

 
We mainly focus on semiconductors for the automotive industry. Melexis is energizing the transition to Electrical Vehicles (EVs). We increase the efficiency of Internal Combustion Engine (ICE) cars. Besides the automotive market, we cater to other markets as well.

 
Our people are and make the difference. Melexis creates a framework for colleagues to grow, thrive and create impact for themselves, the customer and the company. Because we care, we empower and we excel. We believe in the power of diversity. Spread over 3 continents, 1900 colleagues from 50 nationalities shape the best imaginable future.

Project Description

"Linters", in computer science, refers to static code analysis tools used to flag programming errors, bugs, stylistic errors and suspicious constructs. As such, they are an invaluable component of a modern development toolchain, and of particular importance for hardware description languages (HDLs), where entire classes of hard-to-simulate bugs can be squashed early.

Melexis current digital design flow uses a traditional linter from Cadence, named HAL. The target of this internship is to replace it by a smarter one based on a formal verification engine, Jasper. You will have to develop Python, Makefile and TCL scripts to seamlessly integrate the new tool into our development toolchain and configure it to our specific needs.

During this internship you will have the opportunity to gather knowledge on formal proof tools, Python and TCL.

 

Expected results

• An integration in our digital flow of this new tool and a successful daily regression result.

Your profile

• Master 1
• Basic knowledge of VHDL and/or Verilog
• Basic programming knowledge (Python typically)

We offer

Joining Melexis for your internship is the opportunity to build up your know-how in a high-tech, international and dynamic company, benefit from the experience and training of our experts and enjoy the welcoming and friendly atmosphere of our Paris office team which is specialized in Digital Design and counts 20 employees.