20 beste Stellen als algorithm engineer in münchen, by – aktuell auf Personalsuche

Lead Principal Engineer Formal Verification (f/m/div)
Infineon Technologies AG —München
- Vollzeit
- Künstliche Intelligenz
- Kommunikationsfähigkeit
Working Student – Battery Science and Data (f/m/d)
Munich Electrification —München
- Vollzeit
- Datenanalyse
- SQL
- AWS
- Homeoffice-Möglichkeit
Direkt bewerben
Working Student – Software Development (f/m/d)
Munich Electrification —München
- Vollzeit
- Hybrides Arbeiten
- C++
- Python
- Homeoffice-Möglichkeit
Direkt bewerben
Internship in Machine Learning, Visual Language (Action) Models (f/m/x)
ZEISS Group —München
- Vollzeit
- Informatik
- Master
- Präsentationserfahrung
7 Tage
Software Engineer, Applications (m/f/d)
Harman International —Garching bei München
- Forschungserfahrung
- C++
- Bachelor
Intern – Software Development (f/m/d)
Munich Electrification —München
- Vollzeit
- C++
- Python
- Homeoffice-Möglichkeit
Direkt bewerben
Senior System Software Engineer – Embedded AI Inference
NVIDIA —München
- Vollzeit
- Doktorat
- Informatik
- Master
(Senior) Robotics Software & Controls Engineer (m/f/d)
RobCo —München
- Vollzeit
- C++
- Python
- Homeoffice-Möglichkeit
- Flexible Arbeitszeiten
Direkt bewerben
Cybersecurity Design Engineer
Quest Global —München
- Vollzeit
- C++
- Kommunikationsfähigkeit
- Python
Direkt bewerben
Working Student – Wireless Communications & Networks for Drone Swarms
NeuralAgent GmbH —München
- Teilzeit
- Master
- C++
- Bachelor
Direkt bewerben
Future Systems Flight Software Senior Engineer
The Exploration Company —München
- Vollzeit
- Informatik
- Systemdesign
- C++
- Umzugskostenzuschuss
(Senior) Software Engineer (m/f/d) Web Applications & 3D Visualization - heart.ai
Abbott Laboratories —München
- Vollzeit
- Informatik
- APIs
Robotics Software Engineer Motion Control System (m/f/d)
autonomous-teaming —München
- Vollzeit
- C++
- Mit Reiseanteil
- APIs
Direkt bewerben
Senior Embedded Software Engineer (C++) (f/m/d)
Munich Electrification —München
- Vollzeit
- Hybrides Arbeiten
- Schemata
- Montage
- C++
- Homeoffice-Möglichkeit
Direkt bewerben
Quantum Software Engineer – Python
planqc —Garching bei München
- Vollzeit
- Forschungserfahrung
- Master
- Erfahrung mit Netzwerken
Direkt bewerben
(Senior) Software Engineer - Robotic Applications
Brainlab —München
- Vollzeit
- Informatik
- C++
- Erfahrung mit Netzwerken
Direkt bewerben
10 Tage
Systems Software Engineer
NeuralAgent GmbH —München
- Vollzeit
- Erfahrung mit Netzwerken
- APIs
- Linux
Direkt bewerben
Internship Machine Learning (Synthetic Data Generation) (f/m/x)
ZEISS Group —München
- Vollzeit
- Informatik
- Master
- Präsentationserfahrung
7 Tage
Internship Quantitative Trading (Market Making) (m/f/x)
Scalable GmbH —München
- Hybrides Arbeiten
- Microsoft Excel
- Doktorat
- Datenanalyse
Direkt bewerben
(Junior) Quantitative Trader (Market Making) (m/f/x)
Scalable GmbH —München
- Vollzeit
- Microsoft Excel
- Datenanalyse
- Finanzwirtschaft
Direkt bewerben

Ich möchte aktuelle Job-E-Mails für Stellen als algorithm engineer in münchen, by erhalten

Wenn Sie sich bei Ihrem Konto anmelden, stimmen Sie den Nutzungsbedingungen, den Richtlinien zur Verwendung von Cookies sowie der Datenschutzerklärung von SimplyHired zu.

Weitere Job-Standorte erkunden

algorithm engineer jobs near münchen, by

Jobs als Principal Software Engineer in München

Jobs als Senior Software Engineer in München

Jobs als Robotics Engineer in München

Jobs als Software Development Specialist in München

Jobs als Machine Learning Engineer in München

Jobs als Algorithm Engineer in München

Jobs als Senior System Engineer in München

Jobs als Data Scientist in München

Jobs als Principal Software Engineer in Berlin

Jobs als Data Engineer in Berlin

Jobs als Embedded Software in Dortmund

Jobs als Principal Software Engineer in Garching Bei München

Jobs als Senior Software Engineer in Erlangen

Jobs als Senior Software Engineer in Stuttgart

Jobs als Senior Software Engineer in Hamburg

Jobs als Senior Software Engineer in Heidelberg

Jobs als Robotics Engineer in Berlin

Jobs als Flight Test Engineer in München

Jobs als Robotics Engineer in Frankfurt Am Main

Jobs als R&d Engineer in München

Lead Principal Engineer Formal Verification (f/m/div)

Infineon Technologies AG -
München

Jetzt bewerben

Details zur Stelle

Festanstellung | Vollzeit

Qualifikationen

Künstliche Intelligenz
Kommunikationsfähigkeit

Vollständige Stellenbeschreibung

#WeAreIn for jobs that impact everyone's life. What if your ideas could change the way the world connects, powers up, or thinks? As a Lead Principal Engineer Formal Verification in our Research & Development team, you'll have the opportunity to merge creativity with your technical expertise by shaping the future of technology, driving groundbreaking projects, and bringing new ideas to life. Are you in?

Your Role

Key responsibilities in your new role
As a Lead Principal Engineer for Formal Verification you will define and lead the formal verification strategy for the Automotive Microcontroller platforms.

Work closely with platform architects and design leads to establish formal-friendly platform and design rules
Establish formal verification as a standard method in IP verification
Guide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and product level verification
Grow formal verification experts within Automotive Microcontrollers (ATV MC) business line and establish a Formal Verification Community
Push the boundaries of the application of formal verification in Digital Mixed Signal and Power Aware Verification
Standardize and automate the use of formal verification, including through the practical application of AI techniques

Your Profile

Qualifications and skills to help you succeed
You are a leader in Formal Verification with a strong track record of driving complex initiatives through strategic, multi‑angle problem analysis. You leverage deep expertise, strong networks, and exceptional communication skills to deliver innovative solutions, influence stakeholders, and foster effective cross‑functional collaboration.

A University Degree within STEM (Science, Technologies, Engineering and Mathematics) area
At least 12 years of relevant work experience with 5+ years of experience in the use of formal verification
A deep understanding of formal verification, including the effective use of techniques such as abstraction, non-determinism, invariants, and assume‑guarantee reasoning, combined with a solid understanding of formal engines and how to apply them most effectively
A broad experience applying formal verification across multiple domains, including the verification of algorithms, protocols, and design blocks, its use in SoC verification, and the efficient integration of formal methods within hybrid simulation‑formal environments
The ability to excite and enable verification engineers to use formal methods
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
A footprint demonstrating influence on the use of formal verification in industry and academia

Please send us your CV in English.

Contact:
Francisca Dias, LinkedIn

#WeAreIn for driving decarbonization and digitalization.
As a global leader in semiconductor solutions in power systems and IoT, Infineon enables game-changing solutions for green and efficient energy, clean and safe mobility, as well as smart and secure IoT. Together, we drive innovation and customer success, while caring for our people and empowering them to reach ambitious goals. Be a part of making life easier, safer and greener.
Are you in?

We are on a journey to create the best Infineon for everyone.
This means we embrace diversity and inclusion and welcome everyone for who they are. At Infineon, we offer a working environment characterized by trust, openness, respect and tolerance and are committed to give all applicants and employees equal opportunities. We base our recruiting decisions on the applicant´s experience and skills.
We look forward to receiving your resume, even if you do not entirely meet all the requirements of the job posting.
Please let your recruiter know if they need to pay special attention to something in order to enable your participation in the interview process.
Click here for more information about Diversity & Inclusion at Infineon.

Jetzt bewerben

Erweiterte Suche

algorithm engineer Jobs in münchen, by

Lead Principal Engineer Formal Verification (f/m/div)

Working Student – Battery Science and Data (f/m/d)

Working Student – Software Development (f/m/d)

Internship in Machine Learning, Visual Language (Action) Models (f/m/x)

Software Engineer, Applications (m/f/d)

Intern – Software Development (f/m/d)

Senior System Software Engineer – Embedded AI Inference

(Senior) Robotics Software & Controls Engineer (m/f/d)

Cybersecurity Design Engineer

Working Student – Wireless Communications & Networks for Drone Swarms

Future Systems Flight Software Senior Engineer

(Senior) Software Engineer (m/f/d) Web Applications & 3D Visualization - heart.ai

Robotics Software Engineer Motion Control System (m/f/d)

Senior Embedded Software Engineer (C++) (f/m/d)

Quantum Software Engineer – Python

(Senior) Software Engineer - Robotic Applications

Systems Software Engineer

Internship Machine Learning (Synthetic Data Generation) (f/m/x)

Internship Quantitative Trading (Market Making) (m/f/x)

(Junior) Quantitative Trader (Market Making) (m/f/x)

Ich möchte aktuelle Job-E-Mails für Stellen als algorithm engineer in münchen, by erhalten

Related Searches

Weitere Job-Standorte erkunden

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt