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:

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:

Job Location - State:

Job Location - Postal Code:

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 hr@draper.com.