Research Software Engineer, Formal Methods

RTX Corporation

Cambridge, MA, US
Base: $68,900 - $131,100 usd; bonus/equity: annual...
Hybrid
Python c c++ java programming
Formal methods model checking theorem proving
Mathematical logic and logic programming
This role involves applying formal methods techniques to significantly enhance the security and resilience of large dynamic systems within the RTX BBN team

Job Summary

  • This role involves applying formal methods techniques to significantly enhance the security and resilience of large dynamic systems within the RTX BBN team.
  • Candidates will design and develop models for protocol analysis while owning large components of cutting-edge research projects.
  • The position offers a robust total rewards package including healthcare, retirement benefits, flexible work schedules, and educational assistance.

Matching Summary

This role involves applying formal methods techniques to significantly enhance the security and resilience of large dynamic systems within the RTX BBN team.

Salary

Base: $68,900 - $131,100 USD; Bonus/Equity: Annual short-term and/or long-term incentive programs available; Benefits: Medical, dental, vision, 401(k) match, parental leave, and educational assistance

Skills & Requirements

Must-have

  • Python C C++ Java programming
  • Formal methods model checking theorem proving
  • Mathematical logic and logic programming
  • Networking fundamentals and systems security
  • Bachelor's degree in CS or related field

Nice-to-have

  • Experience with SAT SMT solvers
  • TCP/IP stacks and RF communications
  • Proposal writing and capture experience
  • Active Top Secret security clearance
  • Shell scripting proficiency

Key Requirements

  • U.S. citizenship required for security clearance
  • Minimum 2 years experience with Bachelor's degree
  • Ability to obtain Top Secret Clearance within one year
  • Active transferable Top Secret Clearance preferred

Work Rights

Must have US citizenship

Tailored Resume

Cover Letter