Hiring: Research Software Engineer, Formal Methods (Hybrid) Company: RTX Location: Cambridge, MA Job Posted Time: 2026-09-03 11:23:41 Employment Type: Remote Target Skills & Keywords : BGP, C, C++, Java, Python, Security Clearance, Shell, TCP/IP, Top Secret Clearance About the job Experience: •3 years’ experience with multiple software development tools and languages, including Python and either C/C++ or Java. •Minimum 3 years’ experience with multiple software development tools and languages, including Python and either C/C++ or Java. Required Skills: •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. •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. •Minimum 3 years’ experience with multiple software development tools and languages, including Python and either C/C++ or Java. Qualifications: •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. •Ability and willingness to obtain a Top Secret Clearance within a year. •5 years prior relevant experience, or an Advanced Degree in a related field and minimum 3 years experience. •Minimum 5 years prior relevant experience, or an Advanced Degree in a related field and minimum 3 years experience. Compensation: •Flexible work environment (work from home / hybrid options) Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don't miss this opportunity to join a forward-thinking team!