Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Expert Hardware Test Engineer
MANTECH
Washington, DC
…thrilling projects in Digital Transformation, Cybersecurity, IT, Data Analytics and Software Development. Elevate your career and make a difference. Your adventure begins now - unleash your…
Added just now
HH
Senior Manufacturing Engineer
Helios Hydraulics America
Buffalo Grove, IL
- $110,000 to $140,000 USD / year
Added just now
HH
Senior CMM Programmer
Helios Hydraulics America
Buffalo Grove, IL
- $35 to $45 USD / hour
…collaborating with machinists, CNC programmers, and manufacturing engineers to troubleshoot nonconforming components, identify root causes of dimensional variation, and develop effective…
Added just now
Senior Associate, Integration and Test Engineer (Palm Bay, FL - Secret Clearance)
L3Harris Technologies
Palm Bay, FL
Support daily activities as part of the team of engineers and technicians, coordinating assignments, resolving obstacles, and maintaining alignment with program needs.
Added 1 min ago
Staff Resident Engineer
Infoblox
Richmond, VA · VA · Herndon, VA
…decision support, with sound judgment regarding accuracy and data…
Added 2 mins ago
YDA Specifications Engineer - Senior
Cummins Talent Acquisition
York, SC
Serve as the Technical Data Expert: Act as the primary subject matter expert for customer product data, identifying risks, resolving discrepancies, and ensuring manufacturing teams have the…
Added 2 mins ago
Manufacturing Engineering Technician - Level III - 3rd Shift
Cummins Talent Acquisition
Whitakers, NC · Rocky Mount, NC
Ability to use computer programs including Excel to support data analysis
Added 2 mins ago
Process Simulations Engineer
GE Vernova
Greenville, SC
Build high-value business cases for capital investment (headcount, layout, capacity) grounded in simulation-validated data
Added 2 mins ago
Senior Systems Administrator
Bluestaq US External
CO
You use modern AI tools with judgment: integrating them into workflows where they're impactful, reviewing their outputs, and handling proprietary or sensitive data responsibly
Added 2 mins ago
Windows Engineering Manager
Inabia Software & Consulting Inc.
Plano, TX
…role provides technical and people leadership for a team of engineers responsible for the design, deployment, management, security, and lifecycle of end-user computing services across the…
Added 2 mins ago
Quality Engineer III
Carestream Health
Rochester, NY
We are proud to have been recognized by our employees and alumni as one of America’s Best Midsize Employers and America’s Best Employers for Engineers.
Added 2 mins ago
CO
Crew Foreman CDL
City Of Chattanooga
Chattanooga, TN
- $25.25 to $30.5 USD / hour
Added 2 mins ago
Technical Support Specialist - Tier II
CallRail
Atlanta, GA
…technical detectives - taking point on complex integrations, data attribution discrepancies, and advanced product workflows. You will bridge the gap between front-line support and core…
Added 2 mins ago
W
DevOps Engineer - Level 4/5
Wyetech
Columbia, MD
- $90.8 to $132.41 USD / hour
…services, and build tools. Popular programming languages for DevOps engineers include Python, Ansible, and…
Added 2 mins ago
W
Agile Developer - Level 3
Wyetech
Columbia, MD
- $86.14 to $116.65 USD / hour
Utilizing REST services with Spring able to filter and select complex data objects
Added 2 mins ago
W
Agile Developer - Level 3
Wyetech
Columbia, MD
- $86.14 to $116.65 USD / hour
Communication and collaboration: Software Development is a team-oriented discipline. Engineers need to be able to communicate and collaborate effectively with other team members, as well as…
Added 3 mins ago
Software Engineer II
Pearson
Boston, MA
You'll work alongside architects, engineers, UX designers and product owners to create digital learning experiences that make a real difference. This is a chance to join a new global…
Added 3 mins ago
MB
Reliability Engineer
Massachusetts Bay Transportation Authority
Boston, MA
- $100,006.4 to $142,875.2 USD / year
Collect asset performance data, verify and document as part of the Asset Management Program.
Added 4 mins ago
Product Manager
Cirrus Systems, Inc.
Dallas, TX
…to deliver actionable insights, enabling businesses to make data-driven decisions for their growth and operational…
Added 4 mins ago
Field Engineer I
Doble
Marlborough, MA
Pre-assess data on-site to communicate relevant results to Senior Engineers
Added 4 mins ago
Senior Field Engineer
Doble
Marlborough, MA
Must have effective verbal and written communication skills, as well as good presentation skills
Added 4 mins ago
UXE Feature Designer
ALTEN Technology USA
Auburn Hills, MI · Troy, MI
As part of the global ALTEN Group - 57,000+ engineers in 30 countries - we deliver across the entire product development cycle, from consulting to full project outsourcing.
Added 4 mins ago
MS
Equity Derivatives Pricing Platform Engineer
MS Services Group, Inc.
NY
- $155,000 to $215,000 USD / year
…deployment and rollback, and troubleshoot problems across services, data, configuration, integrations, and pricing…
Added 4 mins ago
Z5
Software Integration Engineer III/IV
Zone 5 Technologies
San Luis Obispo, CA
- $164,000 to $210,000 USD / year
…precision weapons and unmanned aircraft systems (UAS). Our team of engineers and innovators are developing cutting-edge autonomous solutions to deliver affordable and scalable precision…
Added 4 mins ago
PLANNING TECHNICIAN / PLANNER I / PLANNER II
City of Amarillo
United States
Valid Texas Driver's License required · Valid Texas Driver’s License Required

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