isecjobs.com

Senior Formal Methods Engineer

MA - Cambridge, United States
Apply

USD 82K-220K Senior-level Full Time Found 6d ago

Tasks
Perks/Benefits
Skills/Tech-stack

Automated solvers | Binary Code Analysis | Binary code | Code Analysis | Cybersecurity | Formal Methods | Functional Programming | Logic calculi | Low-level programming | Model Checking | Proof assistants | SMT | Software development | Static Analysis | System Integration | Theorem Proving | Tool Development | Vulnerability Assessment

Education

Bachelor's Degree in Computer Science | Bachelor’s Degree in Computer Engineering

Roles

Engineer | Formal Methods Engineer | Methods Engineer | Senior Formal Methods Engineer

Regions

North America

Countries

United States

States

Massachusetts, US

Cities

Cambridge, Massachusetts, US

Apply
Language: en | Views: 0 | Clicks: 0

Related jobs