Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
W
DevOps Engineer - Level 4/5
Wyetech
Columbia, MD
- $90.8 to $132.41 USD / hour
…to your SEP IRA, helping you build real long-term financial security. Our mission is to give employees the best possible environment to thrive while delivering stellar services and…
Added just now
W
Agile Developer - Level 3
Wyetech
Columbia, MD
- $86.14 to $116.65 USD / hour
…to your SEP IRA, helping you build real long-term financial security. Our mission is to give employees the best possible environment to thrive while delivering stellar services and…
Added just now
W
Agile Developer - Level 3
Wyetech
Columbia, MD
- $86.14 to $116.65 USD / hour
…to your SEP IRA, helping you build real long-term financial security. Our mission is to give employees the best possible environment to thrive while delivering stellar services and…
Added just now
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
Software Engineer II
Pearson
Boston, MA
Use AI coding assistants and agents to accelerate design, coding, testing, debugging and documentation, and review all AI-generated output for correctness, security and maintainability.
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
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
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 6 mins ago
Senior DTx Quality Engineer
Click Therapeutics
NY
We have a hybrid working model that consists of at least 4 days in office each week
Added 6 mins ago
Full Stack Software Engineer
LLNL
Livermore, CA
We are seeking a Full Stack Software Engineer to design, develop, and maintain complex software systems supporting mission-critical analytical and operational workflows. You will contribute…
Added 7 mins ago
AID&E - Databricks Data Engineer - Manager - Tech Cons - Open Location
EY
Buffalo, NY · Tucson, AZ · Iselin, NJ · Minneapolis, MN · Tulsa, OK · Fort Worth, TX · Charleston, WV · Las Vegas, NV · Rochester, NY · Palo Alto, CA · Greenville, SC · Richmond, VA · Sacramento, CA · Boca Raton, FL · Baton Rouge, LA · Huntsville, AL · Akron, OH · St. Louis, MO · Austin, TX · Los Angeles, CA · Providence, RI · Rogers, AR · Charlotte, NC · San Diego, CA · Pittsburgh, PA · Wichita, KS · New York, NY · Houston, TX · Westlake Village, CA · Orlando, FL · Atlanta, GA · Jericho, NY · Grand Rapids, MI · Miami, FL · Cincinnati, OH · Chattanooga, TN · Salt Lake City, UT · Indianapolis, IN · Albany, NY · McLean, VA · Boston, MA · Milwaukee, WI · Washington, DC · Portland, OR · Chantilly, VA · San Mateo, CA · Denver, CO · Oklahoma City, OK · Detroit, MI · Memphis, TN · Southfield, MI · Birmingham, AL · Irvine, CA · Tallahassee, FL · Kansas City, MO · Raleigh, NC · Nashville, TN · Jacksonville, FL · San Antonio, TX · Louisville, KY · Philadelphia, PA · Toledo, OH · Secaucus, NJ · Tampa, FL · New Orleans, LA · Hoboken, NJ · Grandview Heights, OH · Phoenix, AZ · Seattle, WA · Alpharetta, GA · Arlington, VA · Stamford, CT · Des Moines, IA · Cleveland, OH · New Brunswick, NJ · San Jose, CA · Dallas, TX · Hartford, CT · Baltimore, MD · San Francisco, CA · Chicago, IL
To qualify for the role, you must have:
Added 8 mins ago
Software Engineer, Proof and Verification Engineer
Google
Seattle, WA
…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…
Added 8 mins ago
Tech Lead, Staff Software Engineering, YouTube Premium Acquisition
YouTube
San Bruno, CA
…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…
Added 8 mins ago
Senior Analyst I Network Engineer - Cedar Rapids, IA
Global Outsourcing Svcs
CEDAR RAPIDS, IA
DXC helps global companies run their mission-critical systems and operations while modernizing IT, optimizing data architectures and ensuring security and scalability across public, private…
Added 9 mins ago
Lead Software Engineer Emerging Tech and AI Cloud Solutions
3Core Systems, Inc
Chicago, IL
Must Have Skills/Attributes:
Added 11 mins ago
Test Engineer II
Sierra Nevada Corporation
Southern Pines, NC
Qualifications You Must Have:
Added 11 mins ago
RS
Technical Support Engineer II
Rocket Software Inc
Bentonville, AR
- $57,500 to $77,625 USD / year
The Technical Support Engineer II delivers advanced technical support to Rocket customers within the z/Security Business Unit, resolving complex issues related to product installation,…
Added 11 mins ago
Energy Projects Manager, AWS Energy Team, AWS Energy Team
Amazon Data Services, Inc.
Arlington, VA
…planning teams to deliver the electric infrastructure to serve AWS data centers, including but not limited to managing the utility, EPC vendor and/or Owners Engineer to meet AWS’ needs. The…
Added 12 mins ago
Engineer - Electrical Distribution (Medium Voltage)
UL Solutions
NC
This is a hybrid role requiring 3 days per week onsite in Research Triangle Park, NC
Added 12 mins ago
Engineer - Electric Meters
UL Solutions
NC · Melville, NY
This is a hybrid role requiring 3 days per week onsite in Melville, NY or Research Triangle Park, NC
Added 12 mins ago
Senior Remote Sensing Engineer
The Aerospace Corporation
El Segundo, CA
…Subdivision (SPS) in MPD, is seeking a Senior Remote Sensing Engineer to join our team of scientists and engineers engaged in developing the nation’s next generation of remote sensing…
Added 12 mins ago
K
Data Engineer
Kforce
Smithfield, RI
- $62 to $72 USD / hour
Required Technical Expertise (Must Have):
Added 12 mins ago
K
Senior Engineer / Application Security
Kforce
Remote, United States
- $90,000 to $135,000 USD / year
Kforce has a client seeking for a Senior Application Security Engineer in Doral, FL.
Added 13 mins ago
DevOps Engineer
MRO Corporation
Remote, United States
…partners closely with application engineering, infrastructure, security, and release management teams, and serves as a trusted technical advisor on cloud architecture, operations, and…
Added 14 mins ago
Principal, Applied AI Engineer
Bridgestone Americas, Inc.
United States
Implement GenAI security guardrails: defense against prompt injection, prevention of data leakage and access controls on what a model or agent can read and do.

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