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: Seattle, Zürich oder München; großartige Karrierechancen in einem dynamischen Umfeld.
- 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.
Das prognostizierte Gehalt liegt zwischen 60000 - 80000 € pro Jahr.
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:
- 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 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 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.
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 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, gemäß den gesetzlichen Anforderungen.
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. Mit einem starken Fokus auf persönliche und berufliche Weiterentwicklung sowie der Möglichkeit, an bedeutenden Projekten zu arbeiten, fördert Google eine Kultur der Zusammenarbeit und des kreativen Denkens. Besonders in Städten wie Seattle profitieren Mitarbeiter von einer lebendigen Tech-Community und zahlreichen Freizeitmöglichkeiten.
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so Senior Software Engineer, Formal Verification Engineer erhalten könnten
✨Netzwerken, Netzwerken, Netzwerken!
Nutze Plattformen wie LinkedIn, um mit Leuten aus der Branche in Kontakt zu treten. Lass uns wissen, wenn du Fragen hast oder Hilfe beim Networking brauchst!
✨Bereite dich auf technische Interviews vor
Mach dich mit typischen Fragen und Aufgaben vertraut, die in technischen Interviews gestellt werden. Wir haben viele Ressourcen, die dir helfen können, deine Fähigkeiten zu verbessern!
✨Zeige deine Leidenschaft
Sei bereit, über deine Projekte und Erfahrungen zu sprechen. Zeige, dass du nicht nur die nötigen Fähigkeiten hast, sondern auch wirklich für das, was du tust, brennst!
✨Bewirb dich direkt über unsere Website
Wenn du an dieser Stelle interessiert bist, bewirb dich direkt über unsere Website. So kannst du sicherstellen, dass deine Bewerbung die richtige Aufmerksamkeit erhält!
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 🫡
Sei du selbst!:Wenn du deine Bewerbung schreibst, sei authentisch und zeig uns, wer du wirklich bist. Wir suchen nach Menschen, die ihre Persönlichkeit und Leidenschaft für Technologie in ihre Arbeit einbringen.
Betone deine Erfahrungen:Stell sicher, dass du deine relevanten Erfahrungen im Bereich Softwareentwicklung und formale Verifikation klar hervorhebst. Zeig uns, wie deine Fähigkeiten zu den Anforderungen der Stelle passen!
Mach es übersichtlich:Halte deine Bewerbung strukturiert und übersichtlich. Verwende klare Absätze und Aufzählungen, um wichtige Informationen schnell erfassbar zu machen. Wir lieben es, wenn wir auf einen Blick sehen können, was du zu bieten hast!
Bewirb dich über unsere Website:Vergiss nicht, dich direkt über unsere Website zu bewerben! So stellst du sicher, dass deine Bewerbung an die richtige Stelle gelangt und du alle notwendigen Informationen bereitstellst.
Wie man sich auf ein Vorstellungsgespräch bei Google vorbereitet
✨Verstehe die Anforderungen
Mach dich mit den spezifischen Anforderungen der Stelle vertraut. Lies die Jobbeschreibung gründlich durch und überlege, wie deine Erfahrungen in den Bereichen Softwareentwicklung und formale Verifikation dazu passen. Bereite konkrete Beispiele vor, die deine Fähigkeiten in diesen Bereichen demonstrieren.
✨Technisches Wissen auffrischen
Da es sich um eine technische Position handelt, solltest du dein Wissen über relevante Programmiersprachen und Technologien, insbesondere Rust und Lean, auffrischen. Sei bereit, technische Fragen zu beantworten oder sogar kleine Coding-Aufgaben während des Interviews zu lösen.
✨Fragen vorbereiten
Bereite einige durchdachte Fragen vor, die du dem Interviewer stellen kannst. Das zeigt dein Interesse an der Rolle und dem Unternehmen. Frage nach den aktuellen Projekten im Bereich formale Verifikation oder wie das Team zusammenarbeitet, um Sicherheitsanforderungen zu erfüllen.
✨Soft Skills betonen
Neben technischen Fähigkeiten sind auch Soft Skills wichtig. Betone deine Teamfähigkeit, Führungsqualitäten und deine Bereitschaft, neue Herausforderungen anzunehmen. Zeige, dass du nicht nur ein guter Entwickler bist, sondern auch gut ins Team passt und zur Unternehmenskultur beiträgst.
