Apply on Employer Site

RTX · 16 hours ago

Research Software Engineer, Formal Methods

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

Full-time

Onsite

Mid, Senior Level

$96K/yr - $182K/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. They are seeking a Research Software Engineer, Formal Methods to contribute strong software development skills and apply reasoning and formal methods techniques to enhance the security and resilience of large dynamic systems.

AerospaceManufacturingSecuritySensorTelecommunications

No H1B

Security Clearance Required

U.S. Citizen Only

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. Working knowledge applying formal methods techniques such as model checking and theorem proving are highly desirable

Apply critical analyses to results to validate technical hypotheses and inform next steps

Advance network security research at BBN

Own projects or large components of projects

Distinguish BBN and yourself to customers by leading and performing cutting edge research

Travel up to 10%; 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

Qualification

PythonC/C++Formal MethodsJavaMathematical LogicNetworking FundamentalsSystems SecurityShell ScriptingProposal WritingCapture

Required

Bachelor's degree in computer science, Computer Engineering, Electrical Engineering, Mathematics, or Physics and a minimum of 5 years experience, a Master's degree and 3 years experience, or a Ph.D. degree. Experience in lieu of degree will be considered

Active DoD Secret Clearance

Minimum 3 years' experience with multiple software development tools and languages, including but not limited to Python, C/C++ or Java

Understanding and familiarity 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

Prior experience in systems security

Preferred

Experience with Formal Methods, specifically with the application and scaling of formal methods techniques such as model checking, model measuring, and theorem proving

PhD degree

Experience writing logic for SAT, SMT solvers

Experience with Python and/or shell scripting

Experience writing proposals, capture

Experience in Networking and protocols (TCP/IP stacks, wire-level protocols, RF communications, BGP, etc.)

Top Secret Clearance, day one

Benefits

Parental (including paternal) leave

Flexible work schedules

Achievement awards

Educational assistance

Child/adult backup care

Medical

Dental

Vision

Life insurance

Short-term disability

Long-term disability

401(k) match

Flexible spending accounts

Employee assistance program

Employee Scholar Program

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