Formal Methods Research Engineer
| Company | RTX |
|---|---|
| Location | Cambridge, MA, USA |
| Salary | $90000 – $182000 |
| Type | Full-Time |
| Degrees | Bachelor’s, Master’s, PhD |
| Experience Level | Mid Level, Senior |
Requirements
- A BS degree in Mathematics, Computer Science, or relevant field plus 5 years of relevant experience, or MS plus 3 years, or PhD. Experience in lieu of degree will be considered.
- Experience in Formal Methods and scientific modelling.
- Ability to work and communicate as part of a team.
- Understanding of object-oriented programming and principles.
- Experience in disciplined Python, C++, and Java code development.
- Position requires a U.S. person or the ability to obtain an Export Authorization from the appropriate government agency for non-U.S. persons.
- US citizenship and ability to obtain a security clearance is required. Active security clearance is a plus.
Responsibilities
- Build and advance a Formal Methods-related research area for BBN, having measurable impact on business capture.
- Contribute to cross-functional teams performing business development, proposal preparation, and execution.
- Help hire top-notch personnel.
- Lead small projects, mentor and lead team collaborators and implementers.
- 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
- Formal verification tools such as SMT solvers and interactive theorem provers.
- Ability to work and communicate as part of a team.
- Experience writing proposals with our target government customers.
- Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).
- Knowledge in Networking fundamentals.
- Experience working in an agile team and with version control systems.
- Ability to receive a DoD clearance; an active clearance is highly desired.