HN Jobs

A searchable index of Hacker News “Who is hiring?” job postings.

← All postings · May 2022 thread

Draper Laboratory

Formal Methods Engineers at all levels

CompanyDraper Laboratory
Websitedraper.com ↗
RoleFormal Methods Engineers at all levels
Typefull-time
Role taxonomySoftware Engineering
SpecialtiesSoftware Engineering
LocationCambridge, MA
Salary—
Apply viaApplication link — https://careers-draper.icims.com/jobs/search?ss=1&searchKeyword=formal+methods · pzucker@draper.com
Hiring notes—
Parsed locationsCambridge, MA
Posted byphilzook
PostedMay 3, 2022
SourceView on Hacker News ↗

Original posting

Draper Laboratory | Formal Methods Group | Formal Methods Engineers at all levels | Fulltime | Cambridge, MA | https://careers-draper.icims.com/jobs/search?ss=1&searchKeyw... Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do. You can apply at the link above or reach out to me pzucker at draper.com.