• Job Description

  Req#: 01769750

  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

• About the company

  Raytheon Technologies is an aerospace and defense company that provides advanced systems and services for commercial, military and government customers worldwide. It comprises four industry-leading businesses – Collins Aerospace, Pratt & Whitney, Raytheon Intelligence & Space and Raytheon Missiles & Defense.

Notice