Formal Methods R&d Software Engineer (top Secret, Hybrid)
Prattwhitney
Cambridge, Massachusetts, US
About the Role
A leading aerospace company is seeking a Research Software Engineer specializing in Formal Methods to enhance the security and resilience of large-scale systems. This hybrid role is based in Cambridge, MA, and requires strong software development skills in languages like Python and C++. Candidates should have a relevant degree and experience in formal methods, networking fundamentals, and systems security. The position offers a competitive salary and benefits, emphasizing collaboration with a talented team. #J-18808-Ljbffr
Required Skills
Python
C++
formal methods
software development
security
Keywords
Formal Methods
Research Software Engineer
Hybrid
Cambridge MA
Aerospace
Interested in this role?
Apply now and take the next step in your career.