> Markdown version of [/jobs/ext/4691845-research-software-engineer-formal-methods-hybrid](https://www.wearedevelopers.com/jobs/ext/4691845-research-software-engineer-formal-methods-hybrid). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Research Software Engineer, Formal Methods (Hybrid) - **Company:** RTX - **Location:** Columbia, MD, United States - **Experience:** Experienced - **Salary:** $86,800 - $165,200 - **Contract:** Permanent contract - **Skills:** Testing (Software), C (Programming Language), Java (Programming Language), Border Gateway Protocol, C++ (Programming Language), Constraint Logic Programming, Python (Programming Language), Network Security, Automation of Marketing, Networking Basics, Software Tools, Shell Script, Software Engineering, TCP/IP, Formal Methods - **Published:** November 12, 2026 - **Apply:** https://www.careerbuilder.com/job-details/research-software-engineer-formal-methods-hybrid-columbia-md--fa3a11cd-383e-4320-a981-1b8e7860896c ## About the Role Software Engineering, United States Citizen, RTX, Aerospace and Defense, Research & Development (R&D), Software Development, Software Engineering, Large-Scale Systems, Network Performance/Analysis, Process Improvement, * Typically requires a degree in Science, Technology, Engineering or Mathematics (STEM) and minimum 5 years prior relevant experience or an Advanced Degree in a related field and minimum 3 years of experience or in absence of a degree, 9 years of relevant experience * Minimum 3 years' experience with multiple software development tools and languages, including Python and either C/C++ or Java. * 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. * The ability to obtain and maintain a U.S. government issued security clearance is required Qualifications We Prefer * 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.). ## Description * 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., Whether you're just starting out on your career journey or are an experienced professional, we offer a robust total rewards package with compensation; healthcare, wellness, retirement, and work/life benefits; career development and recognition programs. Some of the benefits we offer include parental (including paternal) leave, flexible work schedules, achievement awards, educational assistance and child/adult backup care., Please ensure the role type defined below is appropriate for your needs before applying to this role. This position is classified as: * Hybrid: Employees who are working in Hybrid roles will work regularly both onsite and offsite. Ratio of time working onsite will be determined in partnership with your leader. * Hybrid from one of the following locations: Columbia, MD - Arlington, VA - Cambridge, MA * Relocation assistance will be available. To help you achieve your goals, BBN will provide: * We invent new science by applying cross-discipline techniques in new ways. * Network and Cyber Technologies group anticipates the future of communications from applied physics to fundamental analysis of large application systems. * A strong leadership team well-versed in Government Research & Development. * A collaborative and collegial environment to push state-of-the-art research. * Technically competent pool of research scientists who are willing to mentor, listen, and help you refine your research vision and goals. * Business Development, Programmatic, Contracting, Finance, and HR support. * Access, through RTX, to opportunities that help transition your research and ultimately see it fielded.