Formal Verification
il y a 6 jours
SiemensDigital Industries Software - Transform the everyday.
Let'smake the difference together
Siemens Digital Industries (DI) is aninnovation leader in automation and digitalization. Closely, collaborating withpartners and customers, we care about the digital transformation in the processand discrete industries. With our Digital Enterprise portfolio, we provide andencourage companies of all sizes with an end-to-end set of products, solutionsand services to integrate and digitalize the entire value chain. Meaningfuloptimization for the specific needs of each industry, our outstanding portfoliosupports customers to achieve greater efficiency and flexibility. We areconstantly adding innovations to its portfolio to integrate groundbreakingfuture technologies. We have our global headquarters in Nuremberg, Germany, andhave around 75,000 employees internationally.
We offer arole with responsibility, independence and the possibility to contributeproactive. We foster a teamwork culture with room for individual development
GeneralRequirements
Design,develop, modify, and implement software programming for products (both internaland external) with focus on surpassing customer expectations, on achieving highquality and on-time delivery. Responsible for ensuring the overall functionalquality of the released product on all required platforms and mechanism.Ability to understand complex products, solutions, and problems. Creates,documents, and executes software designs which may involve significantre-architecture of important systems, defining and coordinating implementationof wide-reaching impacts. Acts as Technical lead of major projects within onearea of a product. Frequently consults with customers in regard to futureupgrades and products. Influences the technical direction for one area of aproduct. Promotes innovation through the ability to introduce newtechnology/knowledge into at least one area of a product and to our people.Provides high-level technical expertise, including performing in-depth andcomplex software systems programming and analysis. Provide problem resolutionand technical leadership for the group. Possesses broad knowledge of internaloperating systems, applications implications and customer areas. Technical Leadin guiding junior engineers. Works without supervision on highly complexprojects with complete latitude for independent judgment and technicalexpertise. Extensive knowledge of the field.
PositionOverview
Thecandidate will be in charge of research and development of software,algorithms, and techniques for formal verification of hardware, software andsafety critical systems, contributing to Calypto SLEC formal verificationproduct line. As a generalist, for a formal verification product line, thecandidate will have a broad charter of contributing to various aspects of thetool flow, to take formal verification from research to broad usage.
Thecandidate will report to the lead of the SLEC US team, in Calypto SystemsDivision in Siemens EDA. The division is responsible for industry leading toolsfor formal verification, high level synthesis, RTL power analysis andoptimizations, and FPGA and ASIC synthesis.
Responsibilities
Thissoftware development position entails contributions to different areas of theSLEC product, graphical user interfaces, language frontends for C++, SystemC,and RTL, data flow analysis, netlist database and optimizations, solverorchestration and benchmarking, to debug flows utilizing industry standardwaveform and testbench formats, and integration with third party tools forwaveforms and simulation.
Thecandidate will also interact with other product groups, field engineers, andcustomers to identify and develop unique formal verification solutionsrequirements that arise, such as C++ high level synthesis, CPU/FPU formalverification, RTL power optimizations, etc.
Typicalduties in this role involve:
Developing specification forsoftware from often incomplete and ambiguous requirements Software development, testingand code quality best practices. Benchmarking Debugging of software, eitherin house, or in customer environments Developing solutions andmethodologies for unique customer problems Communicating with peers,other teams, and customersRequiredKnowledge/Skills, Education, and Experience
The candidate will possesseither a Master's degree with 5+ years of experience, or a Ph.D. with 2+ yearsof experience in computer science, electrical engineering or related fields. The candidate should possessstrong skills in algorithms and data structures, at least one modernprogramming language, with C++ preferred, scripting languages, program/dataflow analysis, computer arithmetic, etc. The position may involveoccasional travel for internal meetings, as the team is geographically diverse.Knowledgeor experience in the following is a plus.
Understanding of formalverification of hardware/software Mathematical/analyticalabilities Compilers High-level/behavioralsynthesis Hardware design RTL simulation toolsWorkingat Siemens Software
Whyus?
Working at Siemens Software meansflexibility - Choosing between working at home and the office at other times isthe norm here. We offer great benefits and rewards, as you'd expect from aworld leader in industrial software.
We are an equal opportunity employerand value diversity at our company. We do not discriminate on the basis ofrace, religion, color, national origin, sex, gender, gender expression, sexualorientation, age, marital status, veteran status, or disability status.
Siemens Industry Software is an equalopportunities employer and does not discriminate unlawfully on the grounds ofage, disability, gender assignment, marriage, and civil partnership, pregnancyand maternity, race, religion or belief, sex, sexual orientation, or tradeunion membership.
Siemens.Making real what matters
If youwant to make a difference – make it with us
#LI-EDA
#LI-DS1
#LI-Hybrid
-
Digital Verification Engineer
il y a 4 semaines
Grenoble, Auvergne-Rhône-Alpes, France IC Resources Temps pleinWorking for an exciting fabless semiconductor company, the successful digital verification engineer will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of the digital processing functions of the ASIC in close collaboration...
-
Digital Verification Engineer
il y a 6 jours
Grenoble, Auvergne-Rhône-Alpes, France IC Resources Temps pleinWorking for an exciting fabless semiconductor company, the successful digital verification engineer will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of the digital processing functions of the ASIC in close collaboration...
-
Digital Verification Engineer
il y a 3 semaines
Grenoble, Auvergne-Rhône-Alpes, France IC Resources Temps pleinWorking for an exciting fabless semiconductor company, the successful digital verification engineer will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of the digital processing functions of the ASIC in close collaboration...
-
Grenoble, Auvergne-Rhône-Alpes, France INRIA Temps pleinContexte et atouts du poste Within the framework of a partnership (you can choose between) Verimag, LIP, and Aniah Mission confiée Detailed proposal : Avantages Subsidized meals Partial reimbursement of public transport costs Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) +...
-
Chargé(E) D'ingénierie de Parcours Et
il y a 6 jours
Grenoble, Auvergne-Rhône-Alpes, France TRANSITIONS PRO ARA Temps plein**MISSION PRINCIPALE DU CHARGE D'INGENERIE DE PARCOURS ET D'INSTRUCTION**Il analyse le résultat du positionnement, vérifie la bonne cohérence entre la formation proposée et le projet de changement de métier ou de profession du bénéficiaire. Il s'agit de vérifier l'adéquation entre le projet défini et le résultat du positionnement réalisé par...
-
Référent-e Subventions Et Délibérations
il y a 6 jours
Grenoble, Auvergne-Rhône-Alpes, France Ville de Grenoble Temps pleinLa Ville de Grenoble c'est plus d'un millier de recrutements par an, tous dispositifs confondus (postes permanents, remplacements, emplois saisonniers, apprentissage, emplois aidés, etc.). Le processus recrutement est marqué par les valeurs portées par la collectivité : éthique, égalité, diversité et transparence. Le service recrutement s'inscrit...
-
Référent-e Conseils Municipaux
il y a 6 jours
Grenoble, Auvergne-Rhône-Alpes, France Ville de Grenoble Temps pleinLa Ville de Grenoble c'est plus d'un millier de recrutements par an, tous dispositifs confondus (postes permanents, remplacements, emplois saisonniers, apprentissage, emplois aidés, etc.). Le processus recrutement est marqué par les valeurs portées par la collectivité : éthique, égalité, diversité et transparence. Le service recrutement s'inscrit...
-
Alternance - Chef de Projets Infrastructures Systèmes et Réseaux (H/F)
il y a 3 semaines
Grenoble, Auvergne-Rhône-Alpes, France Cea Temps pleinQui sommes-nous ?La Direction du Centre assure les fonctions de support pour l'ensemble des unités du Centre. Elle est chargée de leur apporter le soutien nécessaire dans les domaines suivants : ressources humaines, sécurité, ingénierie et exploitation.Au sein de cette Direction, le Département Projets Exploitation et Ingénierie (DPEI) , se trouve le...
-
Grenoble, Auvergne-Rhône-Alpes, France Cea Temps pleinQui sommes-nous ?La Direction du Centre assure les fonctions de support pour l'ensemble des unités du Centre. Elle est chargée de leur apporter le soutien nécessaire dans les domaines suivants : ressources humaines, sécurité, ingénierie et exploitation.Au sein de cette Direction, le Département Projets Exploitation et Ingénierie (DPEI) , se trouve le...
-
Grenoble, Auvergne-Rhône-Alpes, France Grenoble Alpes Métropole Temps pleinACTIVITÉS PRINCIPALES Activité 1 : Manager, en lien avec le responsable du service - Participer à la définition de l'activité du service (définition des orientations stratégiques et des objectifs annuels, mise en place revue de projet), - Animer et manager l'unité placée sous sa responsabilité, assurer l'information et la représentation de ses...
-
Formal Verification
il y a 4 semaines
Grenoble, France Siemens Electronic Design Automation SARL Temps pleinSiemensDigital Industries Software - Transform the everyday. Let'smake the difference together! Siemens Digital Industries (DI) is aninnovation leader in automation and digitalization. Closely, collaborating withpartners and customers, we care about the digital transformation in the processand discrete industries. With our Digital Enterprise...
-
Formal Verification
il y a 3 semaines
Grenoble, France Siemens Electronic Design Automation SARL Temps pleinSiemensDigital Industries Software - Transform the everyday. Let'smake the difference together! Siemens Digital Industries (DI) is aninnovation leader in automation and digitalization. Closely, collaborating withpartners and customers, we care about the digital transformation in the processand discrete industries. With our Digital Enterprise...
-
Formal Verification
il y a 4 jours
Grenoble, France Siemens Electronic Design Automation SARL Temps pleinAre you brave enough to challenge yourself? Siemens Digital Industries Software is not a manufacturing company. Weare a growing software company - bringing the technologies and innovations of tomorrow to ourcustomers today. With the resources and opportunities of a large corporation,your opportunities are endless. The role you apply for today is only...
-
Digital Verification Engineer
il y a 4 semaines
Grenoble, France IC Resources Temps pleinWorking for an exciting fabless semiconductor company, the successful digital verification engineer will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of the digital processing functions of the ASIC in close collaboration...
-
Digital Verification Engineer
il y a 3 semaines
Grenoble, France IC Resources Temps pleinWorking for an exciting fabless semiconductor company, the successful digital verification engineer will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of the digital processing functions of the ASIC in close collaboration...
-
Digital Verification Engineer
Il y a 2 mois
Grenoble, France IC Resources Temps pleinWorking for an exciting fabless semiconductor company, the successful digital verification engineer will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of the digital processing functions of the ASIC in close collaboration...
-
Digital Verification Engineer
il y a 3 semaines
Grenoble, France IC Resources Temps pleinWorking for an exciting fabless semiconductor company, the successful digital verification engineer will work in a challenging technical environment on the design of a state-of-the-art CMOS Transceiver ASIC for the Communications market. The candidate will be involved in the verification of the digital processing functions of the ASIC in close collaboration...
-
Grenoble, France INRIA Temps pleinContexte et atouts du poste Within the framework of a partnership (you can choose between) Verimag, LIP, and Aniah Mission confiée Detailed proposal : Avantages Subsidized meals Partial reimbursement of public transport costs Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working...
-
Application Engineer
il y a 3 semaines
Grenoble, France Siemens Temps plein**Siemens Digital Industries Software - Where today meets tomorrow.** **Siemens EDA** is a global technology leader in **electronic design automation** and part of Siemens Digital Industries Software. Our technologies enable companies around the world to develop new, highly innovative electronic products faster and more cost-effectively. Our customers use...
-
Application Engineer
il y a 3 semaines
Grenoble, France Siemens Digital Industries Software Temps plein**Siemens Digital Industries Software - Where today meets tomorrow.** **Siemens EDA** is a global technology leader in **electronic design automation** and part of Siemens Digital Industries Software. Our technologies enable companies around the world to develop new, highly innovative electronic products faster and more cost-effectively. Our customers use...
-
Architecte SOC Digital
il y a 3 semaines
Grenoble, France EASii IC Temps plein**EASii IC** est une PME dans le domaine du semi-conducteur, une Design House ASIC, basée à Grenoble (siège social) et Paris. Depuis plus de 20 ans, nous développons des circuits intégrés et des systèmes électroniques pour nos clients. Nous concevons des produits et des composants sur mesure, en passant par toutes les étapes de conception et de...
-
Chargé(E) de Mission Formation
Il y a 2 mois
Grenoble, France TRANSITIONS PRO ARA Temps plein**MISSION PRINCIPALE DU CHARGE D’INGENERIE DE PARCOURS ET D’INSTRUCTION** Il analyse le résultat du positionnement, vérifie la bonne cohérence entre la formation proposée et le projet de changement de métier ou de profession du bénéficiaire. Il s'agit de vérifier l'adéquation entre le projet défini et le résultat du positionnement réalisé...
-
Chargé(E) D'ingénierie de Parcours Et
il y a 1 semaine
Grenoble, France TRANSITIONS PRO ARA Temps plein**MISSION PRINCIPALE DU CHARGE D’INGENERIE DE PARCOURS ET D’INSTRUCTION** Il analyse le résultat du positionnement, vérifie la bonne cohérence entre la formation proposée et le projet de changement de métier ou de profession du bénéficiaire. Il s'agit de vérifier l'adéquation entre le projet défini et le résultat du positionnement réalisé...
-
Référent-e Subventions Et Délibérations
il y a 3 semaines
Grenoble, France Ville de Grenoble Temps pleinLa Ville de Grenoble c’est plus d’un millier de recrutements par an, tous dispositifs confondus (postes permanents, remplacements, emplois saisonniers, apprentissage, emplois aidés, etc.). Le processus recrutement est marqué par les valeurs portées par la collectivité : éthique, égalité, diversité et transparence. Le service recrutement...
-
Chef de Projets Infrastructures Systèmes et Réseaux H/F
Il y a 2 mois
Grenoble, France CEA Temps pleinDescription de l'offre Qui sommes-nous ? La Direction du Centre assure les fonctions de support pour l'ensemble des unités du Centre. Elle est chargée de leur apporter le soutien nécessaire dans les domaines suivants : ressources humaines, sécurité, ingénierie et exploitation. Au sein de cette Direction, le Département Projets Exploitation...
-
Référent-e Conseils Municipaux
il y a 2 semaines
Grenoble, France Ville de Grenoble Temps pleinLa Ville de Grenoble c’est plus d’un millier de recrutements par an, tous dispositifs confondus (postes permanents, remplacements, emplois saisonniers, apprentissage, emplois aidés, etc.). Le processus recrutement est marqué par les valeurs portées par la collectivité : éthique, égalité, diversité et transparence. Le service recrutement...
-
Grenoble, France Grenoble Alpes Métropole Temps pleinACTIVITÉS PRINCIPALES Activité 1 : Manager, en lien avec le responsable du service - Participer à la définition de l’activité du service (définition des orientations stratégiques et des objectifs annuels, mise en place revue de projet), - Animer et manager l’unité placée sous sa responsabilité, assurer l’information et la...
-
Responsable d'unité de maîtrise d'œuvre de proximité et faisabilité
il y a 3 semaines
Grenoble, France Grenoble Alpes Métropole Temps pleinACTIVITÉS PRINCIPALES Activité 1 : Manager, en lien avec le responsable du service - Participer à la définition de l’activité du service (définition des orientations stratégiques et des objectifs annuels, mise en place revue de projet), - Animer et manager l’unité placée sous sa responsabilité, assurer l’information et la...
