Research Software Engineer: Formal Methods & Security

RTX; Columbia (MD); Hybrid; USD 86,800 - 165,200; Full time

Benefits offered by this job

Comprehensive healthcare plans

Career development programs

Parental leave options

Flexible work schedules

Job summary

A leading technology firm is seeking a Research Software Engineer specializing in formal methods to enhance security and resilience in large dynamic systems. This hybrid role involves programming in Python, C/C++, or Java while utilizing formal methods techniques like model checking. Candidates should have a strong software development background with at least five years of experience, ideally including formal methods and networking fundamentals. A robust benefits package and opportunities for career development are offered.

Qualifications

• Minimum 5 years of relevant experience or advanced degree with 3 years experience.
• Experience with multiple software development tools and languages.
• Prior experience with Formal Methods and mathematical logic.

Responsibilities

• Program and test software and systems using Python, C, C++, or Java.
• Design and develop models and specifications of protocols and systems.
• Develop algorithms for analyzing system functionality and security.

Skills

Software development

Security and resilience of systems

Formal methods

Mathematical logic

Networking fundamentals

Education

University degree in Computer Science or related fields

Tools

Python

C/C++

Java

Job description

A leading technology firm is seeking a Research Software Engineer specializing in formal methods to enhance security and resilience in large dynamic systems. This hybrid role involves programming in Python, C/C++, or Java while utilizing formal methods techniques like model checking. Candidates should have a strong software development background with at least five years of experience, ideally including formal methods and networking fundamentals. A robust benefits package and opportunities for career development are offered.