Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

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
CONSTRUCTION SURVEILLANCE ENGINEER
Bristol Alliance of Companies
Key West, FL
A minimum of seven (7) years of experience as a Construction Manager, Field Engineer, Project Engineer or Quality Control Manager on commercial/industrial type facilities, utility or…
Added 1 min ago
WM
PROJECT MANAGER - HIGHWAYS
Wallace Montgomery
Norfolk, VA
- $70 to $85 USD / hour
Project Managers provide technical supervision and management of projects assigned to them. They also provide design/design oversight for major tasks within projects which are managed by…
Added 2 mins ago
Sr. Field Service Engineer
Wayne Fueling Systems LLC
Austin, TX
This is a post-sale delivery role. The Sales Engineer owns technical discovery, solution scoping, and pre-contract alignment, then hands off to Implementation and Project teams once the…
Added 2 mins ago
Manufacturing Engineer
Hill Phoenix, Inc.
Conyers, GA
…improving manufacturing methods, utilizing knowledge of product design, materials and parts, fabrication processes, tooling and production equipment capabilities, assembly methods, and…
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
Establish engineering standards, project management practices, sanitation-ready equipment design, documentation controls, and technical training programs.
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 4 mins ago
Senior Structural Engineer - Bridges and Transportation
AMT Engineering
Charleston, SC
Ability to interact with various design teams, have excellent organizational, project management and communication both written and verbal skills; and
Added 7 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 8 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 9 mins ago
MANUFACTURING ENGINEER
Vacuum Technology
Rockland, MA
Standard Work / Process Definition – Own and improve all standard manufacturing WIPs. Create project specific procedures / work instructions concurrent with design.
Added 10 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 10 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 10 mins ago
Software Engineer, Proof and Verification Engineer
Google
Seattle, WA
…information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile;…
Added 12 mins ago
Mechanical Engineer (4041)
Navarro Inc.
West Milton, NY
…fleet. Our company is looking for an experienced Mechanical Engineer to join our team as part of the Propulsion Plant Team Trainer (PPTT) project, which is a multi-site organization engaged…
Added 13 mins ago
SO
Project Manager 1 - 20061125 & 20057749 (Capital Design & Construction)
State of Ohio
Columbus, OH
- $44.38 to $63.41 USD / hour
Serve as a project manager for the planning, design & construction of assigned projects (e.g., department owned dams, canals, waterways, roadways, bridges, water & waste water treatment)…
Added 13 mins ago
Systems Engineer II
Sierra Nevada Corporation
Lone Tree, CO
Qualifications You Must Have:
Added 13 mins ago
Systems Engineer III
Sierra Nevada Corporation
Lone Tree, CO
Qualifications You Must Have:
Added 13 mins ago
Aerospace Engineer II
Sierra Nevada Corporation
Lone Tree, CO
Qualifications You Must Have:
Added 13 mins ago
Aerospace Engineer III
Sierra Nevada Corporation
Vandalia, OH · Plano, TX
Qualifications You Must Have:
Added 13 mins ago
Senior Industrial Engineer - 1st Shift
GXO Logistics
Horn Lake, MS
As the Senior Engineer, Industrial, you will be responsible for facility layout and design, manpower planning, project scheduling and management, and support for new business development.…
Added 13 mins ago
Energy Projects Manager, AWS Energy Team, AWS Energy Team
Amazon Data Services, Inc.
Arlington, VA
AWS Infrastructure Services owns the design, planning, delivery, and operation of all AWS global infrastructure. In other words, we’re the people who keep the cloud running. We support all…

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