Senior Formal Methods Engineer
Draper
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.comN/A
Recent company news
GovCon WireDraper Appoints Brandi Vann as VP, Chief Strategy Officer
2 weeks ago
ispaceispace-U.S. Establishes Standing Review Board to Enhance Success of Team Draper Commercial Mission 1 known as ispace Mission 3
Nov 7, 2025
![rAVe [PUBS]](https://img.logo.dev/ravepubs.com?size=128&format=png&token=pk_L82rRWoVQCuFG30Wkm6aMA){kind=logo}
rAVe [PUBS]Draper Announces That Foundation ONE LED Mount is Shipping
2 weeks ago
CEProDraper Acquires Majority Stake in Guthrie Douglas
Sep 19, 2025
Ad AgeSterling Cooper Draper Pryce named HBO Max’s Global Creative Agency of Record
Dec 1, 2025
About Draper
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for Draper.
Salary
$82k – $220k
per year
More jobs at Draper
Similar Jobs
Research Engineer - Formal Methods
Code Metal
Formal Methods Research Intern
Leidos
Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
Analytical Mechanics Associates
Research Software Engineer, Formal Methods
RTX
Senior Principal Research Engineer, Formal Methods
RTX
Sr Prin Research SW Engineer, Formal Methods
RTX