1 day ago
Munich, Germany +2 moreMid Level
H1B sponsor
Base Salary
$147k - $210k/yr
Responsibilities
- Evolve Rust verification tools using programming languages and formal verification expertise.
- Apply Rust verification tools to real-world problems across Google’s codebase.
- Use Lean, Rust semantics, and concurrent separation logic to solve complex verification challenges.
- Write product or system development code.
- Review code from other developers and provide feedback on style, accuracy, testability, efficiency, and best practices.
Requirements
- Bachelor’s degree or equivalent practical experience.
- At least 2 years of experience building software for data privacy or security, such as identity and access management.
- At least 2 years of software development experience in one or more programming languages.
- Experience designing and applying privacy-preserving technologies and frameworks such as differential privacy, federated learning, and Privacy by Design.
- Experience with security protocols and technologies including cryptography, authentication, authorization, multifactor authentication, single sign-on, and identity management.
- Experience in security engineering.
- Preferred qualifications include a master’s degree or PhD in computer science or a related technical field.
- Preferred qualifications include 4 years of software development experience, 2 years with data structures and algorithms, and 2 years in formal verification.
- Experience developing accessible technologies is preferred.
Benefits
- Germany compensation is €106000–€108000 EUR plus a 15% bonus target, equity, and benefits.
- US compensation is $147000–$210000 USD plus a 15% bonus target, equity, and benefits.
- Google provides additional employee benefits; the posting does not specify a work arrangement.
About Google
Google builds consumer and enterprise software and services including Search, Android, YouTube, Chrome, Maps, Gmail, and Google Cloud. Its business model centers on digital advertising and paid cloud, software, and hardware offerings (e.g., Pixel and Nest) for consumers, developers, and organizations. Founded in 1998 and headquartered in Mountain View, California, Google operates globally as a subsidiary of Alphabet Inc.