Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Senior Process Engineer
Inabia Software & Consulting Inc.
Sterling, VA
We are seeking a Senior Process Engineer to provide strategic and hands-on engineering leadership across engineering, maintenance, reliability, automation, utilities, facilities, and…
Added just now
Quality Engineer III
Carestream Health
Rochester, NY
Carestream Health is looking for a Manufacturing Quality Engineer to support our manufacturing operations at 1049 West Ridge Road. This position will develop, implement, and improve quality…
Added just now
Engineer II
MB Redevelopment, LLC
FL
A skilled and dependable Engineer II who will bring technical expertise and a commitment to excellence to our property operations. In this hands-on role, you’ll perform skilled trade work…
Added just now
S
Systems Engineer, Architecture
Shield
New York City, NY
- $165,000 to $190,000 USD / year
The Systems Engineer, Architecture owns the long-term design of Shield's internal technology environment. Where day-to-day operations keep systems running, this role decides what those…
Added just now
W
DevOps Engineer - Level 4/5
Wyetech
Columbia, MD
- $90.8 to $132.41 USD / hour
Wyetech is seeking a DevOps Engineer Level 5 – Team Lead to provide technical leadership and direction for a team responsible for delivering a reliable, highly available platform that…
Added just now
W
Agile Developer - Level 3
Wyetech
Columbia, MD
- $86.14 to $116.65 USD / hour
Wyetech is seeking a System Automation Software Engineer to support the modernization of a legacy operational system using a microservices-based architecture and cutting-edge technologies.
Added just now
W
Agile Developer - Level 3
Wyetech
Columbia, MD
- $86.14 to $116.65 USD / hour
Wyetech is seeking a Software Engineer – Test Automation.
Added 1 min ago
Senior Data Engineer
CVS Shared Services Resources LLC
Hartford, CT
We are seeking a highly skilled Senior Data Engineer – GCP to lead the design, development, modernization, and support of the Stop Loss Reporting Platform. This role will be responsible for…
Added 1 min ago
Geotechnical Engineer-in-Training
RRC Power and Energy
Round Rock, TX
RRC is seeking a talented Geotechnical Staff Engineer to help us build the future of U.S. energy production from our Austin/Round Rock Texas office. RRC is a multi-disciplinary engineering…
Added 1 min ago
Software Engineer II
Pearson
Boston, MA
Added 1 min ago
MB
Reliability Engineer
Massachusetts Bay Transportation Authority
Boston, MA
- $100,006.4 to $142,875.2 USD / year
In line with 49 CFR 625, 630, and 673 requirements, the Reliability Engineer will assist in the Reliability and Asset Management program to monitor and manage public transportation capital…
Added 2 mins ago
Project Manager- Solar EPC
SunEnergy1
Tuckerman, AR
Manage direct reports and oversee a team which includes a Project Engineer, Construction Management, and their direct reports, while applying our Principle Based Management Philosophy to…
Added 2 mins ago
Senior Structural Engineer - Bridges and Transportation
AMT Engineering
Charleston, SC
A. Morton Thomas and Associates, Inc. (AMT) is Growing! We are seeking a Senior Structural Engineer - Bridges and Transportation with 15+ years of relevant experience in analysis and design…
Added 2 mins ago
Field Engineer I
Doble
Marlborough, MA
The Field Engineer will support field testing, data collection, analysis and report elaboration for the Field Services Group. Duties will also involve direct interaction with clients and…
Added 2 mins ago
Senior Field Engineer
Doble
Marlborough, MA
Must have effective verbal and written communication skills, as well as good presentation skills
Added 2 mins ago
MS
Director, Lead Software Engineer
MS Services Group, Inc.
Alpharetta, GA
- $158,500 USD / year
Telecommuting permitted up to 2 days per week
Added 2 mins ago
MS
Director, Lead Software Engineer
MS Services Group, Inc.
Jersey City, NJ
- $194,000 USD / year
Telecommuting permitted up to 2 days per week
Added 2 mins ago
MS
Equity Derivatives Pricing Platform Engineer
MS Services Group, Inc.
NY
- $155,000 to $215,000 USD / year
We're seeking someone to join our Equity Derivatives Technology team as an Equity Derivatives Pricing Platform Engineer in ESTAR to build and evolve a global platform supporting equity…
Added 2 mins ago
Z5
Software Integration Engineer III/IV
Zone 5 Technologies
San Luis Obispo, CA
- $164,000 to $210,000 USD / year
The Software Integration Engineer III–IV is a senior individual contributor role responsible for owning system interfaces and integrating subsystems so they communicate reliably with one…
Added 2 mins ago
UO
Commercial Electrician, Non-Craft
University of Montana (UM), Helena College, and UM Western
Dillon, MT
- $30.71 USD / hour
Required to work rotating shifts; Ex: 6am-2pm, 2pm-10pm or 7am-3:30pm.Examples of Duties and Responsibilities
Added 2 mins ago
Identity & Access Management (IAM) Engineer
Toyota
Plano, TX
Toyota Financial Services (TFS) is seeking an Identity and Access Management (IAM) SailPoint Engineer to join the IAM SailPoint Engineering team within Information Security. This is a…
Added 3 mins ago
Senior Software Engineer - Aerospace Controls
Rolls-Royce
United States
Must have experience in embedded safety critical software engineering and Control systems experience
Added 3 mins ago
Automation and Controls Engineer
Gulftech Group
Winter Haven, FL
Must have strong computer skills (Microsoft Office) · Must have, or be able to obtain, a passport for international travel
Added 3 mins ago
Full Stack Engineer 181522
CTI Consulting
westlake, TX
Full Stack Engineer to work on building our strategic platforms in FIG. You
Added 3 mins ago
Full Stack Engineer 182111
CTI Consulting
westlake, TX
Full Stack Engineer to work on building our strategic platforms in FIG. You

Google

Software Engineer, Proof and Verification Engineer

Seattle, WA, United States

Apply on google.com About employer

Applications open in a new tab.

Job details

Posting language: English

Original job description

[For US Applicants]

In most instances, this position requires in-person interviews as part of the hiring process.

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

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

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.

Apply on google.com About employer

Report this job

Work requirements

Jobs in the United States