Offer summary

Qualifications:

Currently pursuing a Ph.D. in Computer Science, Computer Engineering, Mathematics, or a related field., Experience with formal verification tools such as SMT solvers and interactive theorem provers is preferred., Knowledge in networking fundamentals and mathematical logic is advantageous., Ability to work in an agile team and familiarity with version control systems are beneficial..

Key responsibilities:

Join a team focused on advancing Formal Methods research at BBN.

Contribute to the development of new algorithms and paradigms in Formal Methods for networking problems.

Engage in both creative and disciplined thinking strategies.

Enhance oral and written presentation skills through collaborative work.

Job description

Date Posted:

2025-05-21

Country:

United States of America

Location:

MA105: BBN Headquarters 10 Moulton Street , Cambridge, MA, 02138 USA

Position Role Type:

Remote

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

U.S. citizenship is required, as only U.S. citizens are authorized to access information under this program/contract.

Security Clearance:

None/Not Required

RTX BBN Technologies, a subsidiary of RTX, is the research company behind many revolutionary advances that we take for granted today. BBN is where email was invented, and the first routers were implemented. Today, BBN's scientists and engineers are working to advance the state-of-the-art on topics ranging from machine language translation to quantum cryptography. BBN offers the opportunity to perform exciting and revolutionary research that solves important problems in an exciting, collaborative environment.

The RTX BBN Networking and Cyber Technologies group seeks well-qualified and eager Formal Method researchers with System/Software Engineering experience to join exciting new projects in process logic and communications network analysis and formalism. You will model and analyze networks and complex processes to develop key insights and proofs, and improve understanding and performance of such systems. This position is an opportunity to work with innovative technologies to support Formal Methods for verification of processes, networks, etc. You will work with extraordinarily talented individuals.

What You Will Do

Responsibilities include, but are not limited to:

Join a team that is building and advancing a Formal Methods-related research area for BBN.
Contribute to creating new algorithms and paradigms in Formal Methods applied to networking problems.
Learn strategies for both free form thinking and disciplined application.
Hone your oral and written presentation skills.

Qualifications You Must Have

Must be currently pursuing a Ph.D. in Computer Science, Computer Engineering, Mathematics, or related field.
Availability to work 10 hours per week, Fall 2025.

Qualifications We Prefer

Experience with formal verification tools such as SMT solvers and interactive theorem provers.
Experience with mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).
Knowledge in Networking fundamentals.
Experience working in an agile team and with version control systems.
Ability to receive a DoD clearance.

What We Offer

Our interns are eligible for paid time off, commuter benefits, as well as our retirement plan.

Work Location

This is a remote role.

The salary range for this role is 37,000 USD - 82,000 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:

Click on this link to read the Policy and Terms

Required profile