Machine Learning Internship
vor 3 Wochen
Challenges are our drive, innovation our calling. We at Kandou are a team of passionate accomplished professionals making a mark in the semiconductor industry. We're an innovative leader in high-speed and energy-efficient chip-chip link solutions critical to the evolution of the electronics industry, continuously developing to meet the demands of today's customers and tomorrow too. If you love to be part of a high-tech scale-up and are motivated by pushing your limits and challenging the status quo, we have an opportunity for you.
**Project**: LLM-Driven SystemVerilog Assertion Generation
**Goal**: Train an LLM to translate natural language specifications into functional SystemVerilog Assertions (SVA) using proprietary and public code.
**Objectives**:
We want to be able to extract features from specifications written in natural language and generate SVA automatically.
The generated SVA can be used in formal verification, providing verification results very early in the process and possibly highlighting specification conflicts.
Some of all of he generated SVA can also be included in dynamic simulations in order to provide value throughout the verification
process.
Training the LLM will utilize both public sources and the company's proprietary source code, which is a unique dataset enriched with contextual information such as comments and historical data from the version control system.
**Duties and Responsibilities**:
1) Process natural language to extract requirements out of specification documents
2) Collect and sanitize data from public and private sources with good quality code
3) Generate SystemVerilog Assertion code based on the extracted requirements
4) Build a pipeline to automate the process
**Requirements**:
1) MSc students,
2) Computer Science Fundamentals,
3) Experience with Python programming,
4) Experience with SystemVerilog is a plus,
5) Experience with Large Language Models training and fine tuning, is highly appreciated,
6) Experience with Natural Language Processing, is a plus,
7) Self-Motivated,
8) Strong verbal and written communication,
9) strong ethic and attention to detail,
10) Ability to work well in a team.
**Benefits**:
- Gain hands-on experience in a semi-conductor company,
- Shadowing knowledgeable professionals,
- Opportunity to see the inner workings of a scale-up company,
- Access to very advanced process nodes
If you recognize yourself in the description above, and love to be part of a growing Company, are a good team player with an upbeat approach to life, we would love to hear from you. Together We Kandou It
-
Machine Learning Internship
vor 2 Wochen
Saint-Sulpice VD, Waadt, Schweiz Kandou Bus VollzeitChallenges are our drive, innovation our calling. We at Kandou are a team of passionate accomplished professionals making a mark in the semiconductor industry. We're an innovative leader in high-speed and energy-efficient chip-chip link solutions critical to the evolution of the electronics industry, continuously developing to meet the demands of today's...
-
Internship Software Development
vor 1 Monat
Villaz-Saint-Pierre, Freiburg, Schweiz Bionomous SA VollzeitInternship Software DevelopmentPost published:20 March 2023 Post author:Ana HernandoAbout BionomousBionomous is a spin-off of the Biorobotics Laboratory of the Swiss Federal Institute of Technology (EPFL) in Lausanne, Switzerland. Our team works on the development and commercialization of laboratory equipment to automate certain processes in biology and...
-
Inside Sales and Customer Success Representative
vor 1 Monat
Saint-Germain, Wallis, Schweiz Constructor Knowledge AG VollzeitConstructor is an all-in-one platform for education and research. With expertise in machine intelligence and data science, Constructor is built to cater to the needs of schools, higher education, corporate training, alternative credentials, and professional sports, offering solutions for teaching and administration, learning and research. From infrastructure...
-
Inside Sales and Customer Success Representative
vor 1 Monat
Saint-Germain, Wallis, Schweiz Constructor Knowledge AG VollzeitConstructor is an all-in-one platform for education and research. With expertise in machine intelligence and data science, Constructor is built to cater to the needs of schools, higher education, corporate training, alternative credentials, and professional sports, offering solutions for teaching and administration, learning and research. From infrastructure...
-
HR Intern
vor 3 Wochen
Saint-Prex, Schweiz Ferring Pharmaceuticals, Inc. VollzeitJob Description: At Ferring Pharmaceuticals, we help people around the world build families and live better lifes. We are entrepreneurial and innovative, with a global team focused on scientific advances in the areas of reproductive and women’s health, gastroenterology and urology. Ferring + You is all about working together and sharing ideas, so that we...
-
Inside Sales and Customer Success Representative
vor 2 Wochen
Saint-Germain, Wallis, Schweiz Constructor Knowledge AG VollzeitConstructor is an all-in-one platform for education and research. With expertise in machine intelligence and data science, Constructor is built to cater to the needs of schools, higher education, corporate training, alternative credentials, and professional sports, offering solutions for teaching and administration, learning and research. From infrastructure...
-
Inside Sales and Customer Success Representative
vor 2 Wochen
Saint-Germain, Wallis, Schweiz Constructor Knowledge AG VollzeitConstructor is an all-in-one platform for education and research. With expertise in machine intelligence and data science, Constructor is built to cater to the needs of schools, higher education, corporate training, alternative credentials, and professional sports, offering solutions for teaching and administration, learning and research. From infrastructure...
-
Inside Sales and Customer Success Representative
vor 1 Monat
Saint-Germain, Wallis, Schweiz Constructor Knowledge AG VollzeitConstructor is an all-in-one platform for education and research. With expertise in machine intelligence and data science, Constructor is built to cater to the needs of schools, higher education, corporate training, alternative credentials, and professional sports, offering solutions for teaching and administration, learning and research. From infrastructure...
-
Inside Sales and Customer Success Representative
vor 1 Monat
Saint-Germain, Wallis, Schweiz Constructor Knowledge AG VollzeitConstructor is an all-in-one platform for education and research. With expertise in machine intelligence and data science, Constructor is built to cater to the needs of schools, higher education, corporate training, alternative credentials, and professional sports, offering solutions for teaching and administration, learning and research. From infrastructure...
