Top 108 Algorithm quantum algorithm quantum algorithm quantum physics algorithms Jobs

Research Software Engineer, Formal Methods
Raytheon Technologies Corporate Headquarters —Cambridge, MA
- $68,900 - $131,100 a year
- Full-time
- Hybrid work
- Computer Science
- Java
- Master's degree
- Paid holidays
- Disability insurance
Applied Scientist, Quantum error correction team, Amazon Center for Quantum Computing
Amazon Development Center U.S., Inc. —Pasadena, CA
- $142,800 - $193,200 a year
- Full-time
- Computer Science
- Java
- C++
- AD&D insurance
- Health insurance
Senior Staff Research Scientist, Quantum Error Correction, Quantum AI
Google —Goleta, CA
- $262,000 - $365,000 a year
- Full-time
- Computer science
- Computer Science
- Doctor of Philosophy
6d
Sr Software Engineer II - Technology Research and Development
American Express —New York, NY
- $123,000 - $215,250 a year
- Computer Science
- Mid-level
- Doctor of Philosophy
21h
Advanced Quantum Testbed Project Scientist
Lawrence Berkeley National Laboratory —San Francisco Bay Area, CA
- $91,484 - $219,562 a year
- Full-time
- Background check
- Mid-level
- Doctor of Philosophy
Principal Quantum Applications Scientist - 731
Quantinuum —Broomfield, CO
- $189,000 - $220,000 a year
- Full-time
- Office
- Master's degree
- Doctor of Philosophy
- Paid parental leave
- Paid holidays
Senior Architect – Agentic Orchestration Frameworks
Keysight Technologies, Inc. —Calabasas, CA
- $156,740 - $261,230 a year
- Full-time
- Computer Science
- 5 years
- System design
- Health savings account
- Employee stock purchase plan
Senior Research Scientist, Quantum Error Correction
Q-CTRL —Los Angeles, CA
- Full-time
- Computer Science
- Engineering
- C++
Program Manager, Kill Chain Portfolio (Advanced Sensors & Quantum Systems)
Riverside Research Institute —Mountain View, CA
- $200,000 - $270,000 a year
- Full-time
- Doctoral degree
- Bachelor's degree
- Mentoring
5d
Computational Scientist - 705
Quantinuum —Broomfield, CO
- $80,000 - $101,000 a year
- Full-time
- Computer Science
- Bachelor of Science
- Office
- Paid parental leave
- Paid holidays
Senior Principal Acoustics Signal Processing Engineer
Raytheon Technologies Corporate Headquarters —Middletown, RI
- $132,400 - $251,600 a year
- Full-time
- System design
- Master's degree
- Bachelor's degree
- Paid parental leave
- Paid holidays
5h
Lead Research Scientist
Visa U.S.A. Inc. —Foster City, CA
- $215,300 - $344,600 a year
- Full-time
- Hybrid work
- Computer science
- Computer Science
- 5 years
- Wellness program
- Health savings account
Solutions Architect, Pharmaceutical and Life Sciences (Principal or Director level) – 771
Quantinuum —Remote
- $180,000 - $250,000 a year
- Full-time
- Hybrid work
- Computer Science
- Master's degree
- Doctor of Philosophy
- Paid parental leave
- Paid holidays
Solutions Architect - Financial services (Principal or Director level) - 659
Quantinuum —Remote
- $180,000 - $250,000 a year
- Full-time
- Hybrid work
- Computer Science
- Finance
- Master's degree
- Paid parental leave
- Paid holidays
Faculty, Technology, Engineering, Construction
Prince George's Community College —Largo, MD
- $58,041 - $75,850 a year
- Weekends as needed
- Hybrid work
- Background check
- Classroom
- Doctoral degree
Senior Manager, Data Science - Quantum Computing Research (Remote-Eligible)
Capital One —McLean, VA
- Email
- Remote
- Computer Science
- Bachelor's degree
- Doctor of Philosophy
- Health insurance
Postdoctoral Research Scientist
Columbia University —United States
- $72,116 - $74,279 a year
- University
- Doctor of Philosophy
- Senior level
Customer Solutions Manager/Technical Sales Engineer
IQM Finland Oy —United States
- Remote
- Computer Science
- English
- Doctor of Philosophy
- Flexible schedule
Fiber Sensing PostDoc
NOKIA —United States
- Full-time
- Computer Science
- English
- Doctor of Philosophy

More jobs to discover

Find similar jobs that you might be interested in.

Applied Mathematician / Math Research
VOCAL Technologies Inc. —Buffalo, NY
VOCAL has over 38 years of expertise in telecommunications engineering for the industrial, commercial and military/DoD markets with comprehensive product…
$60,000 - $90,000 a year
Quick Apply
6d
Senior CRA Cardiology AFIB US-5 + years SR. CRA/2 + years AFIB
Provident Research Inc —Remote
Responsible for the site visits, monitoring, communication and deliverables for the assigned study sites Serves as a member of the clinical study team and is…
$138,000 - $145,000 a year
Quick Apply

I want to receive the latest job alert for algorithm quantum algorithm quantum algorithm quantum physics algorithms

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Explore jobs in more locations

algorithm quantum algorithm quantum algorithm quantum physics algorithms jobs near

Senior Software Engineer jobs in New York, NY

Solution Architect jobs in Remote

Research Engineer jobs in Cambridge, MA

Senior Research Scientist jobs in Los Angeles, CA

Senior Architect jobs in Calabasas, CA

Program Manager jobs in Mountain View, CA

Director Of Solutions Design jobs in Remote

Scientist jobs in San Francisco Bay Area, CA

Research Scientist jobs in Foster City, CA

Senior Software Engineer jobs in Ann Arbor, Mi

Senior Software Engineer jobs in Dayton, Oh

Senior Center jobs in San Antonio, Tx

Nonprofit Software jobs in Minneapolis, Mn

Senior Living jobs in San Francisco Bay Area, Ca

Senior Software Engineer jobs in Fremont, Ca

Senior Software Engineer jobs in Cleveland, Oh

Solution Architect jobs in Marietta, Ga

Solution Architect jobs in Columbus, Oh

Solution Architect jobs in Brookfield, Wi

Diverse Facility Solution jobs in Seatac, Wa

Research Software Engineer, Formal Methods

Raytheon Technologies Corporate Headquarters -
Cambridge, MA

Apply Now

Job Details

Full-time
$68,900 - $131,100 a year

Benefits

Paid holidays
Disability insurance
Health insurance
Dental insurance
Flexible spending account
Tuition reimbursement
Paid time off
Parental leave
Employee assistance program
Vision insurance
401(k) matching
Flexible schedule
Life insurance

Qualifications

Programming languages
Math
Developer tools

Full Job Description

Date Posted:

2026-04-13

Country:

United States of America

Location:

US-MA-CAMBRIDGE-BBN06 ~ 10 & 50 Moulton St ~ MOULTON B6

Position Role Type:

Hybrid

U.S. Citizen, U.S. Person, or Immigration Status Requirements:

The ability to obtain and maintain a U.S. government issued security clearance is required. U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance

Security Clearance Type:

DoD Clearance: Top Secret

Security Clearance Status:

Active and existing security clearance required after day 1

RTX Corporation is an Aerospace and Defense company that provides advanced systems and services for commercial, military and government customers worldwide. It comprises three industry-leading businesses – Collins Aerospace Systems, Pratt & Whitney, and Raytheon. Its 185,000 employees enable the company to operate at the edge of known science as they imagine and deliver solutions that push the boundaries in quantum physics, electric propulsion, directed energy, hypersonics, avionics and cybersecurity. The company, formed in 2020 through the combination of Raytheon Company and the United Technologies Corporation aerospace businesses, is headquartered in Arlington, VA.

The following position is to join our RTX BBN team:

RTX BBN Networking and Cyber Technologies group is looking for a Research Software Engineer, Formal Methods with strong software development skills and an interest in security and resilience of large-scale dynamic systems. In this position, you will contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic systems.

This position offers the opportunity to shine as a lead developer of an exceptional team while building core technologies for improving processes, networks, protocols, and systems. You will develop software to support models that analyze networks and complex processes, improve the collective understanding of such systems, and increase their performance. You will contribute to and work alongside extraordinarily talented individuals.

What You Will Do:

Program and test software and systems in Python, C, C++, or Java, as well as using logic programming languages.
Design and develop formal (using mathematical logic) or informal models and specifications of protocols and systems for model checking and theorem proving.
Develop algorithms for analyzing software and communications systems to understand how and when they work or break, and how to make them more secure and resilient.
Apply critical analysis to results to validate technical hypotheses and inform next steps.
Own large components of projects.
Distinguish BBN and yourself to customers by supporting cutting edge research.
Travel up to 10%; candidates should expect that they may be required to travel to a BBN, RTX, teammate, or customer site for meetings or other business-related activities.

Qualifications You Must Have:

Bachelor's Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics and a minimum of 2 years experience, or a Master’s degree with a minimum 1 year experience with multiple software development tools and languages, including but not limited to Python, C/C++ or Java.
Understanding and familiarity with Formal Methods, preferably with the application and scaling of formal methods techniques (e.g. model checking, model measuring, and theorem proving).
Prior experience with mathematical logic and logic programming.
Prior experience with networking fundamentals and systems security.
Ability and willingness to obtain a Top Secret Clearance within a year.

Qualifications We Prefer - Familiar with all, Expert in some

Experience with Formal Methods, specifically with the application and scaling of formal methods techniques such as model checking, model measuring, and theorem proving.
Experience writing logic for SAT, SMT solvers.
Experience with Python and/or shell scripting.
Experience writing proposals, capture.
Experience in Networking and protocols (TCP/IP stacks, wire-level protocols, RF communications, BGP, etc.).
Active and transferable Top Secret Clearance.

Work Location:

This position is Hybrid with significant presence at one of our three locations Cambridge, MA, Arlington, VA, or Columbia, MD.

Relocation Assistance available.

What We Offer

Whether you’re just starting out on your career journey or are an experienced professional, we offer a robust total rewards package with compensation; healthcare, wellness, retirement, and work/life benefits; career development and recognition programs. Some of the benefits we offer include parental (including paternal) leave, flexible work schedules, achievement awards, educational assistance and child/adult backup care.

To help you achieve your goals, BBN will provide:

A strong leadership team well-versed in Government Research & Development.
A collaborative and collegial environment to push state-of-the-art research.
Technically competent pool of research scientists who are willing to mentor, listen, and help you refine your research vision and goals.
Business Development, Programmatic, Contracting, Finance, and HR support.
Access, through RTX, to opportunities that help transition your research and ultimately see it fielded.

As part of our commitment to maintaining a secure hiring process, candidates may be asked to attend select steps of the interview process in-person at one of our office locations, regardless of whether the role is designated as on-site, hybrid or remote.

The salary range for this role is 68,900 USD - 131,100 USD. The salary range provided is a good faith estimate representative of all experience levels. RTX considers several factors when extending an offer, including but not limited to, the role, function and associated responsibilities, a candidate’s work experience, location, education/training, and key skills.

Hired applicants may be eligible for benefits, including but not limited to, medical, dental, vision, life insurance, short-term disability, long-term disability, 401(k) match, flexible spending accounts, flexible work schedules, employee assistance program, Employee Scholar Program, parental leave, paid time off, and holidays. Specific benefits are dependent upon the specific business unit as well as whether or not the position is covered by a collective-bargaining agreement.

Hired applicants may be eligible for annual short-term and/or long-term incentive compensation programs depending on the level of the position and whether or not it is covered by a collective-bargaining agreement. Payments under these annual programs are not guaranteed and are dependent upon a variety of factors including, but not limited to, individual performance, business unit performance, and/or the company’s performance.

This role is a U.S.-based role. If the successful candidate resides in a U.S. territory, the appropriate pay structure and benefits will apply.

RTX anticipates the application window closing approximately 40 days from the date the notice was posted. However, factors such as candidate flow and business necessity may require RTX to shorten or extend the application window.

RTX is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability or veteran status, or any other applicable state or federal protected class. RTX provides affirmative action in employment for qualified Individuals with a Disability and Protected Veterans in compliance with Section 503 of the Rehabilitation Act and the Vietnam Era Veterans’ Readjustment Assistance Act.

Privacy Policy and Terms:

Apply Now

Refine Your Search

algorithm quantum algorithm quantum algorithm quantum physics algorithms jobs

Research Software Engineer, Formal Methods

Applied Scientist, Quantum error correction team, Amazon Center for Quantum Computing

Senior Staff Research Scientist, Quantum Error Correction, Quantum AI

Sr Software Engineer II - Technology Research and Development

Advanced Quantum Testbed Project Scientist

Principal Quantum Applications Scientist - 731

Senior Architect – Agentic Orchestration Frameworks

Senior Research Scientist, Quantum Error Correction

Program Manager, Kill Chain Portfolio (Advanced Sensors & Quantum Systems)

Computational Scientist - 705

Senior Principal Acoustics Signal Processing Engineer

Lead Research Scientist

Solutions Architect, Pharmaceutical and Life Sciences (Principal or Director level) – 771

Solutions Architect - Financial services (Principal or Director level) - 659

Faculty, Technology, Engineering, Construction

Senior Manager, Data Science - Quantum Computing Research (Remote-Eligible)

Postdoctoral Research Scientist

Customer Solutions Manager/Technical Sales Engineer

Fiber Sensing PostDoc

More jobs to discover

I want to receive the latest job alert for algorithm quantum algorithm quantum algorithm quantum physics algorithms

Explore jobs in more locations

Job Seeker Tools

Employer Tools

Browse

Stay Connected