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
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 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
B.S. or M.S. in Computer Science or equivalent experience, with strong problem-solving skills (data structures, algorithms, operating systems).
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
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
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 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 5 mins ago
Transport Engineer
Omni Fiber LLC
Allen, TX
Candidates must have and maintain a valid state driver's license to operate a rental car or company vehicle
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
Are you energized by the challenge of building robust data management systems that become the backbone of critical scientific work? Do you light up at the intersection of solid software…
Added 7 mins ago
AI
Associate Data Engineer
Abacus Insights
Boston, MA
- $30 USD / hour
Our Data Engineering team is looking for an Associate Data Engineer. In this role, you will partner with clients, implementation teams, and internal stakeholders to help deliver…
Added 7 mins ago
Cons - Tech Consulting - Service Delivery - Project Engineer - Senior - Multiple Positions - 1759599
EY
Dallas, TX
Must have 1 year of experience in technology software development · Must have 1 year of experience with the implementation of control systems at electric utilities
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 7 mins ago
Assoc Sys Protection Engineer
Consumers Energy
JACKSON, MI
The Associate System Protection Engineer will support the design, analysis, and protection of voltage power systems. The incumbent will aid the implementation of protection schemes for our…
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:

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