• Computer Scientist/Programmer

    Job Location US-VA-Reston
    Posted Date 6 days ago(5/21/2018 2:18 PM)
    Requisition ID
  • Overview

    Draper is an independent, nonprofit research and development company headquartered in Cambridge, MA. The 1,700 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 & Information Security Group (GCE6) is hiring a Computer Scientist / Programmer for research and development in various topics related to formal methods and applied Computer Science. The candidate will participate in all aspects of R&D, from idea to prototype development. New tools will be designed and built, and existing tools will be integrated into cutting-edge systems. 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.




    • A candidate must hold an M.S. degree in Computer Science, Mathematics, or related discipline with 5 years’ experience or a Ph.D. in one of these fields.
    • Familiarity and facility with two or more of the following theoretical Computer Science topics: automata theory, SAT-solvers, program semantics, logic calculi, compilers, theorem-provers, formal languages, graph theory, or model checking.
    • Candidate should have demonstrated competence programming in imperative, functional, logic, and parallel programming languages.
    • 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.
    • Applicants selected will be required to obtain and maintain a U.S. Security Clearance.



    • Experience using or programming in SYSML/UML, CSP, Haskell, COC, ANGR, or Java is 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.