Research Software Engineer: Formal Methods & Security
RTX
Arlington, Virginia, US
About the Role
A leading defense technology company is seeking a Research Software Engineer to enhance the security and resilience of dynamic systems. Candidates should have strong experience in software development, preferably with Python and C/C++. Expertise in formal methods and systems security is a must. The position offers a hybrid work model and benefits including a robust rewards package, healthcare, and educational assistance. The salary range is competitive, from $86,800 to $165,200. #J-18808-Ljbffr
Required Skills
Python
C/C++
formal methods
systems security
software development
Keywords
Research Software Engineer
Formal Methods
Security
Interested in this role?
Apply now and take the next step in your career.