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 meth…