Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
MB
Reliability Engineer
Massachusetts Bay Transportation Authority
Boston, MA
- $100,006.4 to $142,875.2 USD / year
At the MBTA, we envision a thriving region enabled by a best-in-class transit system. Our mission is to serve the public by providing safe, reliable, and accessible transportation. MBTA’s…
Added 1 min 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 1 min 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 1 min 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
Senior Software Engineer - Aerospace Controls
Rolls-Royce
United States
Must have experience in embedded safety critical software engineering and Control systems experience
Added 2 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
Senior Manufacturing Engineer - Mechanical
Spirax-Sarco Ltd.
Devens, MA
Issue and ensure compliance with the ECO (Design Change) system.
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 5 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 5 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
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
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
…including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and…
Added 8 mins ago
Tech Lead, Staff Software Engineering, YouTube Premium Acquisition
YouTube
San Bruno, CA
…including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and…
Added 8 mins ago
Lead Software Engineer Emerging Tech and AI Cloud Solutions
3Core Systems, Inc
Chicago, IL
Must Have Skills/Attributes:
Added 10 mins ago
SO
Project Manager 1 - 20061125 & 20057749 (Capital Design & Construction)
State of Ohio
Columbus, OH
- $44.38 to $63.41 USD / hour
…progress of work by consultants/contractors (i.e., architect/engineer, criteria architect/engineer, owner agent, consultants, construction manager as advisor, construction manager at risk,…
Added 10 mins ago
Systems Engineer II
Sierra Nevada Corporation
Lone Tree, CO
Qualifications You Must Have:
Added 10 mins ago
Systems Engineer III
Sierra Nevada Corporation
Lone Tree, CO
Qualifications You Must Have:
Added 10 mins ago
Test Engineer II
Sierra Nevada Corporation
Southern Pines, NC
Qualifications You Must Have:
Added 10 mins ago
Aerospace Engineer II
Sierra Nevada Corporation
Lone Tree, CO
Qualifications You Must Have:
Added 10 mins ago
Amazon Robotics RDPI Embedded Software, Robotics Delivery and Packaging Innovation
Amazon.com Services LLC
Westborough, MA
As a Software Engineer, you will work with cross-functional teams to develop, test, and debug sophisticated modern robotic systems. The development process will involve contributing to the…
Added 11 mins ago
Principle Forensic Engineer
NV5
Hollywood, FL
Must have a minimum of 15 years’ experience in the structural design and construction of buildings, building components and systems, etc · Must have excellent technical writing skills
Added 11 mins ago
Senior Remote Sensing Engineer
The Aerospace Corporation
El Segundo, CA
The Integrated Sensor Design and Analysis Department (ISDAD), within the Sensing and Processing Subdivision (SPS) in MPD, is seeking a Senior Remote Sensing Engineer to join our team of…
Added 12 mins ago
Manufacturing Engineer III
Amro Fabricating Corporation
Mukilteo, WA
Karman Space & Defense is a leader in the rapid design, development, and production of critical, next-generation system solutions that align with the U.S. Department of War and its allies’…
Added 13 mins ago
Superintendent - 3rd Shift
Fenton, MI
At Miller Industries, we design, engineer, and manufacture custom products right here in the USA, at our locations in Fenton and Burton, Michigan, and with additional engineering support in…

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