Software Engineer, Proof and Verification Engineer - Google Careers

(Für US-Bewerber) In den meisten Fällen erfordert diese Position persönliche Interviews im Rahmen des Einstellungsprozesses. Gemäß dem Gesetz des Bundesstaates Washington heben wir unser umfassendes Leistungspaket hervor, das allen berechtigten, in den USA ansässigen Mitarbeitern zur Verfügung steht. Die Vorteile für diese Rolle umfassen:

• Gesundheits-, Zahn-, Augen-, Lebens- und Invaliditätsversicherung
• Rentenleistungen: 401(k) mit Unternehmensbeitrag
• Bezahlte Freizeit: 20 Tage Urlaub pro Jahr, die in den ersten fünf Jahren der Beschäftigung mit einer Rate von 6,15 Stunden pro Abrechnungszeitraum angesammelt werden
• Krankheitsurlaub: 40 Stunden/Jahr (in Seattle auf 69 Stunden/Jahr erhöht), einschließlich 5 Ermessenskrankheitstage pro Fall
• Mutterschaftsurlaub (kurzfristige Invalidität + Babybindung): 28-30 Wochen
• Babybindungsurlaub: 18 Wochen
• Feiertage: 13 bezahlte Tage pro Jahr

Hinweis: Wenn Sie sich auf diese Position bewerben, haben Sie die Möglichkeit, Ihren bevorzugten Arbeitsort aus den folgenden auszuwählen: Seattle, WA, USA; Zürich, Schweiz; München, Deutschland.

• Bachelor-Abschluss oder gleichwertige praktische Erfahrung.
• 2 Jahre Erfahrung in der Softwareentwicklung für Datenschutz oder Sicherheit (z.B. Identitäts- und Zugriffsmanagement).
• 2 Jahre Erfahrung in der Softwareentwicklung in einer oder mehreren Programmiersprachen.
• Erfahrung im Entwerfen und Anwenden von datenschutzfreundlichen Technologien (z.B. differenzielle Privatsphäre, föderiertes Lernen) und Rahmenwerken (z.B. Privacy by Design).
• Erfahrung mit Sicherheitsprotokollen (z.B. Kryptographie, Authentifizierung, Autorisierung und Sicherheit, Multi-Faktor-Authentifizierung, Single Sign-On, Identitätsmanagement).
• Erfahrung in der Sicherheitsengineering.

Bevorzugte Qualifikationen:

• Master-Abschluss oder PhD in Informatik oder verwandten technischen Bereichen.
• 4 Jahre Erfahrung in der Softwareentwicklung.
• 2 Jahre Erfahrung mit Datenstrukturen und Algorithmen.
• 2 Jahre Erfahrung in der formalen Verifikation.
• Erfahrung im Entwerfen und Anwenden von datenschutzfreundlichen Technologien (z.B. differenzielle Privatsphäre, föderiertes Lernen) und Rahmenwerken (z.B. Privacy by Design).

Über die Stelle

Die Software-Ingenieure von Google entwickeln die Technologien der nächsten Generation, die verändern, wie Milliarden von Nutzern Informationen und miteinander interagieren. Unsere Produkte müssen Informationen in großem Maßstab verarbeiten und gehen weit über die Websuche hinaus. Wir suchen Ingenieure, die frische Ideen aus allen Bereichen einbringen, einschließlich Informationsabruf, verteiltes Rechnen, Systemdesign in großem Maßstab, Netzwerke und Datenspeicherung, Sicherheit, künstliche Intelligenz, Verarbeitung natürlicher Sprache, UI-Design und Mobilgeräte; die Liste wächst jeden Tag. Als Software-Ingenieur arbeiten Sie an einem spezifischen Projekt, das für die Bedürfnisse von Google entscheidend ist, mit Möglichkeiten, Teams und Projekte zu wechseln, während Sie und unser schnelllebiges Geschäft wachsen und sich weiterentwickeln. Wir benötigen von unseren Ingenieuren Vielseitigkeit, Führungsqualitäten und die Begeisterung, neue Probleme im gesamten Stack anzugehen, während wir weiterhin die Technologie vorantreiben.

In dieser Rolle haben Sie einen starken Hintergrund in Programmiersprachen (PL) und formaler Verifikation, um bei der Weiterentwicklung unserer Rust-Verifikationstools und deren Anwendung auf reale Probleme in Googles Codebasis zu helfen, sowie Kenntnisse in Lean, Rust und dessen Semantik sowie in paralleler Trennungslogik.

Das individuelle Gehalt wird durch Faktoren wie berufsbezogene Fähigkeiten, Erfahrung und relevante Ausbildung oder Schulung bestimmt.

Deutschland: € - € (EUR) + 15% Bonusziel + Eigenkapital + Leistungen
USA: $ - $ (USD) + 15% Bonusziel + Eigenkapital + Leistungen

Erfahren Sie mehr über die Vorteile bei Google.

• Entwickeln Sie unsere Rust-Verifikationstools unter Verwendung eines starken Hintergrunds in Programmiersprachen (PL) und formaler Verifikation.
• Wenden Sie Rust-Verifikationstools auf reale Probleme in Googles Codebasis an.
• Nutzen Sie Kenntnisse in Lean, Rust und dessen Semantik sowie in paralleler Trennungslogik, um komplexe Verifikationsherausforderungen zu lösen.
• Schreiben Sie Produkt- oder Systementwicklungscode.
• Überprüfen Sie den von anderen Entwicklern geschriebenen Code und geben Sie Feedback, um sicherzustellen, dass bewährte Verfahren eingehalten werden (z.B. Stilrichtlinien, Codeüberprüfung, Genauigkeit, Testbarkeit und Effizienz).

Google ist stolz darauf, ein Arbeitgeber für Chancengleichheit und positive Maßnahmen zu sein. Wir setzen uns dafür ein, eine Belegschaft aufzubauen, die die Nutzer, die wir bedienen, widerspiegelt, eine Kultur der Zugehörigkeit zu schaffen und eine Chancengleichheit unabhängig von Rasse, Glauben, Farbe, Religion, Geschlecht, sexueller Orientierung, Geschlechtsidentität/-ausdruck, nationaler Herkunft, Behinderung, Alter, genetischen Informationen, Veteranenstatus, Familienstand, Schwangerschaft oder verwandten Bedingungen (einschließlich Stillen), werdenden Eltern oder Eltern, kriminellen Vorgeschichten, die mit gesetzlichen Anforderungen übereinstimmen, oder aus anderen Gründen, die gesetzlich geschützt sind, zu bieten. Siehe auch die EEO-Richtlinie von Google, Ihre Rechte kennen: Diskriminierung am Arbeitsplatz ist illegal, Zugehörigkeit bei Google und wie wir einstellen.

Google ist ein globales Unternehmen und um eine effiziente Zusammenarbeit und Kommunikation weltweit zu ermöglichen, ist Englischkenntnis für alle Rollen erforderlich, es sei denn, es wird im Stellenangebot anders angegeben.

An alle Personalvermittlungsagenturen: Google akzeptiert keine Bewerbungen von Agenturen. Bitte senden Sie keine Lebensläufe an unsere Jobadresse, Google-Mitarbeiter oder an andere Standorte. Google übernimmt keine Verantwortung für Gebühren im Zusammenhang mit unaufgeforderten Lebensläufen.

Eigenkapital wird ausschließlich und nach Ermessen von Alphabet Inc. auf der Grundlage einer Vereinbarung gewährt, die zwischen Ihnen und Alphabet Inc. abgeschlossen wurde. Alphabet Inc. ist Ihr alleiniger Vertragspartner in Bezug auf Eigenkapitalzuteilungen. GSU-Zuteilungen sind nicht garantiert, unterliegen dem Ermessen, bedürfen der Genehmigung durch den Vorstand von Alphabet Inc. oder dessen Beauftragten, den Bedingungen des relevanten Aktienplans von Alphabet Inc. und Ihrer Zuteilungsvereinbarung. Sie haben keinen Einfluss auf gesetzliche Zahlungen. Aktuelle oder frühere Zuteilungen begründen kein erworbenes Recht.