This job has expired

Principal Formal Methods Engineer

Draper Laboratory
Somerville, MA
Closing date
Dec 1, 2021

View more

Science, Physical Sciences and Engineering
Organization Type
You need to sign in or create an account to save a job.
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 .

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 .

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
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:
  • Candidate 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.

** Draper has implemented a mandatory COVID-19 vaccination requirement for all Draper employees. This will be a condition of employment to work at Draper.
Job Summary
  • Requisition ID: 2021-5471
You need to sign in or create an account to save a job.

Get job alerts

Create a job alert and receive personalised job recommendations straight to your inbox.

Create alert