Google is seeking a Software Engineer, Proof and Verification Engineer to advance Rust verification tools and formal methods for large-scale systems. The role emphasizes privacy-preserving tech, cryptographic security, and robust verification across Google’s codebase.You will work on using Lean, Rust, and concurrent separation logic to address complex verification challenges, write production-grade code, and help ensure high standards through code reviews and collaboration across teams.
Rust Verification Engineer, Formal Methods & Privacy Arbeitgeber: Google LLC
Google in Hamburg bietet eine herausragende Arbeitsumgebung für Rechtsreferendare, die sich für die Herausforderungen des digitalen Zeitalters interessieren. Mit einem innovativen Ansatz zur Lösung rechtlicher Fragestellungen und einer Kultur, die Vielfalt und Inklusion fördert, haben Mitarbeiter die Möglichkeit, in einem dynamischen Team zu wachsen und wertvolle Erfahrungen zu sammeln. Die Kombination aus flexibler Arbeitsweise, spannenden Projekten und der Unterstützung durch erfahrene Juristen macht Google zu einem attraktiven Arbeitgeber für angehende Juristen.
