Sr. Principal Formal Methods Research Senior Scientist

Date Posted:

2025-01-08

Country:

United States of America

Location:

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

Position Role Type:

Onsite

The Raytheon BBN Networking and Cyber Technologies group seeks well-qualified and eager Formal Method researchers 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. You will work with extraordinarily talented individuals.

What You Will Do

Responsibilities include, but are not limited to:

• 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.
• 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

• 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.
• Experience in Formal Methods and scientific modelling.
• Experience in disciplined Python, C++, and Java code development.
• Position may require some amount of overnight travel.
• Position requires US citizenship with ability and willingness to obtain a US Government Security Clearance

Qualifications We Prefer - Familiar with all, Expert in some

• 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.
• Ability to work and communicate as part of a team.
• Experience with business capture.
• Understanding of object-oriented programming and principles.
• Ability to receive a DoD clearance; an active clearance is highly desired.

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 working situation 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 busin