Research Software Engineer, Formal Methods for Security

Prattwhitney; Cambridge (MA); Hybrid; USD 100,000 - 130,000; Full time

Benefits offered by this job

Healthcare

401(k) match

Flexible work schedules

Parental leave

Job summary

Prattwhitney is seeking a Research Software Engineer with a focus on formal methods in dynamic systems. This hybrid role, based in Cambridge, requires expertise in Python and C/C++, with additional experience in formal methods and systems security.

The successful candidate will contribute to enhancing security measures and resilience across large-scale systems while leading projects within a dynamic team environment. Comprehensive benefits, including healthcare and professional development opportunities, will be provided.

Qualifications

• Minimum 3 years experience with Python and either C/C++ or Java.
• Experience with Formal Methods and model checking.
• Ability to obtain a Top Secret Clearance within one year.

Responsibilities

• Program and test software and systems.
• Design and develop models and specifications.
• Develop algorithms for security and resilience.

Skills

Python

C/C++

Java

Formal Methods

Mathematical Logic

Networking Fundamentals

Systems Security

Education

University Degree in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or Physics

Ph.D. degree

Tools

Software Development Tools

SAT/SMT Solvers

Job description

Prattwhitney is seeking a Research Software Engineer with a focus on formal methods in dynamic systems. This hybrid role, based in Cambridge, requires expertise in Python and C/C++, with additional experience in formal methods and systems security.

The successful candidate will contribute to enhancing security measures and resilience across large-scale systems while leading projects within a dynamic team environment. Comprehensive benefits, including healthcare and professional development opportunities, will be provided.