The Raytheon BBN Networking and Cyber Technologies group seeks well-qualified and eager Formal Method researchers with System/Software Engineers experience to join exciting new projects in process logic and communications network analysis and formalism. In this position, you will pursue external funding from government research agencies (e.g. DARPA, IARPA, DoD Service Labs) to help further U.S. National Security Objectives and the betterment of society; you will attract, hire and develop top-notch talent to round out your team. This position is an opportunity to shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze networks and complex processes to develop key insights and proofs, and improve understanding and performance of such systems. You will work with extraordinarily talented individuals.
What You Will Do
Responsibilities include, but are not limited to:
- 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.
Qualifications You Must Have
- 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 with business capture.
- 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 may require some amount of overnight travel.
- Position requires a U.S. person or the ability to obtain an Export Authorization from the appropriate government agency for non-U.S. persons.
Qualifications We Prefer - Familiar with all, Expert in some
- 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 receive a DoD clearance; an active clearance is highly desired.
What We Offer
Raytheon BBN is proud to offer a comprehensive total compensation package including a competitive 401k company match, a Retirement Contribution plan, performance-based incentive, and competitive benefits package. In addition to protecting your and your family’s health and well-being, we also offer important financial and family friendly benefits to meet your needs.
Our Work/Life benefits include – Paid Parental Leave – Adoption Assistance – Auto and Home Insurance – Child/Elder Back Up Care – College Coach – Retirement Planning Services – Flexible Work Arrangements - Legal Services – LifeResources – Employee Discount Program – Educational Assistance – Transportation Benefits – and Wellness Reward.
Requires advanced to expert knowledge of work area typically obtained through advanced education combined with experience.
