Software Engineer, Proof and Verification Engineer - Google Careers

info_outline

X

[Für Bewerber in den USA]

In den meisten Fällen erfordert diese Position persönliche Vorstellungsgespräche als Teil des Einstellungsprozesses.

In Übereinstimmung mit dem Recht des Bundesstaates Washington heben wir unser umfassendes Benefit-Paket hervor, das für alle berechtigten Mitarbeiter mit Sitz in den USA verfügbar ist. Die Leistungen für diese Rolle umfassen:

• Kranken-, Zahn-, Augen-, Lebens- und Invaliditätsversicherung
• Altersvorsorge: 401(k) mit Arbeitgeberzuschuss
• Bezahlter Urlaub: 20 Urlaubstage pro Jahr, die in den ersten fünf Jahren der Beschäftigung mit einer Rate von 6,15 Stunden pro Entgeltzeitraum erworben werden
• Krankheitszeit: 40 Stunden/Jahr (erhöht auf 69 Stunden/Jahr für Seattle) einschließlich 5 diskretionärer Krankheitstage pro Fall
• Mutterschaftsurlaub (Kurzzeitige Erwerbsunfähigkeit + Baby Bonding): 28-30 Wochen
• Baby Bonding Leave: 18 Wochen
• Feiertage: 13 bezahlte Tage pro Jahr

Hinweis: Durch die Bewerbung auf diese Stelle haben Sie die Möglichkeit, Ihren bevorzugten Arbeitsort aus den folgenden Optionen anzugeben: Seattle, WA, USA; Zürich, Switzerland; Munich, Germany.

Mindestqualifikationen: ###

• Bachelor-Abschluss oder gleichwertige praktische Erfahrung.
• 2 Jahre Erfahrung in der Entwicklung von Software für Datenschutz oder Sicherheit (z. B. Identity and Access Management).
• 2 Jahre Erfahrung in der Softwareentwicklung in einer oder mehreren Programmiersprachen.
• Erfahrung im Entwurf und in der Anwendung von datenschutzschützenden Technologien (z. B. Differential Privacy, Federated Learning) und Frameworks (z. B. Privacy by Design).
• Erfahrung mit Sicherheitsprotokollen (z. B. Kryptographie, Authentifizierung, Autorisierung und Sicherheit, Multi-Faktor-Authentifizierung, Single Sign-On, Identity Management).
• Erfahrung im Security Engineering.

Bevorzugte Qualifikationen: ###

• Master-Abschluss oder PhD in Informatik oder verwandten technischen Fachbereichen.
• 4 Jahre Erfahrung in der Softwareentwicklung.
• 2 Jahre Erfahrung mit Datenstrukturen und Algorithmen.
• 2 Jahre Erfahrung in der formalen Verifikation.
• Erfahrung in der Entwicklung zugänglicher Technologien.
• Erfahrung im Entwurf und in der Anwendung von datenschutzschützenden Technologien (z. B. Differential Privacy, Federated Learning) und Frameworks (z. B. Privacy by Design).

Über den Job ###

Software Engineers bei Google entwickeln die Technologien der nächsten Generation, die verändern, wie Milliarden von Nutzern sich verbinden, erkunden und mit Informationen sowie untereinander interagieren. Unsere Produkte müssen Informationen in massivem Umfang verarbeiten und weit über die Websuche hinausgehen. Wir suchen Engineers, die frische Ideen aus allen Bereichen mitbringen, einschließlich Information Retrieval, Distributed Computing, Large-Scale System Design, Networking und Datenspeicherung, Sicherheit, künstliche Intelligenz, natürliche Sprachverarbeitung, UI-Design und Mobile; die Liste ist lang und wächst jeden Tag. Als Software Engineer werden Sie an einem spezifischen Projekt arbeiten, das für die Bedürfnisse von Google entscheidend ist, mit Möglichkeiten, das Team und die Projekte zu wechseln, während Sie und unser schnelllebiges Geschäft wachsen und sich entwickeln. Wir brauchen Engineers, die vielseitig sind, Führungsqualitäten zeigen und enthusiastisch sind, neue Probleme über den gesamten Full-Stack hinweg anzugehen, während wir die Technologie weiter vorantreiben.

In dieser Rolle verfügen Sie über einen starken Hintergrund in Programmiersprachen (PL) und formaler Verifikation, um bei der Weiterentwicklung unserer Rust-Verifikationswerkzeuge und deren Anwendung auf reale Probleme in der gesamten Codebasis von Google zu helfen, sowie über Kenntnisse in Lean, Rust und dessen Semantik sowie Concurrent Separation Logic.

Die individuelle Vergütung wird durch Faktoren wie berufsspezifische Fähigkeiten, Erfahrung und relevante Ausbildung oder Trainings bestimmt.

Germany: -106000 - -108000 (EUR) + 15% bonus target + equity + benefits
US: $147000 - $210000 (USD) + 15% bonus target + equity + benefits

Erfahren Sie mehr über die Vorteile bei Google.

Verantwortlichkeiten ###

• Weiterentwicklung unserer Rust-Verifikationswerkzeuge unter Nutzung eines starken Hintergrunds in Programmiersprachen (PL) und formaler Verifikation.
• Anwendung von Rust-Verifikationswerkzeugen auf reale Probleme in der gesamten Codebasis von Google.
• Nutzung von Kenntnissen in Lean, Rust und dessen Semantik sowie Concurrent Separation Logic zur Lösung komplexer Verifikationsherausforderungen.
• Schreiben von Produkt- oder Systementwicklungscode.
• Überprüfung von Code, der von anderen Entwicklern entwickelt wurde, und Bereitstellung von Feedback, um Best Practices sicherzustellen (z. B. Style-Guidelines, Einchecken von Code, Genauigkeit, Testbarkeit und Effizienz).