Network and Formal Methods Research Engineer
| Company | RTX |
|---|---|
| Location | Cambridge, MA, USA |
| Salary | $90000 – $182000 |
| Type | Full-Time |
| Degrees | Bachelor’s, Master’s, PhD |
| Experience Level | Senior, Expert or higher |
Requirements
- Bachelor’s degree in computer science, computer engineering, electrical engineering, mathematics, or physics plus 5+ years of experience, a Master’s degree plus 3+ years, or a Ph.D. degree. Experience in lieu of degree will be considered.
- Strong background in systems security.
- 3+ years experience with multiple software development tools and languages, including but not limited to Python, C/C++ or Java.
- Experience with mathematical logic, and logic programming.
- Experience with the application and scaling of formal methods techniques such as model checking, model measuring, and theorem proving.
- Experience with networking fundamentals.
- Active and transferable Secret U.S. government security clearance is required prior to start date.
Responsibilities
- Design and develop models and specifications of protocols and systems.
- Develop algorithms for analyzing systems to understand how and when they work or break, and how to make them more secure and resilient.
- Advance network security research at BBN.
- Own projects or large components of projects.
- Distinguish BBN and yourself to customers by leading and performing cutting edge research.
- Candidates should expect that they may be required to travel to a BBN, RTX, teammate, or customer site for meetings or other business-related activities.
Preferred Qualifications
- Experience with Formal Methods.
- Experience writing logic for SAT, SMT solvers.
- Experience with Python and/or shell scripting.
- Experience writing proposals, capture.
- Experience in Networking and protocols (TCP/IP stacks, wire-level protocols, RF communications, BGP, etc.)