Apply on Employer Site

RTX · 4 hours ago

Senior Principal Research Engineer, Formal Methods

US-MA-CAMBRIDGE-BBN04 ~ 10 & 50 Moulton St ~ MOULTON B4

Full-time

Hybrid

Senior Level, Lead/Staff

$146K/yr - $277K/yr

5+ years exp

RTX Corporation is an Aerospace and Defense company that provides advanced systems and services for commercial, military and government customers worldwide. The role involves leading research in Formal Methods, pursuing funding for national security projects, and developing a high-performing team to advance processes and network analysis.

AerospaceManufacturingSecuritySensorTelecommunications

No H1B

Security Clearance Required

U.S. Citizen Only

Responsibilities

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

Qualification

Formal MethodsScientific ModellingObject-Oriented ProgrammingPythonC++JavaBusiness CaptureFormal Verification ToolsMathematical LogicNetworking FundamentalsAgile Team ExperienceVersion Control Systems

Required

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

Preferred

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

Benefits

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

Holidays

Company

RTX

Glassdoor3.8

RTX is comprised of three market-leading businesses – Collins Aerospace, Pratt & Whitney and Raytheon – working as one to answer the biggest questions and solve the hardest problems in aerospace and defense.

Founded in 1922

Arlington, Virginia, USA

10001+ employees