Principal Formal Methods Engineer

Draper is an independent, nonprofit research and development company headquartered in Cambridge, MA. The 1,800 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.

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.

Equal Employment Opportunity

Draper is committed to creating a diverse environment and is proud to be an affirmative action and equal opportunity employer. We understand the value of diversity 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, gender identity, 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.

The Cyber Technology Group is hiring a Computer Scientist / Programmer to lead research and development projects in various areas related to formal methods and applied Computer Science. The candidate will work with 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. The candidate will have opportunities to participate in business development activities and shape new research programs.

Required Qualifications:

C andidate must have 10+ years of related work experience or hold a Ph.D. in Computer Science or a related discipline and have 4+ years of work experience.
• Candidate should have leadership experience on research or tool development projects.
• Candidate should have demonstrated competence programming in functional programming languages like Haskell or OCaml.
• Candidate should be capable of engaging in self-directed work as well as participating in a larger team. Original thought and strong creative problem-solving skills are a must.
• Effective written and oral communication skills are also desired.

Preferred Qualifications:

• Experience with three 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.

Security Requirement:

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