RTX

3 months ago

Research Software Engineer, Formal Methods (Hybrid)

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI

Last checked: 15 hours agoStatus: Live

Job Summary

Join RTX’s BBN Networking and Cyber Technologies group as a Research Software Engineer focused on formal methods and security for large-scale dynamic systems. Lead development across Python, C, C++, and Java while designing formal and informal models, applying model checking and theorem proving, and advancing network security research. Hybrid work onsite in Cambridge, MA with collaboration across multiple US locations; travel up to 10%.

Location: Cambridge, Columbia

Workplace: Hybrid

Employment Type: Full time

Job Function: Software Engineering

Key Responsibilities

•Program and test software and systems in Python, C, C++, or Java, as well as using logic programming languages.
•Design and develop formal (using mathematical logic) or informal 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.
•Apply critical analyses to results to validate technical hypotheses and inform next steps.
•Travel up to 10% to BBN/RTX/teammate or customer sites.

Travel: Low travel

Pay and Benefits

Salary: USD 86,800 - 165,200 annually

Perks:Parental Leave401kHealth Insurance

Key Requirements

•Typically requires a University Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics or equivalent experience and minimum 5 years prior relevant experience, or an Advanced Degree in a related field and minimum 3 years experience.
•Minimum 3 years’ experience with multiple software development tools and languages, including Python and either C/C++ or Java.
•Prior experience with Formal Methods, preferably with the application and scaling of formal methods techniques (e.g. model checking, model measuring, and theorem proving).
•Prior experience with mathematical logic and logic programming.
•Prior experience with networking fundamentals.

Experience:5+ yearsAerospaceDefenseSecurityNetworking

Education:Bachelor's

Skills:CommunicationProblem-solving

Languages:English

Tech Stack:PythonCC++JavaModel checkingTheorem provingLogic programmingNetworking

Eligibility

Nationality:US National

Security Clearance:Top Secret

Company Brief

RTX

Designs, manufactures, and services aerospace and defense systems, including aircraft engines, avionics, aerostructures, missiles, and cybersecurity solutions for commercial, military, and government customers worldwide.

Industry: Aerospace Manufacturing

Company Size: Enterprise (1,001+ employees)

Revenue: USD 1B+

Growth: Public Company

Valuation: Public Company (Market Cap in USD)

Funding: IPO / Publicly Listed

Headquarters: Arlington, United States

Founded: 2020

Website

Loading job details...

Preparing the role view and application actions.

RTX