20 beste Stellen als tooling engineer in zürich, zh – aktuell auf Personalsuche

Senior Software Engineer, Formal Verification Engineer
Google —Zürich, ZH
- CHF 174’000 - CHF 252’000 pro Jahr
- 100%
- Informatik
- Management-Erfahrung
- Doktorat
- Bezahlte Ferien
- Eltern-/Erziehungsurlaub
Senior Fullstack Software Engineer – Java & Angular (m/w/d), 80-100%
emineo AG —Baar, ZG
- Homeoffice
- Englisch
- Java
- Homeoffice-Möglichkeit
IT and Security Engineer
Flexion Robotics —Zürich, ZH
- 100%
- Management-Erfahrung
- AWS
- Erfahrung in der IT
Direkt bewerben
Senior Frontend Engineer - Angular
Dentsu —Zürich, ZH
- 100%
- Homeoffice
- Management-Erfahrung
- Englisch
- Mentoring
- Empfehlungsprogramm
OTC Trader
IMC —Zug, ZG
- Wochenendarbeit
- Datenanalyse
- Scripting
- Python
Sr. Packaging Innovation Manager
La Prairie Group —Zürich, ZH
- 100%
- Englisch
- Führungserfahrung
- Kommunikationsfähigkeit
- Empfehlungsprogramm
Technical Product Manager QVAC - 100% remote
Tether Operations Limited —Zürich, ZH
- Homeoffice
- Englisch
- C++
- Bachelor
Member of Technical Staff – AI Research Engineer (Image/Video Foundation Models)
GenPeach AI —Zürich, ZH
- 100%
- Python
Direkt bewerben
Product Manager - Developer Tools
Flexion Robotics —Zürich, ZH
- 100%
- C++
- Kommunikationsfähigkeit
Direkt bewerben
Senior Web / Software Developer – Atlassian Confluence & Microsoft SharePoint (80-100%)
Vontobel Holding AG —Zürich, ZH
- Englisch
- Bachelor
- JavaScript
Senior iOS Mobile Developer
Specialized —Cham, ZG
- 100%
- Mentoring
- Softwareentwicklung
- Kommunikationsfähigkeit
8 Tage
Senior Android (KMP) Mobile Developer
Specialized —Cham, ZG
- 100%
- Mentoring
- Softwareentwicklung
- Kommunikationsfähigkeit
1 Tag
Senior Azure Platform Engineer - AI & Data (f/m/d) 100%
Orderfox —Zürich, ZH
- 100%
- Python
- Eltern-/Erziehungsurlaub
Direkt bewerben
Risk Analytics - Atlas Axais
deCircle —Zürich, ZH
- 100%
- Homeoffice
- Microsoft Excel
- Management-Erfahrung
- SQL
Direkt bewerben
Account Executive - Splunk (Global Pharma)
Cisco Systems —Zürich, ZH
- 100%
- Management-Erfahrung
- Englisch
- Bachelor
1 Tag
Cloud & Network Security Service Owner (Engineer)
Avaloq —Zürich, ZH
- 100%
- Hybrides Arbeiten
- Oracle
- Englisch
- Kommunikationsfähigkeit
Direkt bewerben
Delivery Project Manager
Blockstream —Zürich, ZH
- 100%
- Management-Erfahrung
- PMP
- Englisch
Direkt bewerben
Senior Frontend Developer – Angular (m/w)
Coopérative de la Caisse des Médecins —Urdorf, ZH
- 100%
- Homeoffice
- Englisch
- Master
- Bachelor
Senior Frontend Developer – Angular (m/w)
Ärztekasse Genossenschaft —Urdorf, ZH
- 100%
- Homeoffice
- Englisch
- Master
- Bachelor
Lead Data Platform Architect - Institutional Clients Platform
Vontobel Holding AG —Zürich, ZH
- Management-Erfahrung
- Englisch
- SQL
4 Std.

Ich möchte aktuelle Job-E-Mails für Stellen als tooling engineer in zürich, zh erhalten

Wenn Sie sich bei Ihrem Konto anmelden, stimmen Sie den Nutzungsbedingungen, den Richtlinien zur Verwendung von Cookies sowie der Datenschutzerklärung von SimplyHired zu.

Weitere Job-Standorte erkunden

tooling engineer jobs near zürich, zh

Jobs als Account Executive in Zürich, ZH

Jobs als Senior Engineer in Zürich, ZH

Jobs als Technical Product Manager in Zürich, ZH

Jobs als Innovation Manager in Zürich, ZH

Jobs als Delivery Manager in Zürich, ZH

Jobs als Trader in Zug, ZG

Jobs als Lead Data Architect in Zürich, ZH

Jobs als Platform Engineer in Zürich, ZH

Jobs als Product Manager in Zürich, ZH

Jobs als Senior Software Engineer in Zürich, ZH

Jobs als Research Engineer in Zürich, ZH

Jobs als Java Developer in Geneva, Ge

Jobs als Java in Kanton Zug

Jobs als Java Softwareentwickler in Uster, Zh

Jobs als Architecture Java in Genf, Ge

Jobs als Account Manager in Kanton Neuenburg

Jobs als Account Executive in Genf, Ge

Jobs als Account Manager in Frauenfeld, Tg

Jobs als Network Security Engineer in Basel, Bs

Jobs als Network Security Engineer in Genève, Ge

Senior Software Engineer, Formal Verification Engineer

Google -
Zürich, ZH

Jetzt bewerben

Details zur Stelle

100% | Pensum: 90-100%
CHF 174’000 - CHF 252’000 pro Jahr

Leistungen

Bezahlte Ferien
Eltern-/Erziehungsurlaub
Unterkunft

Qualifikationen

Informatik
Management-Erfahrung
Doktorat
Master
Bachelor
Softwareentwicklung
Führungserfahrung

Vollständige Stellenbeschreibung

In accordance with Washington state law, we are highlighting our comprehensive benefits package, which is available to all eligible US based employees. Benefits for this role include:

Health, dental, vision, life, disability insurance
Retirement Benefits: 401(k) with company match
Paid Time Off: 20 days of vacation per year, accruing at a rate of 6.15 hours per pay period for the first five years of employment
Sick Time: 40 hours/year (increased to 69 hours/year for Seattle) including 5 discretionary sick days per instance
Maternity Leave (Short-Term Disability + Baby Bonding): 28-30 weeks
Baby Bonding Leave: 18 weeks
Holidays: 13 paid days per year

Note: By applying to this position you will have an opportunity to share your preferred working location from the following: Seattle, WA, USA; Zürich, Switzerland; Munich, Germany.

Minimum qualifications:

Bachelor’s degree or equivalent practical experience.
5 years of experience with software development in one or more programming languages.
4 years of experience working in the area of formal verification, in the area of cryptography, or another security-related domain.
3 years of experience building software for data privacy or security (e.g., identity and access management).
3 years of experience testing, maintaining, or launching software products.

Preferred qualifications:

Master's degree or PhD in Computer Science or related technical field.
5 years of experience with data structures and algorithms.
1 year of experience in a technical leadership role.
Experience developing accessible technologies.

About the job

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.

ISE Formal is dedicated to building formally verified security-critical software and systems for Google. The team’s mission is to help everyone at Alphabet, and on the Internet, to use verified software. We are a distributed, dynamic team; our areas of focus are Rust and x64 ASM verification, with applications to cryptography, systems-level Rust code, and more.

For United States:

The US base salary range for this full-time position is $174,000-$252,000 + bonus + equity + benefits. Our salary ranges are determined by role, level, and location. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific salary range for your preferred location during the hiring process.

Please note that the compensation details listed in US role postings reflect the base salary only, and do not include bonus, equity, or benefits. Learn more about benefits at Google.

Responsibilities

Evolve and improve the design verification frameworks written in Lean.
Evolve Rust verification frameworks using Lean, notably around separation logic.
Use these frameworks to formally verify security-critical code at Google to eliminate subtle and common implementation vulnerabilities, working with library owners to land this code in critical cryptography libraries and other high-stakes environments.
Engage in ongoing external collaborations to progress formal verification goals at Google, and work closely with the Lean FRO to develop features we need and improve current shortcomings.

Google is proud to be an equal opportunity workplace and is an affirmative action employer. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity or Veteran status. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. See also Google's EEO Policy and EEO is the Law. If you have a disability or special need that requires accommodation, please let us know by completing our Accommodations for Applicants form.

Jetzt bewerben

Erweiterte Suche

tooling engineer Jobs in zürich, zh

Senior Software Engineer, Formal Verification Engineer

Senior Fullstack Software Engineer – Java & Angular (m/w/d), 80-100%

IT and Security Engineer

Senior Frontend Engineer - Angular

OTC Trader

Sr. Packaging Innovation Manager

Technical Product Manager QVAC - 100% remote

Member of Technical Staff – AI Research Engineer (Image/Video Foundation Models)

Product Manager - Developer Tools

Senior Web / Software Developer – Atlassian Confluence & Microsoft SharePoint (80-100%)

Senior iOS Mobile Developer

Senior Android (KMP) Mobile Developer

Senior Azure Platform Engineer - AI & Data (f/m/d) 100%

Risk Analytics - Atlas Axais

Account Executive - Splunk (Global Pharma)

Cloud & Network Security Service Owner (Engineer)

Delivery Project Manager

Senior Frontend Developer – Angular (m/w)

Senior Frontend Developer – Angular (m/w)

Lead Data Platform Architect - Institutional Clients Platform

Ich möchte aktuelle Job-E-Mails für Stellen als tooling engineer in zürich, zh erhalten

Related Searches

Weitere Job-Standorte erkunden

Minimum qualifications:

Preferred qualifications:

About the job

Responsibilities

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt