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

Senior Software Engineer, Formal Verification Engineer
Google —München
- 128.000 € – 253.000 € pro Jahr
- Vollzeit
- Doktorat
- Informatik
- Master
IT DevOps Support Engineer
Genedata —München
- Vollzeit
- Informatik
- Salesforce
- DevOps
CAD Physical Design Engineer (m/f/d)
Apple —München
- Master
- Bachelor
- Scripting
3 Tage
Sr HDE, Industrial Robotics, Industrial Robotics Group
Amazon Development Center Germany GmbH —München
- Vollzeit
- CAD
- Systemdesign
- Projektmanagement
2 Tage
Principal Mission Assurance Engineer
The Exploration Company —München
- Vollzeit
- Master
- Umzugskostenzuschuss
Senior Software GUI Engineer Embedded Systems (m/f/d)
Dornier MedTech Systems GmbH —Weßling
- Vollzeit
- Microsoft Powerpoint
- Microsoft Word
- Microsoft Office
- Flexible Arbeitszeiten
Direkt bewerben
2 Tage
Avionics Engineer
The Exploration Company —München
- Vollzeit
- Master
- Montage
- Elektrotechnik
- Umzugskostenzuschuss
Senior Avionics Engineer (m/f/d) - Power System
Isar Aerospace SE —München
- CAD
- Master
- Bachelor
Direkt bewerben
Product Security Engineer (m/f/x)
Scalable GmbH —München
- Vollzeit
- Hybrides Arbeiten
- Informatik
- Java
- AWS
Direkt bewerben
Software Integration Lead IVI (m/f/d)
Valeo —Garching bei München
- Vollzeit
- C++
- Python
- Kostenloser Parkplatz
Principal Mixed-Signal Design Engineer
Analog Devices —München
- Vollzeit
- Elektrotechnik
- Ohne Reiseanteil
- Führungserfahrung
Electronics Engineer (m/f/d) – Space Systems Electronics
deltaVision —München
- Vollzeit
- Ohne Hochschulabschluss
- Elektrotechnik
- Python
- Flexible Arbeitszeiten
Direkt bewerben
Staff Blockchain Data Scientist
Tools for Humanity —München
- Vollzeit
- Doktorat
- Datenanalyse
- Master
- Kostenbeteiligung am Arbeitsweg
- Lebensversicherung
Senior Avionics System Engineer - Electrical Power System
The Exploration Company —München
- Vollzeit
- Master
- Softwareentwicklung
- Elektrotechnik
- Umzugskostenzuschuss
Mechatronic engineer – medical laser (m/f/d)
Dornier MedTech Systems GmbH —Weßling
- Vollzeit
- CAD
- ERP-Systeme
- Forschungserfahrung
- Flexible Arbeitszeiten
Direkt bewerben
1 Tag
(Senior) Flight Control System Engineer (m/f/d)
Quantum- Systems GmbH —Gilching
- Vollzeit
- Datenanalyse
- Systemdesign
- C++
- Homeoffice-Möglichkeit
- Flexible Arbeitszeiten
Direkt bewerben
(Senior) Project Engineer - Surgical Navigation Platforms
Brainlab —München
- Vollzeit
- Hybrides Arbeiten
- Elektrotechnik
- Flexible Arbeitszeiten
Direkt bewerben
Senior Integration Engineer N3XT Interceptor C‑UAS (m/f/d)
Quantum- Systems GmbH —Gilching
- Vollzeit
- Bachelor
- Mechanikkenntnisse
Direkt bewerben
AIT Spacecraft Electrical Engineering Manager
The Exploration Company —München
- Vollzeit
- Datenanalyse
- Master
- Bachelor
- Umzugskostenzuschuss
Account Executive - Enterprise Sales - New Business
New Relic —München
- Vertrieb
- DevOps
- Bachelor

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

software verification engineer jobs near münchen, by

Jobs als Senior Software Engineer in München

Jobs als Avionics Engineer in München

Jobs als Enterprise Account Executive in München

Jobs als IT Support in München

Jobs als Security Engineer in München

Jobs als Principal Software Engineer in München

Jobs als CAD Designer in München

Jobs als Senior Software Engineer in Freiburg

Jobs als Senior Software Engineer in Bonn

Jobs als Ton, Tonmeister, Tontechniker, Sound Engineer in Köln

Jobs als Senior Software Engineer in Düsseldorf

Jobs als Senior Software Engineer in Stuttgart

Jobs als Embedded Software in Dortmund

Jobs als Ton, Tonmeister, Tontechniker, Sound Engineer in Frankfurt Am Main

Jobs als Enterprise Account Executive in Hamburg

Jobs als Enterprise Account Executive in Frankfurt Am Main

Jobs als Network Engineer in Hamburg

Jobs als Thermal Engineer in München

Jobs als Avionics Engineer in Bayern

Jobs als Maintenance Engineer in Nordrhein Westfalen

Senior Software Engineer, Formal Verification Engineer

Google -
München

Jetzt bewerben

Details zur Stelle

Vollzeit
128.000 € – 253.000 € pro Jahr

Qualifikationen

Rust
Doktorat
Informatik
Datenstrukturen
Master
Bachelor
Computerlinguistik
Softwareentwicklung
Künstliche Intelligenz
Führungserfahrung
Identitätsmanagement

Vollständige Stellenbeschreibung

In accordance with Washington state law, we are highlighting our comprehensive benefits package, which is available to all eligible US based employees. Benefits for this role include:

Health, dental, vision, life, disability insurance
Retirement Benefits: 401(k) with company match
Paid Time Off: 20 days of vacation per year, accruing at a rate of 6.15 hours per pay period for the first five years of employment
Sick Time: 40 hours/year (increased to 69 hours/year for Seattle) including 5 discretionary sick days per instance
Maternity Leave (Short-Term Disability + Baby Bonding): 28-30 weeks
Baby Bonding Leave: 18 weeks
Holidays: 13 paid days per year

Note: By applying to this position you will have an opportunity to share your preferred working location from the following: Seattle, WA, USA; Zürich, Switzerland; Munich, Germany.

Minimum qualifications:

Bachelor’s degree or equivalent practical experience.
5 years of experience with software development in one or more programming languages.
4 years of experience working in the area of formal verification, in the area of cryptography, or another security-related domain.
3 years of experience building software for data privacy or security (e.g., identity and access management).
3 years of experience testing, maintaining, or launching software products.

Preferred qualifications:

Master's degree or PhD in Computer Science or related technical field.
5 years of experience with data structures and algorithms.
1 year of experience in a technical leadership role.
Experience developing accessible technologies.

About the job

Google's software engineers develop the next-generation technologies that change how billions of users connect, explore, and interact with information and one another. Our products need to handle information at massive scale, and extend well beyond web search. We're looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. As a software engineer, you will work on a specific project critical to Google’s needs with opportunities to switch teams and projects as you and our fast-paced business grow and evolve. We need our engineers to be versatile, display leadership qualities and be enthusiastic to take on new problems across the full-stack as we continue to push technology forward.

ISE Formal is dedicated to building formally verified security-critical software and systems for Google. The team’s mission is to help everyone at Alphabet, and on the Internet, to use verified software. We are a distributed, dynamic team; our areas of focus are Rust and x64 ASM verification, with applications to cryptography, systems-level Rust code, and more.

Individual pay is determined by factors including job-related skills, experience, and relevant education or training.

Germany: €128000 - €132000 (EUR) + 15% bonus target + equity + benefits
US: $174000 - $253000 (USD) + 15% bonus target + bonus + equity + benefits

Learn more about benefits at Google.

Responsibilities

Evolve and improve the design verification frameworks written in Lean.
Evolve Rust verification frameworks using Lean, notably around separation logic.
Use these frameworks to formally verify security-critical code at Google to eliminate subtle and common implementation vulnerabilities, working with library owners to land this code in critical cryptography libraries and other high-stakes environments.
Engage in ongoing external collaborations to progress formal verification goals at Google, and work closely with the Lean FRO to develop features we need and improve current shortcomings.

Google is proud to be an equal opportunity workplace and is an affirmative action employer. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity or Veteran status. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. See also Google's EEO Policy and EEO is the Law. If you have a disability or special need that requires accommodation, please let us know by completing our Accommodations for Applicants form.

Jetzt bewerben

Erweiterte Suche

software verification engineer Jobs in münchen, by

Senior Software Engineer, Formal Verification Engineer

IT DevOps Support Engineer

CAD Physical Design Engineer (m/f/d)

Sr HDE, Industrial Robotics, Industrial Robotics Group

Principal Mission Assurance Engineer

Senior Software GUI Engineer Embedded Systems (m/f/d)

Avionics Engineer

Senior Avionics Engineer (m/f/d) - Power System

Product Security Engineer (m/f/x)

Software Integration Lead IVI (m/f/d)

Principal Mixed-Signal Design Engineer

Electronics Engineer (m/f/d) – Space Systems Electronics

Staff Blockchain Data Scientist

Senior Avionics System Engineer - Electrical Power System

Mechatronic engineer – medical laser (m/f/d)

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

(Senior) Project Engineer - Surgical Navigation Platforms

Senior Integration Engineer N3XT Interceptor C‑UAS (m/f/d)

AIT Spacecraft Electrical Engineering Manager

Account Executive - Enterprise Sales - New Business

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

Related Searches

Weitere Job-Standorte erkunden

Minimum qualifications:

Preferred qualifications:

About the job

Responsibilities

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt