Emplois
>
Grenoble

    Formal Verification - Grenoble, France - Siemens Electronic Design Automation SARL

    Default job background
    Permanent
    Description

    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 customers
  • RequiredKnowledge/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 tools
  • Workingat 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


  • EASii IC

    Architecte SOC Digital

    il y a 1 semaine


    EASii IC Grenoble, France

    **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 compo ...


  • TRANSITIONS PRO ARA Grenoble, France

    **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 e ...


  • Ville de Grenoble Grenoble, France

    La 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, ...


  • Ville de Grenoble Grenoble, France

    La 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, ...


  • DOLPHIN DESIGN Meylan, France

    Les objets connectés demandent de plus en plus de performances, d'autonomie, et les échanges de données explosent, ce qui implique d'énorme contraintes énergétiques · L'ambition de Dolphin Design est de concilier évolutions technologiques avec préservation des ressources de notr ...

  • LIP Solutions RH Grenoble Ingénierie

    Animateur Sse

    il y a 5 jours


    LIP Solutions RH Grenoble Ingénierie Champ-sur-Drac, France

    Avec plus de 180 agences d'emploi spécialisées par domaine d'activité et réparties sur l'ensemble du territoire, le Groupe LIP Intérim et Recrutement propose toute l'année de nombreux postes en CDI, CDD et Intérim. Nos consultants se consacrent exclusivement au recrutement de pro ...


  • Pays Voironnais Voiron, France

    Sous l'autorité de la direction du service Tourisme, vous aurez pour missions: · Dans le cadre de cette 3ème mission, l'Office de tourisme recherche **un(e)** responsable **de l'Accueil pour un remplacement d'une durée de six mois éventuellement renouvelable**. Sous l'autorité de ...


  • Pays Voironnais Voiron, France

    **CDD (plus de 6 mois) / Isère / **PAYS VOIRONNAIS** · **[CDD] Responsable de l'accueil de l'Office de Tourisme Communautaire du Pays Voironnais**: · Au nord de Grenoble, la Communauté d'Agglomération du Pays Voironnais couvre un territoire de 31 communes pour une population de p ...


  • IC Resources Grenoble, France À temps plein

    Working 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 ve ...

  • PAGE PERSONNEL IDF

    Technicien Qualité 28 H/F

    il y a 1 semaine


    PAGE PERSONNEL IDF Grenoble, France permanent

    Créée en 2020, cette entreprise à très forte croissance porte une ambition : Accélérer la dynamique industrielle de production de batteries bas-carbone en France afin de servir le marché européen. · En tant que Technicien Qualité, vos principales missions seront les suivantes : · ...

  • Page Personnel

    Technicien Qualité 28 H/F

    il y a 1 semaine


    Page Personnel Grenoble, France CDI

    Le poste de Technicien Qualité 2*8 H/F · En tant que Technicien Qualité, vos principales missions seront les suivantes : · * Diriger les activités quotidiennes de contrôle de la qualité dans la production en veillant à ce que les spécifications de qualité de la production/du pro ...


  • Alten Grenoble, France À temps plein

    Description du poste · You will be involved in long term national or international projects that will allow you to gain expertise through experience and certifications. · You will have the opportunity to explore several activities: from electrical design and testing to programm ...


  • CEA Grenoble, France Alternance

    Description 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 exploitati ...


  • GENVIA Grenoble, France CDI

    Description du poste · Chez Genvia, notre mission est d'accompagner les organisations internationales et l'industrie dans la transition énergétique, afin de leur permettre d'atteindre les objectifs de décarbonisation et de Net-Zéro à l'échelle mondiale. · Nous sommes convaincus q ...


  • Grenoble Alpes Métropole Grenoble, France poste permanent

    ACTIVITÉ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 ...


  • MODISTECH Saint-Martin-le-Vinoux, Isère, France Temporary

    Votre mission · Akkodis Talent est la marque du Groupe Adecco spécialisée dans le recrutement (intérim – CDD – CDI) de profils IT, Ingénierie et Scientifique. · Nous recrutons pour une mission d'intérim d'un an pour EDF un Ingénieur en mécanique des Matériaux H/F. · Descriptif ...


  • Cea Grenoble, France À temps plein

    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 Dire ...

  • Dolphin Design

    Digital designer

    il y a 1 semaine


    Dolphin Design Meylan, France

    Dolphin design has unique know-how in optimizing energy efficiency, which earned us the honor of being one of the 1000 companies worldwide to receive the Solar Impulse label. Our customers are targeting consumer electronics markets, including IoT, multimedia, AI and 5G, or automo ...


  • Siemens Electronic Design Automation SARL Meylan, France Permanent

    Siemens Digital IndustriesSoftware - Transform the everyday . · Let's make the differencetogether · Siemens Digital Industries(DI) is an innovation leader in automation and digitalization. Closely,collaborating with partners and customers, we care about the digitaltransformatio ...