Date Posted:

2025-01-22

Country:

United States of America

Location:

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

Position Role Type:

Unspecified

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 Raytheon 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 40 hours per week during summer 2025.U.S. citizenship is required.

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, as well as our retirement plan. 

Work Location

This is an on-site role. Eligible candidates must reside or relocate within commuting distance of Cambridge, MA. Relocation assistance is given to eligible candidates.

The salary range for this role is - . 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/Affirmative Action Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status, age or any other federally protected class.

Privacy Policy and Terms:

Click on this link to read the Policy and Terms