Network and Formal Methods Research Engineer
Apply NowCompany: Raytheon Technologies
Location: Cambridge, MA 02139
Description:
Date Posted:
2025-04-02
Country:
United States of America
Location:
MA105: BBN Headquarters 10 Moulton Street , Cambridge, MA, 02138 USA
Position Role Type:
Onsite
At RTX BBN Technologies, we invent new science by applying cross-discipline techniques in new ways. Our Network and Cyber Technologies group anticipates the future of communications from applied physics to fundamental analysis of large application systems.
RTX BBN Networking and Cyber Technologies group seeks a well-qualified and skilled network and systems researcher 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 work with extraordinarily talented individuals.
What You Will Do
Responsibilities include, but are not limited to:
Qualifications You Must Have
Qualifications We Prefer - Familiar with all, Expert in some
What We Offer
Benefits (focus on unique benefits vs. standard). You may use your current requisition benefits content provided they have been reviewed by your HR Bus. Partner and Recruiter. Or you may use - 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.
Relocation Assistance available
This position is Onsite at our Cambridge, Mass headquarters
To help you achieve your goals, BBN will provide
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 salary range for this role is 90,000 USD - 182,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
2025-04-02
Country:
United States of America
Location:
MA105: BBN Headquarters 10 Moulton Street , Cambridge, MA, 02138 USA
Position Role Type:
Onsite
At RTX BBN Technologies, we invent new science by applying cross-discipline techniques in new ways. Our Network and Cyber Technologies group anticipates the future of communications from applied physics to fundamental analysis of large application systems.
RTX BBN Networking and Cyber Technologies group seeks a well-qualified and skilled network and systems researcher 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 work with extraordinarily talented individuals.
What You Will Do
Responsibilities include, but are not limited to:
- Design and develop models and specifications of protocols and systems.
- Develop algorithms for analyzing systems to understand how and when they work or break, and how to make them more secure and resilient.
- Advance network security research at BBN.
- Own projects or large components of projects.
- Distinguish BBN and yourself to customers by leading and performing cutting edge research.
- 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 plus 5+ years of experience, a Master's degree plus 3+ years, or a Ph.D. degree. Experience in lieu of degree will be considered.
- Strong background in systems security.
- 3+ years experience with multiple software development, tools and languages, including but not limited to Python, C/C++ or Java.
- Experience with mathematical logic, and logic programming.
- Experience with the application and scaling of formal methods techniques such as model checking, model measuring, and theorem proving
- Experience with networking fundamentals.
- Active and transferable Secret U.S. government security clearance is required prior to start date.
Qualifications We Prefer - Familiar with all, Expert in some
- Experience with Formal Methods.
- 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.)
What We Offer
Benefits (focus on unique benefits vs. standard). You may use your current requisition benefits content provided they have been reviewed by your HR Bus. Partner and Recruiter. Or you may use - 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.
Relocation Assistance available
This position is Onsite at our Cambridge, Mass headquarters
To help you achieve your goals, BBN will provide
- A strong leadership team well-versed in government R&D.
- A collaborative and collegial environment to push state-of-the-art research.
- A diverse and 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.
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 salary range for this role is 90,000 USD - 182,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