Jobs in the United States

25+ jobs

Group jobs by employerEmail me new jobs Save this search

Added just now
Director, Sr. IT Audit Manager
Janus Henderson Investors
Denver, CO
Must have skills
Added just now
JL
2nd Shift Production Supervisor
Jack Link's Protein Snacks
Perry, GA
- $65,000 to $85,000 USD / year
Added just now
JL
Supervisor - Production 1st Shift
Jack Link's Protein Snacks
Perry, GA
- $65,000 to $85,000 USD / year
Added just now
Sales Support
Mountfitchet Group
Uniondale, NY
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
Powertrain Component Test Technician II
Polaris Industries Inc.
MN
…powertrain components, build test fixtures, collect and analyze data, conduct testing independently, and document results. The work also includes building engines, swapping engine…
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
When you apply to a job on this site, the personal data contained in your application will be collected by Cortland (“Controller”), which is located at 3424 Peachtree RD NE Suite 300…
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
Facilities Maintenance Technician
Fresh Thyme Market
Bolingbrook, IL
Must have the ability to work in refrigerated environment, am/pm shifts, in high volume, fast paced conditions · Must have advanced attention to detail with the capability to prioritize and meet deadlines
Added just now
Director, Office of Federal Grants- Atlanta
Behavioral Health and Developmental Disabilities, Department of
United States
Hybrid- minimum 3 days per week in office
Added just now
Medical Assistant, Certified - Orthopedics
Orlando Health
TAMPA, FL
…with the administrative and operations staff. Gathers patient data through interviews and observation. Assist patients and families with preparation for examination. Assists the physician…
Added just now
C
Buyer I
Cintas
Chicago, IL
- $59,400 to $75,900 USD / year
Ability to look at large amounts of data and break it down into necessary and meaningful business information
Added just now
MB
Reliability Engineer
Massachusetts Bay Transportation Authority
Boston, MA
- $100,006.4 to $142,875.2 USD / year
Collect asset performance data, verify and document as part of the Asset Management Program.
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
2 Years Experience in data analytics, performance reporting
Added 1 min ago
AB
ABA Behavior Technician
Alora Behavioral Health
Tempe, AZ
- $21 to $25 USD / hour
Collect accurate session data and document client progress.
Added 1 min ago
AB
ABA Behavior Technician
Alora Behavioral Health
Tempe, AZ
- $21 to $25 USD / hour
Collect accurate session data and document client progress.
Added 1 min ago
AB
ABA Behavior Technician
Alora Behavioral Health
Surprise, AZ
- $21 to $25 USD / hour
Collect accurate session data and document client progress.
Added 1 min ago
AB
ABA Behavior Technician
Alora Behavioral Health
Surprise, AZ
- $21 to $25 USD / hour
Collect accurate session data and document client progress.
Added 1 min ago
AB
ABA Behavior Technician
Alora Behavioral Health
San Tan Valley, AZ
- $21 to $25 USD / hour
Collect accurate session data and document client progress.
Added 1 min ago
AB
ABA Behavior Technician
Alora Behavioral Health
Phoenix, AZ
- $21 to $25 USD / hour
Collect accurate session data and document client progress.
Added 1 min ago
AB
ABA Behavior Technician
Alora Behavioral Health
Peoria, AZ
- $21 to $25 USD / hour
Collect accurate session data and document client progress.

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