Software Engineer, Proof and Verification Engineer - Google Careers

info_outline

X

[Per i candidati negli Stati Uniti]

Nella maggior parte dei casi, questa posizione richiede colloqui in presenza come parte del processo di assunzione.

In conformità con le leggi dello stato di Washington, evidenziamo il nostro pacchetto completo di benefit, disponibile per tutti i dipendenti idonei con sede negli Stati Uniti. I benefit per questo ruolo includono:

• Assicurazione sanitaria, dentale, visiva, sulla vita e per invalidità
• Benefit pensionistici: 401(k) con contributo aziendale
• Congedi retribuiti: 20 giorni di vacanza all'anno, maturati a un tasso di 6.15 ore per periodo di paga per i primi cinque anni di impiego
• Permessi per malattia: 40 ore/anno (aumentate a 69 ore/anno per Seattle) inclusi 5 giorni di malattia discrezionali per evento
• Congedo di maternità (Invalidità a breve termine + Baby Bonding): 28-30 settimane
• Congedo Baby Bonding: 18 settimane
• Festività: 13 giorni pagati all'anno

Nota: Candidandosi per questa posizione, avrete l'opportunità di indicare la vostra preferenza di sede di lavoro tra le seguenti: Seattle, WA, USA; Zürich, Switzerland; Munich, Germany.

Qualifiche minime: ###

• Laurea triennale o esperienza pratica equivalente.
• 2 anni di esperienza nella creazione di software per la privacy o la sicurezza dei dati (ad es. gestione dell'identità e degli accessi).
• 2 anni di esperienza nello sviluppo di software in uno o più linguaggi di programmazione.
• Esperienza nella progettazione e nell'applicazione di tecnologie che preservano la privacy (ad es. differential privacy, federated learning) e framework (ad es. Privacy by Design).
• Esperienza con protocolli di sicurezza (ad es. crittografia, autenticazione, autorizzazione e sicurezza, autenticazione a più fattori, single sign-on, gestione dell'identità).
• Esperienza nell'ingegneria della sicurezza.

Qualifiche preferite: ###

• Laurea magistrale o PhD in Informatica o campi tecnici correlati.
• 4 anni di esperienza nello sviluppo di software.
• 2 anni di esperienza con strutture dati e algoritmi.
• 2 anni di esperienza nella verifica formale.
• Esperienza nello sviluppo di tecnologie accessibili.
• Esperienza nella progettazione e nell'applicazione di tecnologie che preservano la privacy (ad es. differential privacy, federated learning) e framework (ad es. Privacy by Design).

Informazioni sul lavoro ###

Gli ingegneri del software di Google sviluppano le tecnologie di prossima generazione che cambiano il modo in cui miliardi di utenti si connettono, esplorano e interagiscono con le informazioni e tra di loro. I nostri prodotti devono gestire le informazioni su scala massiccia ed estendersi ben oltre la ricerca web. Cerchiamo ingegneri che portino idee fresche da tutte le aree, tra cui il recupero delle informazioni, il calcolo distribuito, la progettazione di sistemi su larga scala, il networking e l'archiviazione dei dati, la sicurezza, l'intelligenza artificiale, l'elaborazione del linguaggio naturale, la progettazione UI e il mobile; la lista continua e cresce ogni giorno. Come software engineer, lavorerai su un progetto specifico fondamentale per le necessità di Google con opportunità di cambiare team e progetti man mano che tu e la nostra azienda in rapida evoluzione crescerete. Abbiamo bisogno che i nostri ingegneri siano versatili, dimostrino qualità di leadership e siano entusiasti di affrontare nuovi problemi in tutto lo stack mentre continuiamo a spingere la tecnologia in avanti.

In questo ruolo, avrai un forte background nei linguaggi di programmazione (PL) e nella verifica formale, per aiutare l'evoluzione dei nostri strumenti di verifica Rust e la loro applicazione a problemi del mondo reale nell'intero codice base di Google, e conoscenza di Lean, Rust e della sua semantica, e della concurrent separation logic.

La retribuzione individuale è determinata da fattori tra cui le competenze relative al lavoro, l'esperienza e l'istruzione o la formazione pertinente.

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

Scopri di più sui benefit in Google.

Responsabilità ###

• Evolvere i nostri strumenti di verifica Rust utilizzando un forte background nei linguaggi di programmazione (PL) e nella verifica formale.
• Applicare gli strumenti di verifica Rust a problemi del mondo reale in tutto il codice base di Google.
• Utilizzare la conoscenza di Lean, Rust e della sua semantica, e della concurrent separation logic per risolvere sfide di verifica complesse.
• Scrivere codice per lo sviluppo di prodotti o sistemi.
• Revisionare il codice sviluppato da altri sviluppatori e fornire feedback per garantire le migliori pratiche (ad es. linee guida di stile, controllo del codice, accuratezza, testabilità ed efficienza).