Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Communications & Brand Director
Akeneo
Boston
Akeneo is the leading AI-powered Product Data Platform that helps brands, manufacturers, distributors, and retailers unify product data and pricing to power better product experiences,…
Added just now
G
Professional Land Surveyor
GPAC
Tampa, FL
- $90,000 to $120,000 USD / year
In this role, you’ll apply professional surveying judgment across a diverse portfolio of projects, translating records, data, and field information into accurate, defensible deliverables.…
Added just now
Demand Planning Senior Manager
Hoffman Enclosures, Inc.
St Louis Park, MN · Anoka, MN
Lead the Data Solutions demand planning function and develop demand planners into business-facing analysts who challenge assumptions, quantify risk, and translate commercial inputs into an…
Added just now
Centralized Painter, IFM - Denver, CO
Cortland
Colorado Springs, CO
…owners and operators in the US, Cortland combines in-house design, construction, and operations to deliver value and innovation across its…
Added just now
Manager, Production Support
Appian Corporation
McLean, VA
Drive continuous optimization of enterprise application support processes through data-driven insights, automation tooling, and modern ITSM frameworks that scale with organizational growth.
Added just now
Software Engineer II
Pearson
Boston, MA
At Pearson, we're committed to a world that's always learning. As a Software Developer, you'll build high-quality, secure applications that reach millions of learners worldwide, on a…
Added just now
MB
Reliability Engineer
Massachusetts Bay Transportation Authority
Boston, MA
- $100,006.4 to $142,875.2 USD / year
Propose changes in design and develop work/maintenance plans to implement actions based on data analyses.
Added just now
HUB Data Analyst I
ITR Concession Co LLC
Elkhart, IN
Minimum 3 days in office or designated field office per week
Added just now
L
Sr Operations Support Analyst
Lowes
Mooresville, NC
- $74,600 to $124,500 USD / year
The primary purpose of this role is to assess, support/design, implement, and roll out branch initiatives that support field and branch teams with driving Pro business results. This role…
Added 1 min 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 1 min ago
DI
RDSPD Intervention Specialist
Denton Independent School District
Denton, TX
- From $67,593 USD / year
Proficient data collection, progress monitoring, and data analysis skills
Added 1 min ago
OE
SPECIAL EDUCATION TEACHER - BELTON TEXAS
Orenda Education
Nolan Creek, TX
- $57,000 to $70,222 USD / year
Must have and maintain a level of general physical/emotional health which permits effective performance of duties
Added 1 min ago
1.0 Speech Language Pathologist
Foster-Glocester Regional Schools
Glocester, RI
Develop clear, behaviorally stated goals and objectives for each student recommended for speech and language remediation based on evaluative data.
Added 1 min ago
UXE Feature Designer
ALTEN Technology USA
Auburn Hills, MI · Troy, MI
Present new design proposals; Share HMI issues related to the HMI features; Present benchmarking data to be compared to Client execution; Present user test results and give HMI directions.
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
Equity Derivatives Pricing Platform Engineer
MS Services Group, Inc.
NY
- $155,000 to $215,000 USD / year
Build and deliver. Design, implement, test, and release platform features and fixes. Contribute hands-on while helping raise engineering standards across the team.
Added 1 min ago
Data and Metrics Analyst
Nou Systems Inc
Huntsville, AL
You must have a Bachelor’s degree from an accredited institution · You must possess an active Secret clearance
Added 1 min ago
Z5
Software Integration Engineer III/IV
Zone 5 Technologies
San Luis Obispo, CA
- $164,000 to $210,000 USD / year
Communication Protocols & Data Buses (Ethernet, Serial, CAN, MIL-STD-1553, ARINC 653, WOSA)
Added 1 min ago
Laboratory Service Blood Bank Instructor
Goldbelt, Inc.
Fort McCoy, WI
Goldbelt Apex, a part of the Healthcare Technology Transformation Group, is a data-focused company dedicated to process and quality in every aspect. As experts in healthcare IT, Apex is…
Added 1 min ago
GI
Organizational Development Practitioner
Goldbelt, Inc.
District of Columbia, DC
- $111,000 to $134,000 USD / year
Goldbelt Apex, a part of the Healthcare Technology Transformation Group, is a data-focused company dedicated to process and quality in every aspect. As experts in healthcare IT experts,…
Added 1 min ago
GI
Statistician (Data Scientist)
Goldbelt, Inc.
District of Columbia, DC
- $112,000 to $136,000 USD / year
Design, build, and maintain robust, scalable data extraction, transformation, and loading pipelines.
Added 1 min ago
GI
Business and Financial Operations Specialist
Goldbelt, Inc.
District of Columbia, DC
- $125,000 to $149,000 USD / year
Goldbelt Apex, a part of the Healthcare Technology Transformation Group, is a data-focused company dedicated to process and quality in every aspect. As experts in healthcare IT experts,…
Added 1 min ago
Senior User Researcher
Formlabs
Somerville, MA
Fluency in both qualitative methods (interviews, field visits, contextual inquiry) and quantitative methods (survey design, segmentation, data analysis).
Added 1 min ago
Associate Information Data Architect (Hybrid to MA)
The Hanover Insurance Group
Worcester, MA
The Associate Information Data Architect collaborates with business stakeholders, architects, and engineering teams to translate requirements into scalable analytical solutions; design and…
Added 1 min ago
Associate Information Data Architect (Hybrid to MA)
The Hanover Insurance Group
Worcester, MA
The Associate Information Data Architect collaborates with business stakeholders, architects, and engineering teams to translate requirements into scalable analytical solutions; design and…

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