Hybrid Research Software Engineer, Formal Methods

at RTX

• Job title: Research Software Engineer, Formal Methods
• Job type: Full Time
• Experience level: Mid level, Senior
• Salary: $86,800 - $165,200 per year
• Degree requirement: Bachelor's Degree
• Tech skills: Java, Python
• Location requirements: Hybrid, Cambridge, United States

About the role

• Research Software Engineer at RTX developing formal methods to enhance security and resilience of large systems. Requires strong software development skills and U.S. citizenship for security clearance.

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%

Requirements

• 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
• Prior experience in systems security
• Ability and willingness to obtain a Top Secret Clearance within a year

Benefits

• Healthcare, wellness, retirement, and work/life benefits
• Career development and recognition programs
• Parental leave (including paternal)
• Flexible work schedules
• Achievement awards
• Educational assistance
• Child/adult backup care