Current jobs related to Senior Lead Expert in Formal Proof Engineering - Dublin, Dublin City - beBeeVerification
-
Visionary Formal Verification Expert
1 week ago
Dublin, Dublin City, Ireland beBeeFormalVerification Full time €1,200,000 - €1,500,000Job Title: Senior Principal Engineer Formal VerificationThis position oversees the formal verification strategy for automotive microcontroller platforms.Works closely with platform architects and design leads to create formal-friendly platform and design rulesEstablishes formal verification as a standard method in IP verificationGuides the use of formal...
-
Senior Principal Engineer Formal Verification
3 weeks ago
Dublin, Dublin City, Ireland Infineon Technologies AG Full timeJoin our team in Dublin, as a Senior Principal Engineer for Formal Verification, and play a pivotal role in shaping the future of mobility with Infineon's Automotive division. As a leading innovator in the field, we are driving the transformation of the automotive industry with our cutting-edge microcontrollers and software solutions. As part of our...
-
Proof Of Concept Strategic Solution Engineer
3 weeks ago
Dublin, Dublin City, Ireland Qualtrics Full timeAt Qualtrics, we create software used by the world's best brands to deliver exceptional frontline experiences, build high-performing teams, and design products people love.We are more than a platform—we are the creators and stewards of the Experience Management category, serving over 18K clients globally.Building a category takes grit, determination, and a...
-
Dublin, Dublin City, Ireland beBeeFormalVerification Full time €70,000 - €120,000Lead Formal Verification SpecialistOur organization seeks a Lead Formal Verification Specialist to play a pivotal role in shaping the future of mobility. This position is part of our automotive microcontroller business line, focusing on developing innovative solutions that enable clean, safe, and smart cars.Your key responsibilities include:Defining and...
-
Senior Electrical Engineer
3 weeks ago
Dublin, Dublin City, Ireland IN2 Engineering Full timeJoin to apply for the Senior Electrical Engineer role at IN2 Engineering2 weeks ago Be among the first 25 applicantsJoin to apply for the Senior Electrical Engineer role at IN2 EngineeringAs a progressive engineering consultancy across Ireland, the UK and Europe, IN2 is dedicated to making better spaces for people.From our creation over 20 years ago, IN2 has...
-
Chief Instrumentation Engineer
2 weeks ago
Dublin, Dublin City, Ireland beBeeInstrumentation Full time €100,000 - €150,000Senior Instrumentation Engineering ExpertWe are seeking an accomplished instrumentation engineer with a strong background in leading large-scale projects and design from concept to completion.Key Responsibilities:Lead various stages of engineering design and offer effective solutionsAnalyse complex engineering problems and provide technical supportMentor...
-
Digital Solution Engineer
1 week ago
Dublin, Dublin City, Ireland Microsoft Full timeOverviewDigital Solution Engineer - AI Business Process (Dutch Speaker) at Microsoft. The mission of Microsoft Business Applications is to help customers digitally transform their businesses to drive new sources of revenue, create new and engaging ways to serve customers, and transform the way their business runs to drive profitability.In this role you will...
-
Digital Solution Engineer
7 days ago
Dublin, Dublin City, Ireland Microsoft Full timeOverviewDigital Solution Engineer - AI Business Process (Dutch Speaker) at Microsoft.The mission of Microsoft Business Applications is to help customers digitally transform their businesses to drive new sources of revenue, create new and engaging ways to serve customers, and transform the way their business runs to drive profitability.In this role you will...
-
Digital Solution Engineer
1 week ago
Dublin, Dublin City, Ireland Microsoft Full timeOverviewDigital Solution Engineer - AI Business Process (Dutch Speaker) at Microsoft.The mission of Microsoft Business Applications is to help customers digitally transform their businesses to drive new sources of revenue, create new and engaging ways to serve customers, and transform the way their business runs to drive profitability.In this role you will...
-
Senior Electrical Engineer
2 weeks ago
Dublin, Dublin City, Ireland Suir Engineering Full timeGet AI-powered advice on this job and more exclusive features.We have exciting opportunity for a Senior Electrical Engineer to join Suir Engineering Ltd. This position will be based on a EP&R project based in across sites in the Leinster regionHere in Suir Engineering we are a leading international provider of innovative Mechanical, Electrical and...
Senior Lead Expert in Formal Proof Engineering
2 weeks ago
As a Senior Principal Engineer for Formal Verification, you will play a pivotal role in shaping the future of mobility with innovative solutions that enable clean, safe, and smart cars.
In this critical position, you will define and lead the formal verification strategy for Automotive Microcontroller platforms. You will work closely with platform architects and design leads to establish formal-friendly platform and design rules, ensuring seamless integration and efficient use of formal verification techniques.
Key responsibilities include:
- Establishing formal verification as a standard method in IP verification
- Guiding the use of formal verification to improve efficiency of IP and product level verification
- Growing formal verification experts within Automotive Microcontrollers business line and establishing a Formal Verification Community
- Pushing the boundaries of formal verification application in Digital Mixed Signal and Power Aware Verification
- Standardizing and automating the use of formal verification, including through practical application of AI techniques
This is an exceptional opportunity to drive innovation and strategy in the field of formal verification, working collaboratively with a team of experts to shape the future of mobility.
Required Skills & Qualifications:- A University Degree within STEM area
- At least 15 years of relevant work experience with 8+ years of experience in the use of formal verification
- Deep understanding of formal verification, including formal verification techniques such as abstractions, non-determinism, invariants, assume-guarantee etc.
- Understanding of formal engines and how best to use them
- Broad experience of the application for formal verification, including the use of formal verification for verification of algorithms, protocols, design blocks etc.
- Efficient use of formal verification in hybrid simulation-formal environments
- Ability to excite and enable verification engineers to use formal methods
- Made significant internal and external contributions in the use of formal verification and can provide evidence of pushing the use of formal verification into new areas
As a member of our team, you will enjoy a dynamic and inclusive work environment characterized by trust, openness, respect, and tolerance. We offer equal opportunities to all applicants and employees and are committed to embracing diversity and inclusion.
About Us:We are a leading global company driving innovation and customer success in green and efficient energy, clean and safe mobility, and smart and secure IoT. Our semiconductors are essential for supporting megatrends in electromobility, automated driving, connectivity, and advanced security. We link the real and digital world, driving ever-advancing pace of automotive digitalization.
