Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Mechanical Engineer (4041)
Navarro Inc.
West Milton, NY
Navarro Research and Engineering is recruiting a Mechanical Engineer in West Milton, NY. This position requires an active DOE clearance or DOD equivalent to be considered.
Added just now
Product Engineer Manufacturing
Wolfspeed, Inc.
Durham, NC
· Wolfspeed Materials and Epi Business is seeking a high-potential, resourceful, hands-on Product Engineer with strong problem-solving abilities and the capacity to quickly understand and…
Added just now
Product Engineer Manufacturing
Wolfspeed, Inc.
Durham, NC
Wolfspeed Materials and Epi Business is seeking a high-potential, resourceful, hands-on Product Engineer with strong problem-solving abilities and the capacity to quickly understand and…
Added just now
Project Field Engineer- Civil
Lemartec
Palmetto, GA
Must have a Bachelor of Science degree in an engineering discipline from an accredited university
Added just now
Expert Hardware Test Engineer
MANTECH
Washington, DC
MANTECH seeks a career and customer-oriented Expert Hardware Test Engineer to join our team in Washington, D.C. This is a hybrid position with 1 day onsite and 4 days remote per week.
Added just now
Senior Solaris Engineer
MANTECH
Chantilly, VA
MANTECH seeks a motivated, career and customer-oriented Senior Solaris Engineer to join our team in Chantilly, VA.
Added 1 min ago
HH
Senior Manufacturing Engineer
Helios Hydraulics America
Buffalo Grove, IL
- $110,000 to $140,000 USD / year
The Manufacturing Engineer is responsible for developing, improving, and sustaining manufacturing processes that improve safety, quality, delivery, cost, and overall operational throughput…
Added 1 min ago
HH
Senior CMM Programmer
Helios Hydraulics America
Buffalo Grove, IL
- $35 to $45 USD / hour
Apply practical knowledge of CNC machining, tooling, workholding, part setups, and manufacturing processes to identify potential causes of dimensional nonconformance.
Added 1 min ago
CONSTRUCTION SURVEILLANCE ENGINEER
Bristol Alliance of Companies
Key West, FL
BIDS is looking for a Construction Surveillance Engineer to support the NAVFAC Southeast (SE) Headquarters, Public Works Departments (PWD) and Resident Officer in Charge of Construction…
Added 2 mins ago
Staff Resident Engineer
Infoblox
Richmond, VA · VA · Herndon, VA
Strong knowledge of core networking and security concepts, including TCP/IP, routing, high availability, DNSSEC, segmentation, STIGs, and vulnerability management
Added 2 mins ago
Site Director - (West Chester)
Pole/Zero LLC
West Chester, OH
…This highly visible leadership role operates in a fast paced, engineer-to-order and build-to‑-order B2B environment within the technology/defense…
Added 2 mins ago
Sr. Field Service Engineer
Wayne Fueling Systems LLC
Austin, TX
…solutions, systems and payment, automatic tank gauging and wet stock-management solutions, DFS comprises the product brands of Wayne Fueling Systems, OPW Fuel Management Systems, ClearView,…
Added 2 mins ago
Manufacturing Engineer
Hill Phoenix, Inc.
Conyers, GA
…evaluating, and improving manufacturing methods, utilizing knowledge of product design, materials and parts, fabrication processes, tooling and production equipment capabilities, assembly…
Added 2 mins ago
Project Field Engineer- Civil
Lemartec
Palmetto, GA
Must have a Bachelor of Science degree in an engineering discipline from an accredited university
Added 2 mins ago
Manufacturing Engineer
Cummins Talent Acquisition
Whitakers, NC · Rocky Mount, NC
We are looking for a talented Manufacturing Engineer to join our team in Rocky Mount, NC. In this role, you will help plan, design, procure, and implement changes to manufacturing equipment…
Added 2 mins ago
Process Simulations Engineer
GE Vernova
Greenville, SC
The Process Simulations Engineer designs and maintains quantitative models to forecast business outcomes and stress-test strategic scenarios across GE Vernova's Greenfield and Brownfield…
Added 2 mins ago
Senior Process Engineer
Inabia Software & Consulting Inc.
Sterling, VA
Knowledge of preventive/predictive maintenance, CMMS, maintenance planning, RCM, RCA, and spare parts management.
Added 3 mins ago
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 3 mins ago
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 3 mins ago
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 4 mins 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 4 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 4 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 5 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 5 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…

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