Google développe des services de recherche, de publicité, de cloud et d'intelligence artificielle, ainsi que des logiciels et des appareils numériques.
Software Engineer, Proof and Verification Engineer
L’ingénieur logiciel contribuera à l’évolution des outils de vérification Rust de Google et à leur application dans sa base de code. Il écrira et relira du code, en s’appuyant notamment sur Lean, Rust et la logique de séparation concurrente.
Détails de l’offre
La description complète publiée par Google.
Minimum qualifications:
- Bachelor’s degree or equivalent practical experience.
- 2 years of experience building software for data privacy or security (e.g., identity and access management).
- 2 years of experience with software development in one or more programming languages.
- Experience designing and applying privacy-preserving technologies (e.g., differential privacy, federated learning) and frameworks (e.g., Privacy by
- Design).
- Experience with security protocols (e.g., cryptography, authentication, authorization and security, multi-factor authentication, single sign-on, identity management).
- Experience in security engineering. Preferred qualifications:
- Master's degree or PhD in Computer Science or related technical fields.
- 4 years of experience in software development.
- 2 years of experience with data structures and algorithms.
- 2 years of experience in formal verification.
- Experience developing accessible technologies.
- Experience in designing and applying privacy-preserving technologies (e.g., differential privacy, federated learning) and frameworks (e.g., Privacy by
- Design). Google's software engineers develop the next-generation technologies that change how billions of users connect, explore, and interact with information and one another. Our products need to handle information at massive scale, and extend well beyond web search. We're looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. As a software engineer, you will work on a specific project critical to Google’s needs with opportunities to switch teams and projects as you and our fast-paced business grow and evolve. We need our engineers to be versatile, display leadership qualities and be enthusiastic to take on new problems across the full-stack as we continue to push technology forward. In this role, you will have a strong programming languages (PL) and formal verification background, to help with the evolution of our Rust verification tools, and their application to real-world problems across Google’s code base, and knowledge of Lean, Rust and its semantics, and concurrent separation logic. Individual pay is determined by factors including job-related skills, experience, and relevant education or training. Germany: €106000
- €108000 (EUR) + 15% bonus target + equity + benefits US: $147000
- $210000 (USD) + 15% bonus target + equity + benefits Learn more about benefits at Google .
- Evolve our Rust verification tools using a strong programming languages (PL) and formal verification background.
- Apply Rust verification tools to real-world problems across Google’s code base.
- Use knowledge of Lean, Rust and its semantics, and concurrent separation logic to solve complex verification challenges.
- Write product or system development code.
- Review code developed by other developers and provide feedback to ensure best practices (e.g., style guidelines, checking code in, accuracy, testability, and efficiency).
Avantages mentionnés
- bonus cible de 15 %
- equity
Candidater à cette offre
Comment candidater ?
L’offre est publiée sur le site de Google. Ouvrez l’offre originale ↗ pour y déposer votre candidature. Screeningpass ne remplit pas de formulaire à votre place.
À qui écrire chez Google pour ce poste ?
Lancez une recherche de contact depuis cette page. Screeningpass vous propose jusqu’à trois personnes liées au poste. Vous choisissez celle à qui écrire, puis Screeningpass cherche son e-mail professionnel et prépare un message. Vous le relisez et l’envoyez vous-même avec Gmail. Une adresse e-mail n’est pas toujours disponible, et une réponse n’est jamais garantie.
Combien coûte la recherche d’un contact ?
Une recherche coûte 1 crédit. Le crédit vous est rendu si la recherche échoue. L’inscription offre 3 crédits, soit 3 recherches.
À quoi sert Screeningpass ?
Screeningpass rassemble des offres de stage, d’alternance et d’emploi publiées par les entreprises. Pour une offre, Screeningpass trouve une personne à contacter dans l’entreprise, cherche son e-mail professionnel et prépare un message à partir de votre CV. Voir le fonctionnement en détail.
D’autres offres chez Google
270 autres offres actuellement disponibles.
L’Information Security Engineer intervient au sein de l’équipe Sécurité de Google à Zürich. Il évalue les vulnérabilités microarchitecturales, coordonne leur correction et contribue à renforcer les environnements CPU, GPU et TPU confidentiels. Le poste comprend aussi la recherche de mesures de protection durables et la conception d’applications résilientes aux menaces matérielles, en collaboration avec des équipes internes, des fournisseurs et des instituts de recherche.
Vous concevrez et déploierez des modèles et solutions de machine learning pour protéger l’écosystème YouTube et aider les créateurs. Le poste comprend l’intégration de classifieurs, l’analyse des abus et la mise en place de pipelines de données avec des équipes pluridisciplinaires. Google demande au minimum cinq ans d’expérience en développement logiciel, ainsi qu’une expérience en C++, Python, SQL et machine learning.
Au sein de l’équipe SRE de YouTube ML, vous améliorez le cycle de vie de services distribués, de la conception à l’exploitation. Vous surveillez leur disponibilité et leur performance, automatisez leur mise à l’échelle et contribuez à la réponse aux incidents. Le poste demande 5 ans d’expérience en développement logiciel, 3 ans sur des systèmes distribués à grande échelle et 2 ans de leadership technique.
Le Technical Program Manager pilote des programmes d’ingénierie logicielle pour les infrastructures Health et Home de Google. Il coordonne des projets transverses, suit les risques et les échéances, et communique l’avancement aux équipes et à la direction. Le poste demande cinq ans d’expérience en gestion de programmes techniques et un diplôme d’ingénieur ou une expérience pratique équivalente.
Au sein de l’équipe Security de Google, l’ingénieur mène des recherches sur les vulnérabilités et développe des exploits pour iOS, macOS et XNU. Il crée des outils pour soutenir les recherches, traite des vulnérabilités signalées et publie ses résultats. Le poste requiert notamment huit ans d’expérience en ingénierie de la sécurité et une expérience de la plateforme iOS.
Au sein de la Red Team de Google, l’ingénieur conçoit des outils offensifs et des systèmes de red team assistés par l’IA, puis mène des exercices contre les systèmes de l’entreprise. Il transforme des chaînes d’attaque en outils réutilisables et collabore avec les équipes de défense pour tester la détection et améliorer la sécurité. Le poste est basé à Zürich et requiert au moins deux ans d’expérience dans plusieurs domaines de la sécurité et du développement logiciel.