Senior Formal Methods Engineer

Overview:

Draper is an independent, nonprofit research and development company headquartered in Cambridge, MA. The 2,000+ employees of Draper tackle important national challenges with a promise of delivering successful and usable solutions. From military defense and space exploration to biomedical engineering, lives often depend on the solutions we provide. Our multidisciplinary teams of engineers and scientists work in a collaborative environment that inspires the cross-fertilization of ideas necessary for true innovation. For more information about Draper, visit www.draper.com.

Job Description Summary:

A Cyber and Formal Methods Engineer (SMTS) leverages an understanding of hardware, firmware/software, and existing or custom tooling to evaluate systems for vulnerabilities and/or to develop software to exploit and alter the behavior of a system. Offensive Security Engineers are responsible for both identifying and defeating modern defensive security techniques in both hardware and software to deliver software that can withstand environmental scrutiny. Works independently, in conjunction with defensive software or hardware cybersecurity professionals for red team efforts, or with other cross-domain professionals for targets that intersect other technical areas.
The Cyber Security and Formal Methods Group is hiring a Computer Scientist / Programmer to work on research and development projects in various areas related to formal methods and applied Computer Science. The candidate will work on teams developing new software analysis tools and techniques, as well as applying existing tools to research problems. The ultimate goal is to provide advanced tools to discover security vulnerabilities, enhance trust, and increase reliability across a wide range of platforms for land, sea, air, and space.

Job Description:

Duties/Responsibilities
• Assess hardware and software for security vulnerabilities using a breadth of technologies and techniques.
• Develop software that meets behavior and security requirements for tailored applications.
• Integrate software capabilities with other tasks or groups to improve performance or behavior requirements.
• Create new tools and systems to detect and exploit vulnerabilities and system weaknesses.
• Document nominal application and system functionality, in addition to implemented changes.
• Drive solutions to complex problems with limited direction – contribute to requirements. development, propose ways forward, and adapt appropriately to changes in requirements.
• Provides insight and suggest design modifications based on analysis outcomes, and to apply analysis techniques across a range of technical disciplines.
• Identifies program/system-level technical risks and develop and execute mitigation strategies.
• Actively mentor less experienced engineers and provide thoughtful, constructive feedback.
• Performs other related duties as assigned.
Skills/Abilities
• Curiosity-driven approach to solving complex, customer-driven problems as part of a multi-disciplinary team.
• Collaborate and communicate effectively and openly with multi-disciplinary program team members, program leadership, and non-technical personnel.
• Be a team player able to work in a fast-paced environment with the ability to balance multiple competing tasks and demands.
Education
Requires a bachelor's in computer science, computer engineering, or related field.
Experience
5-10 years experience in Cybersecurity or related field is required.

Additional Job Description:

• Candidate should have demonstrated competence programming in functional programming languages like Haskell or OCaml, proof assistants such as Coq and Lean, and automated solvers such as SMT or model checking
• Experience with two or more of the following theoretical Computer Science topics: functional programming, compilers, static analysis, model checking, SAT and SMT solvers, program semantics, logic calculi, theorem-provers, or formal languages.
• Experience with cyber security research.
• Experience with binary code and low-level programming languages. 

Applicants selected for this position will be required to obtain and maintain a government security clearance.

Connect With Draper for Future Opportunities! If you don't find the right posting in our Career Opportunities, you may submit your resume for future consideration.

Job Location - City:

Cambridge

Job Location - State:

Massachusetts

Job Location - Postal Code:

02139-3563

The US base salary range for this full-time position is

$82,300.00 - $220,000.00

Our salary ranges are determined by role, level, and location. The range displayed on each job posting reflects the minimum and maximum target salaries for the position across all US locations. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Union ranges will be in compliance with the collective bargaining agreement's approved rates by location and role. Your recruiter can share more about the specific salary range for your preferred location during the hiring process.  Please note that the compensation details listed in US role postings reflect the base salary only, and does not include bonuses or benefits.

Our work is very important to us, but so is our life outside of work. Draper supports many programs to improve work-life balance including workplace flexibility, employee clubs ranging from photography to yoga, health and finance workshops, off site social events and discounts to local museums and cultural activities. If this specific job opportunity and the chance to work at a nationally renowned R&D innovation company appeals to you, apply now www.draper.com/careers.

Draper is committed to creating an inclusive environment. We understand the value of inclusivity and its impact on a high-performance culture. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, disability, age, sexual orientation, national origin, veteran status, or genetic information. Draper is committed to providing access, equal opportunity, and reasonable accommodation for individuals with disabilities in employment, its services, programs, and activities. To request reasonable accommodation, please contact [email protected].