20 beste Stellen als software verification engineer in münchen – aktuell auf Personalsuche

Software Formal Verification Engineer
Apple —München
- Informatik
- Master
- C++
Systems & Electrical Engineer - Human Spaceflight & Microgravity (m/f/d)
OHB System AG —München
- Mit Reiseanteil
- Linux
- Elektrotechnik
- Flexible Arbeitszeiten
13 Tage
European Application Engineer - Calibre - M/F/D
Siemens —München
- 90.100 € – 180.200 € pro Jahr
- Vollzeit
- Master
- Bachelor
- Ohne Hochschulabschluss
1 Tag
GNC Engineer - Mission Analysis (m/f/d)
Isar Aerospace SE —München
- Doktorat
- Datenanalyse
- Master
Direkt bewerben
13 Tage
Design Engineer (d/f/m)
Aerostack GmbH —München
- Vollzeit
- CAD
- Master
- Python
- Flexible Arbeitszeiten
Spacecraft Electronics Engineer
Spire —München
- Vollzeit
- Oracle
- C++
- Produktion
- Employee Assistance Program
- Mitgliedschaft im Fitnessstudio
1 Tag
Senior Engineer RF Characterization (f/m/div)
Infineon Technologies AG —München
- Vollzeit
- Elektrotechnik
- Künstliche Intelligenz
- Python
7 Tage
Spacecraft Electronics Engineer
Spire Global —München
- Vollzeit
- Oracle
- C++
- Produktion
- Employee Assistance Program
- Mitgliedschaft im Fitnessstudio
1 Tag
Senior Backend Engineer
Qwello —München
- Vollzeit
- Hybrides Arbeiten
- Azure
- Englisch
- AWS
Direkt bewerben
Senior Functional Safety Engineer/Safety Systems Engineer
Navflex —München
- Vollzeit
- Bachelor
- Erfahrung mit Netzwerken
- Elektrotechnik
Direkt bewerben
System Integration Senior Engineer (Functional Focus)
The Exploration Company —München
- 72.500 € – 100.000 € pro Jahr
- Vollzeit
- Master
- Kommunikationsfähigkeit
- Umzugskostenzuschuss
8 Tage
(Senior) Flight Control System Engineer (m/f/d)
Quantum-Systems GmbH —Gilching
- Vollzeit
- Datenanalyse
- Systemdesign
- C++
- Homeoffice-Möglichkeit
- Flexible Arbeitszeiten
Direkt bewerben
Payload System Engineer
constellr GmbH —München
- Vollzeit
- Hybrides Arbeiten
- Bachelor
- Mechanikkenntnisse
- Python
Direkt bewerben
3 Tage
SDR & GPU Acceleration Engineer
GMV —Gilching
- Hybrides Arbeiten
- Systemdesign
- C++
- Linux
- Umzugskostenzuschuss
FPGA Engineer
planqc —Garching bei München
- Vollzeit
- Master
- Bachelor
- Linux
Direkt bewerben
Senior Systems Engineer
CesiumAstro —München
- Vollzeit
- Englisch
- Master
- Elektrotechnik
System Integration Senior Engineer (Platform Focus)
The Exploration Company —München
- 72.500 € – 100.000 € pro Jahr
- Vollzeit
- Master
- Kommunikationsfähigkeit
- Umzugskostenzuschuss
8 Tage
AOCS/GNC Engineer - Munich (all genders)
Reflex Aerospace GmbH —München
- Vollzeit
- Flexible Arbeitszeiten
Direkt bewerben
Senior Systems Engineer - Product Security (m/f/d)
Quantum-Systems GmbH —München
- Vollzeit
- Bachelor
- Künstliche Intelligenz
Direkt bewerben
Senior Principal Engineer for Platform Architecture (f/m/div)
Infineon Technologies AG —München
- Vollzeit
- Führungserfahrung

Ich möchte aktuelle Job-E-Mails für Stellen als software verification engineer in münchen 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

software verification engineer jobs near münchen

Software Formal Verification Engineer

Apple -
München

Jetzt bewerben

Details zur Stelle

Qualifikationen

Informatik
Master
C++
C
Bachelor

Vollständige Stellenbeschreibung

Imagine what you could do here. Apple’s formal verification team is looking for a software formal verification engineer who is passionate about helping deliver correctness guarantees for Apple’s most critical systems through state-of-the-art formal verification methodology.

Apple devices are at the center of the daily lives of over a billion customers. We rely on them to handle our private data carefully and securely. As part of the formal verification team, you will work alongside kernel, security, and other formal experts to deliver on this promise.
Dynamic, smart people and inspiring, innovative technologies are the norm here. Join our team of formal experts and make a real difference to Apple’s devices and to the state-of-the-art of software formal verification.

Description
As a software formal verification engineer you will be involved with:
Developing full formal proofs for Apple’s critical software systems
Flushing out bugs and security issues within these systems before they ever hit production.
Collaborating with Apple’s world-class software teams to improve the quality of the software.
Communicating formal specifications to non-formal engineers
Crafting novel and creative improvements that continuously improve our software formal verification methodology.
Developing and implementing re-usable and optimized formal models and verification code bases

Preferred Qualifications
Completed Bachelor's, Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.

Minimum Qualifications
Deep knowledge of formal logic and automated reasoning
Good knowledge of C, C++ or similar languages.
Strong experience using interactive theorem provers (Isabelle a plus)
Good knowledge of SML or other functional languages
Understanding of formal methods/formal verification for real-world systems a plus
Understanding of computer architecture and operating systems a plus
Understanding of general programming languages paradigms a plus
Strong problem solving and interpersonal skills
Strong written and verbal communication in English

Jetzt bewerben

Erweiterte Suche

software verification engineer Jobs in münchen

Software Formal Verification Engineer

Systems & Electrical Engineer - Human Spaceflight & Microgravity (m/f/d)

European Application Engineer - Calibre - M/F/D

GNC Engineer - Mission Analysis (m/f/d)

Design Engineer (d/f/m)

Spacecraft Electronics Engineer

Senior Engineer RF Characterization (f/m/div)

Spacecraft Electronics Engineer

Senior Backend Engineer

Senior Functional Safety Engineer/Safety Systems Engineer

System Integration Senior Engineer (Functional Focus)

(Senior) Flight Control System Engineer (m/f/d)

Payload System Engineer

SDR & GPU Acceleration Engineer

FPGA Engineer

Senior Systems Engineer

System Integration Senior Engineer (Platform Focus)

AOCS/GNC Engineer - Munich (all genders)

Senior Systems Engineer - Product Security (m/f/d)

Senior Principal Engineer for Platform Architecture (f/m/div)

Ich möchte aktuelle Job-E-Mails für Stellen als software verification engineer in münchen erhalten

Related Searches

Weitere Job-Standorte erkunden

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt