Sr. Principal Formal Methods Research Senior Scientist
| Company | RTX |
|---|---|
| Location | Cambridge, MA, USA |
| Salary | $137000 – $275000 |
| Type | Full-Time |
| Degrees | Bachelor’s, Master’s, PhD |
| Experience Level | Senior |
Requirements
- A BS degree in Mathematics, Computer Science, or relevant field plus 10 years of relevant experience, or MS plus 7 years, or PhD plus 5 years. Experience in lieu of degree will be considered.
- Experience in Formal Methods and scientific modelling.
- Experience in disciplined Python, C++, and Java code development.
- Position requires US citizenship with ability and willingness to obtain a US Government Security Clearance.
Responsibilities
- Build and advance a Formal Methods-related research area for BBN having measurable impact on business capture.
- Articulate and execute a vision and tactical direction for BBN. Influence the same across RTX.
- Lead cross-functional teams performing business development, proposal preparation, and execution.
- Help hire and develop top-notch personnel to round out the team you will grow and lead.
- Lead projects, as well as grow your team of 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.
- Experience writing proposals with our target government customers.
- Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.).
- Experience in Networking fundamentals.
- Experience working in an agile team and with version control systems.
- Ability to work and communicate as part of a team.
- Experience with business capture.
- Understanding of object-oriented programming and principles.
- Ability to receive a DoD clearance; an active clearance is highly desired.