ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.

Features

Auto Apply Resume Optimizer Cover Letter Optimizer Interview Prep

Company

Social Media

Need Help?

team@applyblast.com

Senior Formal Methods Engineer at Draper - ApplyBlast

Senior Formal Methods Engineer

Draper

7 months ago

4.1 on Glassdoor

Cambridge, MA

Onsite

Full Time

Senior

0 applicants

View Job Listing

Apply to 100+ jobs

About this role

Draper is seeking a Cyber and Formal Methods Engineer to work on research and development projects focused on system security, vulnerability detection, and software analysis using formal methods. The role involves developing software tools, evaluating hardware and software for security, and collaborating with multidisciplinary teams to enhance system trustworthiness across various platforms.

Skills

About Draper

draper.com

Headquarters

Cambridge, Massachusetts, United States

Company Size

1001-5000 employees

View Profile

Draper is a nonprofit engineering innovation company that designs, develops, and deploys advanced technological solutions for national defense, space exploration, and biomedical applications. Its multidisciplinary capabilities span biotechnology systems, electronic systems, strategic systems, and space systems, delivering field-ready prototypes and integrated solutions. Draper emphasizes applied research and collaboration with government and industry partners.