Senior Formal Methods Engineer Security Clearance

Position: Senior Formal Methods Engineer with Security Clearance
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  .

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…