Software Engineer, Proof and Verification Engineer - Google Careers

info_outline

X

[Pour les candidats aux US]

Dans la plupart des cas, ce poste nécessite des entretiens en personne dans le cadre du processus d'embauche.

Conformément à la loi de l'État de Washington, nous mettons en avant notre ensemble complet d'avantages sociaux, disponible pour tous les employés éligibles basés aux US. Les avantages pour ce rôle incluent :

• Assurance santé, dentaire, vision, vie et invalidité
• Avantages de retraite : 401(k) avec abondement de l'entreprise
• Congés payés : 20 jours de vacances par an, s'accumulant à un taux de 6.15 heures par période de paie pendant les cinq premières années d'emploi
• Temps de maladie : 40 heures/an (augmenté à 69 heures/an pour Seattle) incluant 5 jours de maladie discrétionnaires par instance
• Congé maternité (Invalidité de courte durée + Baby Bonding) : 28-30 semaines
• Congé Baby Bonding : 18 semaines
• Jours fériés : 13 jours payés par an

Note : En postulant à ce poste, vous aurez l'opportunité de partager votre lieu de travail préféré parmi les suivants : Seattle, WA, USA ; Zürich, Switzerland ; Munich, Germany.

Qualifications minimales : ###

• Licence ou expérience pratique équivalente.
• 2 ans d'expérience dans la création de logiciels pour la confidentialité ou la sécurité des données (par exemple, la gestion des identités et des accès).
• 2 ans d'expérience en développement de logiciels dans un ou plusieurs langages de programmation.
• Expérience dans la conception et l'application de technologies préservant la confidentialité (par exemple, la confidentialité différentielle, l'apprentissage fédéré) et de cadres (par exemple, Privacy by Design).
• Expérience avec les protocoles de sécurité (par exemple, la cryptographie, l'authentification, l'autorisation et la sécurité, l'authentification multi-facteurs, l'authentification unique, la gestion des identités).
• Expérience en ingénierie de la sécurité.

Qualifications préférentielles : ###

• Master ou doctorat en informatique ou dans des domaines techniques connexes.
• 4 ans d'expérience en développement de logiciels.
• 2 ans d'expérience avec les structures de données et les algorithmes.
• 2 ans d'expérience en vérification formelle.
• Expérience dans le développement de technologies accessibles.
• Expérience dans la conception et l'application de technologies préservant la confidentialité (par exemple, la confidentialité différentielle, l'apprentissage fédéré) et de cadres (par exemple, Privacy by Design).

À propos du poste ###

Les ingénieurs logiciels de Google développent les technologies de prochaine génération qui changent la façon dont des milliards d'utilisateurs se connectent, explorent et interagissent avec l'information et les uns avec les autres. Nos produits doivent gérer l'information à une échelle massive et s'étendre bien au-delà de la recherche Web. Nous recherchons des ingénieurs qui apportent des idées fraîches de tous les domaines, y compris la recherche d'information, le calcul distribué, la conception de systèmes à grande échelle, les réseaux et le stockage de données, la sécurité, l'intelligence artificielle, le traitement du langage naturel, la conception d'UI et le mobile ; la liste est longue et s'allonge chaque jour. En tant qu'ingénieur logiciel, vous travaillerez sur un projet spécifique critique pour les besoins de Google avec des opportunités de changer d'équipe et de projet à mesure que vous et notre entreprise à rythme soutenu grandissez et évoluez. Nous avons besoin que nos ingénieurs soient polyvalents, fassent preuve de qualités de leadership et soient enthousiastes à l'idée de relever de nouveaux défis sur l'ensemble de la pile (full-stack) alors que nous continuons à faire progresser la technologie.

Dans ce rôle, vous aurez une solide expérience en langages de programmation (PL) et en vérification formelle, pour aider à l'évolution de nos outils de vérification Rust, et leur application à des problèmes réels à travers la base de code de Google, ainsi que des connaissances de Lean, Rust et sa sémantique, et de la logique de séparation concurrente.

La rémunération individuelle est déterminée par des facteurs incluant les compétences liées au poste, l'expérience et l'éducation ou la formation pertinente.

Germany: -106000 - -108000 (EUR) + 15% bonus target + equity + benefits
US: $147000 - $210000 (USD) + 15% bonus target + equity + benefits

En savoir plus sur les avantages chez Google.

Responsabilités ###

• Faire évoluer nos outils de vérification Rust en utilisant une solide expérience en langages de programmation (PL) et en vérification formelle.
• Appliquer les outils de vérification Rust à des problèmes réels à travers la base de code de Google.
• Utiliser les connaissances de Lean, Rust et sa sémantique, et de la logique de séparation concurrente pour résoudre des défis de vérification complexes.
• Écrire du code de développement de produit ou de système.
• Réviser le code développé par d'autres développeurs et fournir des commentaires pour assurer les meilleures pratiques (par exemple, les directives de style, la validation du code, la précision, la testabilité et l'efficacité).