Date Posted:2025-07-31Country:United States of AmericaLocation:MA105: BBN Headquarters 10 Moulton Street , Cambridge, MA, 02138 USAPosition Role Type:HybridU.S. Citizen, U.S. Person, or Immigration Status Requirements: Active and transferable U.S. government issued security clearance is required prior to start date.​ U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance​Security Clearance: DoD Clearance: SecretRTX 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, Pratt &amp; 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 the RTX BBN Technologies team:The RTX BBN Networking and Cyber Technologies group seeks a Formal Methods researcher with System/Software Engineers experience to join exciting new projects in process logic and communications network analysis and formalism. In this position, you will pursue external funding from government research agencies (e.g. DARPA, IARPA, DoD Service Labs) to help further U.S. National Security Objectives and the betterment of society; you will attract, hire and develop top-notch talent to round out your team. This position is an opportunity to shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze networks and complex processes to develop key insights and proofs and improve understanding and performance of such systems.What You Will Do<ul><li>Build and advance a Formal Methods-related research area for BBN having measurable impact on business capture.</li><li>Articulate and execute a vision and tactical direction for BBN. Influence the same across RTX.</li><li>Lead cross-functional teams performing business development, proposal preparation, and execution.</li><li>Help hire and develop top-notch personnel to round out the team you will grow and lead.</li><li>Lead projects, as well as grow your team of collaborators and implementers.</li><li>Distinguish BBN and yourself to customers by leading and performing cutting edge research.</li></ul>Qualifications You Must Have<ul><li>A BS degree in Mathematics, Computer Science, or relevant field plus 10 years of relevant experience, or MS plus 7 years, or PhD plus 5 years. Experience in lieu of degree will be considered.</li></ul><ul><li>Active and transferable Secret U.S. government security clearance is required prior to start date. (DOD secret clearance required)</li><li>Experience in Formal Methods and scientific modelling.</li><li>Experience with business capture.</li><li>Demonstrated understanding of object-oriented programming and principles.</li><li>Experience in disciplined Python, C++, and Java code development.</li><li>Position may require some amount of overnight travel.</li></ul>Qualifications We Prefer<ul><li>Formal verification tools such as SMT solvers and interactive theorem provers.</li></ul><ul><li>Experience writing proposals with our target government customers.</li><li>Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).</li><li>Experience in Networking fundamentals.</li><li>Experience working in an agile team and with version control systems.</li></ul>Why Join RTX BBN Technologies?<ul><li>We invent new science by applying cross-discipline techniques in new ways.</li><li>Network and Cyber Technologies group anticipates the future of communications from applied physics to fundamental analysis of large application systems.</li><li>A strong leadership team well-versed in Government Research &amp; Development.</li><li>A collaborative and collegial environment to push state-of-the-art research.</li><li>Technically competent pool of research scientists who are willing to mentor, listen, and help you refine your research vision and goals.</li><li>Business Development, Programmatic, Contracting, Finance, and HR Support.</li><li>Access, through RTX, opportunities that help transition your research and ultimately see it fielded.</li></ul>Location<ul><li>Hybrid working situation in the Cambridge, MA office</li><li>Relocation Assistance available.</li></ul>What We OfferWhether 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.<div><div><div></div></div></div>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 137,000 USD - 275,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 <a target="_blank" href="http://www.rtx.com/privacy/Job-Applicant-Privacy-Notice">link</a> to read the Policy and Terms