Research Software Engineer, Formal Methods (Hybrid)
RTX Corporation5 months ago
Cambridge, MA, USA +2 moreSenior
Base Salary
$87k - $165k/yr
Responsibilities
- Program and test software and systems using Python, C, C++, Java, and logic programming languages.
- Design formal and informal models and specifications for protocols and systems.
- Develop algorithms to analyze system behavior, failure modes, security, and resilience.
- Apply formal methods including model checking and theorem proving to network and system research.
- Use analysis results to validate technical hypotheses and determine next steps.
- Advance network security research and own projects or major project components.
- Lead and perform cutting-edge research for customers.
- Travel up to 10% to company, teammate, or customer sites.
Requirements
- University degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics, or equivalent experience, with at least five years of relevant experience; alternatively, an advanced related degree with at least three years of experience.
- At least three years of experience with multiple software development tools and languages, including Python and either C/C++ or Java.
- Experience with formal methods, mathematical logic, logic programming, networking fundamentals, and systems security.
- Ability and willingness to obtain a Top Secret clearance within one year; an active and existing security clearance is required after day one.
- Preferred: PhD degree and experience applying and scaling model checking, model measuring, and theorem proving.
- Preferred: experience writing logic for SAT or SMT solvers, Python or shell scripting, proposals and capture, and networking or protocols including TCP/IP stacks, wire-level protocols, RF communications, or BGP.
Benefits
- Hybrid work arrangement with locations in Columbia, MD; Arlington, VA; or Cambridge, MA.
- Relocation assistance is available.
- Collaborative research environment with mentoring from research scientists and support from business development, programmatic, contracting, finance, and HR teams.
- Access to opportunities to transition research into fielded systems.
- Benefits may include medical, dental, vision, life insurance, disability coverage, 401(k) match, flexible spending accounts, flexible schedules, employee assistance, educational assistance, parental leave, paid time off, holidays, and backup care.
- Potential eligibility for annual short-term or long-term incentive compensation programs.
About RTX Corporation
RTX Corporation builds aerospace and defense systems through its Collins Aerospace, Pratt & Whitney, and Raytheon businesses, serving commercial aviation, the U.S. government, and allied militaries. Its products range from aircraft engines and avionics to radars, missiles, and command-and-control software, sold via long-term OEM programs and defense contracts. Formed in 2020 by the Raytheon–United Technologies merger, RTX is headquartered in Arlington, Virginia and trades on the NYSE as RTX.