Skip to main contentA logo with &quat;the muse&quat; in dark blue text.

Formal Methods Research Engineer

AT RTX
RTX

Formal Methods Research Engineer

Cambridge, MA

Date Posted:
2024-03-12
Country:
United States of America
Location:
MA105: BBN Headquarters 10 Moulton Street , Cambridge, MA, 02138 USA
Position Role Type:
Onsite

The Raytheon BBN Networking and Cyber Technologies group seek well-qualified and eager System/Software Engineers with experience in Formal Methods to become an integral part of exciting new projects in process logic and communications network understanding. You will employ strategies for both free-form thinking and disciplined application. You will work with extraordinarily talented individual.

Required Skills

BS degree and 5 years or MS and 3 years of experience or a PhD in Computer Science, Computer Engineering, Electrical Engineering, or relevant field

Want more jobs like this?

Get jobs in Cambridge, MA delivered to your inbox every week.

By signing up, you agree to our Terms of Service & Privacy Policy.


Experience in Formal Methods

Ability to work and communicate as part of a team

Understanding of object-oriented programming and principles

Experience in disciplined C++, Java, and Python code development

Position may require some amount of overnight travel

US citizenship required

Additional Skills Desired

Formal verification tools such as SMT solvers and interactive theorem provers

Experience working in an agile team and with version control systems

Mathematical logic (e.g., temporal logic, separation logic, category theory, etc.)

Experience with Docker

Experience in Networking Fundamentals is a plus

Ability to receive a DoD clearance; an active clearance is highly desired

Why us

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.

The salary range for this role is 77,000 USD - 163,000 USD. The salary range provided is a good faith estimate representative of all experience levels. RTX considers several factors when extending an offer, including but not limited to, the role, function and associated responsibilities, a candidate's work experience, location, education/training, and key skills.

Hired applicants may be eligible for benefits, including but not limited to, medical, dental, vision, life insurance, short-term disability, long-term disability, 401(k) match, flexible spending accounts, flexible work schedules, employee assistance program, Employee Scholar Program, parental leave, paid time off, and holidays. Specific benefits are dependent upon the specific business unit as well as whether or not the position is covered by a collective-bargaining agreement.

Hired applicants may be eligible for annual short-term and/or long-term incentive compensation programs depending on the level of the position and whether or not it is covered by a collective-bargaining agreement. Payments under these annual programs are not guaranteed and are dependent upon a variety of factors including, but not limited to, individual performance, business unit performance, and/or the company's performance.

This role is a U.S.-based role. If the successful candidate resides in a U.S. territory, the appropriate pay structure and benefits will apply.

RTX anticipates the application window closing approximately 40 days from the date the notice was posted. However, factors such as candidate flow and business necessity may require RTX to shorten or extend the application window.

RTX is An Equal Opportunity/Affirmative Action Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status, age or any other federally protected class.

Privacy Policy and Terms:

Click on this link to read the Policy and Terms

Client-provided location(s): Cambridge, MA, USA
Job ID: Raytheon_Technologies_FGB-783834086
Employment Type: Full Time

Perks and Benefits

  • Health and Wellness

    • Health Insurance
    • Dental Insurance
    • Vision Insurance
    • Life Insurance
    • Short-Term Disability
    • Long-Term Disability
    • FSA
    • HSA
  • Parental Benefits

    • Birth Parent or Maternity Leave
    • Family Support Resources
  • Vacation and Time Off

    • Personal/Sick Days
  • Financial and Retirement

    • 401(K)
    • 401(K) With Company Matching
  • Professional Development

    • Internship Program
    • Tuition Reimbursement
    • Lunch and Learns