Software Ingegnere, Proof and Verification Ingegnere — Google Switzerland

Descrizione completa

[Per i candidati americani]

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

In conformità con la legge di stato di Washington, stiamo evidenziando il nostro pacchetto completo benefici, che è disponibile per tutti i dipendenti americani idonei. I vantaggi di questo ruolo includono: Salute, dentale, visione, vita, assicurazione invalidità Vantaggi del pensionamento: 401(k) con la partita aziendale Tempo pagato: 20 giorni di vacanza all'anno, maturando ad un tasso di 6,15 ore per periodo di paga per i primi cinque anni di occupazione Tempo di malata: 40 ore/anno (aumento a 69 ore/anno per Seattle) inclusi 5 giorni di malattia discrezionali per esempio congedo di maternità (disabilità breve termine + legame del bambino): 28-30 settimane Baby Bonding Lasciare: 18 settimane Vacanze: 13 giorni pagati all'anno Nota: Applicando a questa posizione avrai l'opportunità di condividere la tua posizione di lavoro preferita da quanto segue: Seattle, WA, USA; Zurigo, Svizzera

• Monaco di Baviera, Germania.

Titolo minimo

• Corso di laurea o esperienza pratica equivalente.
• 2 anni di software per la costruzione di esperienze per la privacy o la sicurezza dei dati (ad esempio, l'identità e la gestione degli accessi).
• 2 anni di esperienza con lo sviluppo del software in uno o più linguaggi di programmazione.
• Esperienza nella progettazione e nell'applicazione di tecnologie di conservazione della privacy (ad esempio, privacy differenziale, apprendimento federato) e framework (ad esempio, Privacy by Design).
• Esperienza con i protocolli di sicurezza (ad esempio, crittografia, autenticazione, autorizzazione e sicurezza, autenticazione multi-fattore, single sign-on, gestione dell'identità).
• Esperienza nell'ingegneria della sicurezza.

Qualifiche preferenziali

• Laurea magistrale o dottorato in Informatica o campi tecnici correlati.
• 4 anni di esperienza nello sviluppo del 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 applicazione di tecnologie di conservazione della privacy (ad esempio, privacy differenziale, apprendimento federato) e framework (ad esempio, Privacy by Design).

Riguardo al lavoro Gli ingegneri software di Google sviluppano le tecnologie di nuova generazione che cambiano come miliardi di utenti si connettono, esplorano e interagiscono con le informazioni e l'un l'altro. I nostri prodotti hanno bisogno di gestire le informazioni su vasta scala, e estendere ben oltre la ricerca web. Siamo alla ricerca di ingegneri che portano idee fresche da tutte le aree, tra cui il recupero di informazioni, il calcolo distribuito, la progettazione di sistemi su larga scala, la rete e l'archiviazione di dati, la sicurezza, l'intelligenza artificiale, l'elaborazione del linguaggio naturale, il design dell'interfaccia utente e il mobile; la lista va avanti e sta crescendo ogni giorno. Come ingegnere del software, lavorerai su un progetto specifico critico per le esigenze di Google con le opportunità di cambiare team e progetti mentre tu e il nostro business veloce crescere ed evolvere. Abbiamo bisogno che i nostri ingegneri siano versatili, esibiscano qualità di leadership e siano entusiasti di affrontare nuovi problemi in tutto il mondo, mentre continuiamo a spingere avanti la tecnologia.

In questo ruolo, si avrà un forte linguaggio di programmazione (PL) e background di verifica formale, per aiutare con l'evoluzione dei nostri strumenti di verifica Rust, e la loro applicazione a problemi del mondo reale attraverso la base di codice di Google, e la conoscenza di Lean, Rust e la sua semantica, e la logica di separazione concomitante.

La retribuzione individuale è determinata da fattori, tra cui competenze, esperienze, istruzione o formazione rilevanti.

Germania: €106000 - €108000 (EUR) + 15% target bonus + equità + prestazioni US: $147000 - $210000 (USD) + 15% target bonus + equity + benefici

Scopri di più sui vantaggi di Google .

responsabilità

• Coinvolgere i nostri strumenti di verifica Rust utilizzando un forte linguaggio di programmazione (PL) e sfondo di verifica formale.
• Applicare strumenti di verifica ruggine a problemi reali attraverso la base di codice di Google.
• Utilizzare la conoscenza di Lean, Rust e la sua semantica, e la logica di separazione concomitante per risolvere complesse sfide di verifica.
• Scrivere il codice di sviluppo del prodotto o del sistema.
• Codice di revisione sviluppato da altri sviluppatori e fornire feedback per garantire le migliori pratiche (ad esempio, linee guida di stile, controllo del codice, accuratezza, testabilità e efficienza).

Requisiti

• 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.

Domande frequenti su questo annuncio