Auf einen Blick
- Aufgaben: Entwickle und verbessere Sicherheitssoftware mit modernsten Technologien und arbeite an kritischen Projekten.
- Unternehmen: Google, ein innovatives Unternehmen mit einer dynamischen und kollaborativen Kultur.
- Vorteile: Umfassende Gesundheitsleistungen, 401(k) mit Unternehmensbeitrag, 20 Tage Urlaub pro Jahr.
- Weitere Informationen: Flexible Arbeitsorte in Seattle, Zürich oder München mit hervorragenden Karrierechancen.
- Warum dieser Job: Gestalte die Zukunft der Technologie und mache einen echten Unterschied in der Software-Sicherheit.
- Qualifikationen: Bachelor-Abschluss und 5 Jahre Erfahrung in der Softwareentwicklung, insbesondere in der formalen Verifikation.
Benefits für diese Rolle:
- 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
- Krankheitszeit: 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
Mindestens erforderliche Qualifikationen:
- 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, 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
Bevorzugte Qualifikationen:
- 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
Ü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 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 unsere Ingenieure, um vielseitig zu sein, Führungsqualitäten zu zeigen und begeistert neue Probleme im gesamten Stack anzugehen, während wir weiterhin die Technologie vorantreiben.
ISE Formal ist darauf spezialisiert, formell 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 USD + 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 keinen Bonus, Eigenkapital oder Leistungen enthalten. Erfahren Sie mehr über die Vorteile bei Google.
Verantwortlichkeiten:
- Entwicklung und Verbesserung der Designverifikationsrahmen, die in Lean geschrieben sind
- Entwicklung von Rust-Verifikationsrahmen unter Verwendung von Lean, insbesondere im Hinblick auf Trennungslogik
- Verwendung dieser Rahmen, um sicherheitskritischen Code bei Google formell zu verifizieren, um subtile und häufige Implementierungsschwächen zu beseitigen, und mit Bibliotheksbesitzern zusammenzuarbeiten, um diesen Code in kritische Kryptographiebibliotheken und andere hochriskante Umgebungen zu integrieren
- Engagement in laufenden externen Kooperationen zur Förderung der Ziele der formalen Verifikation bei Google und enge Zusammenarbeit mit dem Lean FRO zur Entwicklung benötigter Funktionen und Verbesserung aktueller Mängel
- Beitrag zu formalen Verifikationswerkzeugen, wo dies angemessen ist, und Zusammenarbeit mit Werkzeugpflegern zur Verbesserung des Zustands der formalen Verifikationswerkzeuge für die Anwendungsfälle von Google
Google ist stolz darauf, ein Arbeitsplatz mit Chancengleichheit zu sein und ein Arbeitgeber für positive Maßnahmen. Wir setzen uns für Chancengleichheit ein, unabhängig von Rasse, Hautfarbe, Abstammung, Religion, Geschlecht, nationaler Herkunft, sexueller Orientierung, Alter, Staatsbürgerschaft, Familienstand, Behinderung, Geschlechtsidentität oder Veteranenstatus. 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.
Senior Software Engineer, Formal Verification Engineer Arbeitgeber: Google
Google ist ein hervorragender Arbeitgeber, der seinen Mitarbeitern nicht nur ein wettbewerbsfähiges Gehalt und umfassende Sozialleistungen bietet, sondern auch eine dynamische und innovative Arbeitsumgebung schafft. In Städten wie Seattle haben Mitarbeiter die Möglichkeit, an bedeutenden Projekten zu arbeiten, die die Zukunft der Technologie gestalten, während sie gleichzeitig von einem unterstützenden Team profitieren, das Wert auf persönliche und berufliche Weiterentwicklung legt. Mit großzügigen Urlaubs- und Elternzeitregelungen sowie einem klaren Fokus auf Diversität und Inklusion ist Google der ideale Ort für talentierte Software-Ingenieure, die ihre Karriere vorantreiben möchten.
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so Senior Software Engineer, Formal Verification Engineer erhalten könnten
✨Engagier dich in Entwickler-Communities!
Lass uns mal ehrlich sein: In der Software-Entwicklung sind Netzwerke Gold wert! Tummel dich in GitHub-Projekten, nehme an lokalen Meetups oder Hackathons teil und vernetze dich mit anderen Entwicklern. So steigerst du nicht nur deine Sichtbarkeit, sondern lernst auch die neuesten Trends und Technologien kennen.
✨Zeig deine Fähigkeiten!
Erstelle ein Portfolio, das deine besten Projekte und Code-Examples zeigt. Nichts überzeugt mehr als ein praktischer Beweis deiner Skills. Das kann auch helfen, bei Google anzuklopfen, wenn du dich auf die Stelle als Senior Software Engineer, Formal Verification Engineer bewirbst – so wissen sie gleich, was sie von dir erwarten können!
✨Nutze Jobplattformen speziell für Tech-Jobs!
Plattformen wie Stack Overflow Jobs oder AngelsList sind perfekte Orte, um Vollzeitstellen in der Software-Entwicklung zu finden. Hier sind viele tolle Unternehmen auf der Suche nach Talenten wie uns, also schau regelmäßig vorbei und bewirb dich direkt über die Website.
✨Such dir Mentoren und Feedback!
Hol dir Feedback von erfahrenen Entwicklern, die dir Tipps geben können, was Recruiter wirklich suchen. Ob über LinkedIn oder persönliche Kontakte: Menschen, die sich in der Branche auskennen, können enorm wertvoll sein, um dir zu helfen, dich optimal auf deine Bewerbung bei Google vorzubereiten!
Wir glauben, dass du diese Fähigkeiten brauchst, um Senior Software Engineer, Formal Verification Engineer mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Highlights deiner Coding-Skills:In der Software-Entwicklung kommt es auf konkrete Fähigkeiten an. Vergiss nicht, relevante Programmiersprachen und Frameworks in deinen Lebenslauf aufzunehmen. Zeig uns, was du kannst – vielleicht mit einem Link zu deinem GitHub-Profil oder einer Übersicht deiner Side Projects, die deine Programmierkenntnisse illustrieren.
Dokumentation deiner Erfolge:Gerade bei einer Vollzeitstelle in der Software-Entwicklung sind konkrete Ergebnisse Gold wert. Nenn uns Zahlen und Ergebnisse aus deinen vorherigen Projekten. Hast du den Code optimiert oder Systemfehler behoben? Solche Erfolge zeigen, dass du die Sprache der Entwickler sprichst und einen echten Mehrwert bringst.
Attraktive Projektbeschreibungen:Wenn du an Projekten gearbeitet hast, die hervorstechen, beschreibe sie ausführlich in deinem Lebenslauf. Was war das Problem, das du gelöst hast? Welche Technologien hast du eingesetzt? Das gibt uns einen klaren Einblick in deine Herangehensweise und Problemlösungsfähigkeiten.
Motivation zeigen:In deinem Anschreiben solltest du deine Motivation für die Stelle im Bereich Software-Entwicklung bei Google klar herausstellen. Warum sprichst gerade du die Anforderungen für diese Vollzeitrolle an? Mach deutlich, was dich an der Arbeit bei uns reizt und wie du über das rein Technische hinaus wachsen möchtest.
Wie man sich auf ein Vorstellungsgespräch bei Google vorbereitet
✨Technische Vorbereitung auf die Coding-Challenges
In der Software-Entwicklung sind technische Fragen oft ein zentraler Teil des Interviews. Macht euch mit Plattformen wie LeetCode oder HackerRank vertraut, um eure Problemlösungsfähigkeiten zu trainieren. Zeigt im Interview viel Selbstbewusstsein beim Erklären eurer Ansätze!
✨Das eigene Portfolio im besten Licht präsentieren
Stellt sicher, dass ihr ein aussagekräftiges Portfolio habt, das einige eurer besten Projekte zeigt. Seid bereit, darüber zu sprechen, was eure Rolle war, welche Technologien ihr verwendet habt und welche Herausforderungen es gab. Das gibt den Interviewern einen Einblick in eure praktische Erfahrung.
✨Teamfähigkeit und Kommunikation betonen
In einer Vollzeit-Position wird Kommunikation im Team sehr wichtig sein. Seid bereit, Beispiele aus der Vergangenheit zu teilen, in denen ihr effektiv im Team gearbeitet habt. Dies zeigt, dass ihr nicht nur technische Fähigkeiten habt, sondern auch gut ins Team passt.
✨Vorbereitung auf Fragen zur Software-Architektur
Bereitet euch darauf vor, Fragen zur Software-Architektur zu beantworten. Themen wie RESTful APIs, Microservices und Cloud-Architekturen können Teil eures Interviews sein. Zeigt euer Verständnis durch Diskussionen und Beispiele aus eurer bisherigen Arbeit oder Projekte.
