Senior Principal Research Engineer, Formal Methods

Date Posted:

Country: United States of America

Location: US-MA-CAMBRIDGE-BBN
04 ~ 10 & 50 Moulton St ~ MOULTON B4

Position Role Type: Hybrid

U.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 Type: DoD Clearance:
Secret

Security Clearance Status: Active and existing security clearance required on day 1

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.

• Build and advance a Formal Methods-related research area for BBN having measurable impact on business capture.
• Articulate and execute a vision and tactical direction for BBN. Influence the same across RTX.
• Lead cross-functional teams performing business development, proposal preparation, and execution.
• Help hire and develop top-notch personnel to round out the team you will grow and lead.
• Lead projects, as well as grow your team of collaborators and implementers.
• Distinguish BBN and yourself to customers by leading and performing cutting edge research.

• 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.
• Active DoD secret clearance
• Experience in Formal Methods and scientific modelling.
• Experience with business capture.
• Demonstrated understanding of object-oriented programming and principles.
• Experience in disciplined Python, C++, and Java code development.
• Position may require some amount of overnight travel.

• Formal verification tools such as SMT solvers and interactive theorem provers.
• Experience writing proposals with our target government customers.
• Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).
• Experience in Networking fundamentals.
• Experience working in an agile team and with version control systems.

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 Hybrid at our Cambridge, Mass. headquarters

The salary range for this role is 145,600 USD - 276,800 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…