Research Software Engineer, Formal Methods (Hybrid)

RTX; Columbia (MD); Hybrid; USD 86,800 - 165,200; Full time

Benefits offered by this job

Comprehensive healthcare plans

Career development programs

Parental leave options

Flexible work schedules

Job summary

A leading technology firm is seeking a Research Software Engineer specializing in formal methods to enhance security and resilience in large dynamic systems. This hybrid role involves programming in Python, C/C++, or Java while utilizing formal methods techniques like model checking. Candidates should have a strong software development background with at least five years of experience, ideally including formal methods and networking fundamentals. A robust benefits package and opportunities for career development are offered.

Qualifications

• Minimum 5 years of relevant experience or advanced degree with 3 years experience.
• Experience with multiple software development tools and languages.
• Prior experience with Formal Methods and mathematical logic.

Responsibilities

• Program and test software and systems using Python, C, C++, or Java.
• Design and develop models and specifications of protocols and systems.
• Develop algorithms for analyzing system functionality and security.

Skills

Software development

Security and resilience of systems

Formal methods

Mathematical logic

Networking fundamentals

Education

University degree in Computer Science or related fields

Tools

Python

C/C++

Java

Job description

Job Title

Research Software Engineer, Formal Methods.

Location

Hybrid: Employees who are working in hybrid roles will work regularly both onsite and offsite. Locations: Columbia, MD; Arlington, VA; Cambridge, MA. Relocation assistance will be available.

Job Summary

We are looking for a research software engineer with strong software development skills and an interest in security and resilience of large-scale dynamic systems. You will contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic systems.

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% as required.

Required Qualifications

• Typically requires a university degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, Physics, or equivalent experience and a minimum of 5 years prior relevant experience, or an advanced degree in a related field and a minimum of 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, theorem proving).
• Prior experience with mathematical logic and logic programming.
• Prior experience with networking fundamentals.
• Prior experience in systems security.
• Ability and willingness to obtain a Top Secret clearance within a year.

Preferred Qualifications

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

Benefits

• Robust total rewards package with compensation; healthcare, wellness, retirement, and work/life benefits; career development and recognition programs.
• Parental leave (including paternal), flexible work schedules, achievement awards, educational assistance and child/adult backup care.
• Technical support from business development, programmatic, contracting, finance, and HR.
• Access through RTX to opportunities that help transition your research and ultimately see it fielded.

Salary Range

The salary range for this role is 86,800 USD - 165,200 USD.

Equal Opportunity Employer

RTX is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability or veteran status, or any other applicable state or federal protected class. RTX provides affirmative action in employment for qualified individuals with a disability and protected veterans in compliance with Section 503 of the Rehabilitation Act and the Vietnam Era Veterans’ Readjustment Assistance Act.