Co-Op Student - Formal Methods Student Developer

2 months ago
Requisition ID


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




Draper is seeking students to work on projects related to formal verification, software model checking, and cyber security.  The goal of these projects is to develop and apply advanced tools for ensuring the correctness, safety and security of software and cyber-physical systems.


  • Ideal candidates will have experience with several programming languages, including at least one typed functional language like Haskell, Ocaml, or Typed Racket. 
  • Coursework or experience with any of compilers, model checking, interactive theorem proving, type systems, or mathematical logic is a plus. 
  • 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.


Sorry the Share function is not working properly at this moment. Please refresh the page and try again later.
Share on social media

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.