Senior Software Engineer, Formal Verification Engineer

Benefits for this role

• 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

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

Minimum qualifications

• Bachelor-Abschluss oder gleichwertige praktische Erfahrung.
• 5 Jahre Erfahrung in der Softwareentwicklung in einer oder mehreren Programmiersprachen.
• 4 Jahre Erfahrung im Bereich der formalen Verifikation, im Bereich der Kryptographie oder einem anderen sicherheitsrelevanten Bereich.
• 3 Jahre Erfahrung in der Entwicklung von Software für Datenschutz oder Sicherheit (z.B. Identitäts- und Zugriffsmanagement).
• 3 Jahre Erfahrung in der Testung, Wartung oder Einführung von Softwareprodukten.

Preferred qualifications

• Master-Abschluss oder PhD in Informatik oder einem verwandten technischen Bereich.
• 5 Jahre Erfahrung mit Datenstrukturen und Algorithmen.
• 1 Jahr Erfahrung in einer technischen Führungsrolle.
• Erfahrung in der Entwicklung barrierefreier Technologien.

About the job

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 werden Sie an einem spezifischen Projekt arbeiten, 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, dass unsere Ingenieure vielseitig sind, Führungsqualitäten zeigen und begeistert sind, neue Probleme im gesamten Stack anzugehen, während wir weiterhin die Technologie vorantreiben.

ISE Formal ist darauf spezialisiert, formal verifiziertes, sicherheitskritisches Software und Systeme für Google zu entwickeln. Die Mission des Teams ist es, allen bei Alphabet und im Internet zu helfen, verifizierte Software zu nutzen. Wir sind ein verteiltes, dynamisches Team; unsere Schwerpunkte liegen auf Rust und x64 ASM-Verifikation, mit Anwendungen in der Kryptographie, systemnaher Rust-Code und mehr.

Für die Vereinigten Staaten liegt die US-Grundgehaltsspanne für diese Vollzeitstelle zwischen $174,000 und $252,000 + Bonus + Eigenkapital + Leistungen. Unsere Gehaltsspannen werden durch Rolle, Niveau und Standort bestimmt. Innerhalb der Spanne wird das individuelle Gehalt durch den Arbeitsort und zusätzliche Faktoren, einschließlich berufsbezogener Fähigkeiten, Erfahrungen und relevanter Ausbildung oder Schulung, bestimmt. Ihr Recruiter kann Ihnen während des Einstellungsprozesses mehr über die spezifische Gehaltsspanne für Ihren bevorzugten Standort mitteilen.

Bitte beachten Sie, dass die in US-Stellenangeboten aufgeführten Vergütungsdetails nur das Grundgehalt widerspiegeln und keine Boni, Eigenkapital oder Leistungen enthalten. Erfahren Sie mehr über die Vorteile bei Google.

Responsibilities

• Entwickeln und verbessern Sie die Designverifikationsframeworks, die in Lean geschrieben sind.
• Entwickeln Sie Rust-Verifikationsframeworks unter Verwendung von Lean, insbesondere im Hinblick auf Trennungslogik.
• Verwenden Sie diese Frameworks, um sicherheitskritischen Code bei Google formal zu verifizieren, um subtile und häufige Implementierungsschwächen zu beseitigen, und arbeiten Sie mit Bibliotheksbesitzern zusammen, um diesen Code in kritische Kryptographiebibliotheken und andere risikobehaftete Umgebungen zu integrieren.
• Engagieren Sie sich in laufenden externen Kooperationen, um die Ziele der formalen Verifikation bei Google voranzutreiben, und arbeiten Sie eng mit dem Lean FRO zusammen, um die benötigten Funktionen zu entwickeln und aktuelle Mängel zu beheben.
• Tragen Sie zur formalen Verifikation formaler Werkzeuge bei, wo dies angemessen ist, und arbeiten Sie mit Werkzeugpflegern zusammen, um den Stand der formalen Verifikationswerkzeuge für Googles Anwendungsfälle zu verbessern.

Google ist stolz darauf, ein Arbeitsplatz mit Chancengleichheit zu sein und ein Arbeitgeber für positive Maßnahmen. Wir setzen uns für Chancengleichheit bei der Beschäftigung unabhängig von Rasse, Hautfarbe, Abstammung, Religion, Geschlecht, nationaler Herkunft, sexueller Orientierung, Alter, Staatsbürgerschaft, Familienstand, Behinderung, Geschlechtsidentität oder Veteranenstatus ein. Wir berücksichtigen auch qualifizierte Bewerber unabhängig von strafrechtlichen Verläufen, im Einklang mit den gesetzlichen Anforderungen. Siehe auch die EEO-Richtlinie von Google und EEO ist das Gesetz. Wenn Sie eine Behinderung oder besondere Bedürfnisse haben, die eine Anpassung erfordern, lassen Sie es uns bitte wissen, indem Sie unser Formular für Anpassungen für Bewerber ausfüllen.