Research Software Engineer, Formal Methods

Real Time Executives Inc

CAMBRIDGE, MA, USA
Base: 68,900 usd - 131,100 usd; bonus/equity: not ...
**
Formal methods techniques
Mathematical logic and logic programming
Networking fundamentals and systems security
** Real Time Executives Inc is seeking a Research Software Engineer in Cambridge, MA, focusing on formal methods to enhance the security and resilience of large-scale dynamic systems. The role requires proficiency in programming languages such as Python, C/C++, or Java and familiarity with formal methods, networking fundamentals, and systems security. **

Job Summary

  • Contribute strong software development skills and apply reasoning and formal methods techniques to significantly enhance security and resilience of large dynamic systems.
  • Develop software to support models that analyze networks and complex processes, improve the collective understanding of such systems, and increase their performance.
  • This position offers the opportunity to shine as a lead developer of an exceptional team while building core technologies for improving processes, networks, protocols, and systems.

Matching Summary

Match Score: 75

** Real Time Executives Inc is seeking a Research Software Engineer in Cambridge, MA, focusing on formal methods to enhance the security and resilience of large-scale dynamic systems. The role requires proficiency in programming languages such as Python, C/C++, or Java and familiarity with formal methods, networking fundamentals, and systems security. **

Salary

Base: 68,900 USD - 131,100 USD; Bonus/Equity: Not specified; Benefits: Medical, dental, vision, 401(k) match, parental leave, flexible work schedules

Skills & Requirements

Must-have

  • Formal methods techniques
  • Mathematical logic and logic programming
  • Networking fundamentals and systems security
  • Python, C, C++, or Java development
  • Develop algorithms for system analysis

Nice-to-have

  • Application and scaling of formal methods
  • Writing logic for SAT, SMT solvers
  • Python and/or shell scripting experience
  • Networking and protocols expertise
  • Proposal and capture experience

Key Requirements

  • Bachelor's Degree in CS, CE, EE, Math, or Physics and 2 years experience, or Master's with 1 year experience
  • Minimum 2 years software development experience
  • Ability to obtain Top Secret Clearance within a year

Work Rights

U.S. citizenship required

Tailored Resume

Cover Letter