Find jobs in InfoSec/Cybersecurity

6 results for Formal Methods (Skill/Tech stack)

Cybersecurity Research - Intern USD 50K-50K

C# | C++ | Cybersecurity | Formal Methods | Linux

Entry-level Full Time Internship

Beavercreek, OH, United States

1d ago
Assistant Director, Advanced Cybersecurity Research USD 200K-280K

Artificial Intelligence | Cryptography | Data Analysis | Formal Methods | High Performance

401k | Conference travel | Disability insurance | Flexible working hours | Free coffee

Executive-level Full Time

Clifton Park, New York

3d ago
Associate Professor or DTU Tenure Track Assistant Professor in Cybersecurity - DTU Compute DKK 540K-540K

AI | Blockchain | Computing security | Cryptography | Cyber Risk

Academic freedom | Collaboration with industry | Diverse and inclusive workplace | International environment | Research funding opportunities

Mid-level Full Time

Kgs. Lyngby, Denmark

12d ago
Senior Formal Methods Engineer USD 82K-220K

Automated solvers | Binary Code Analysis | Binary code | Code Analysis | Cybersecurity

Cultural discounts | Employee clubs | Flexible work options | Health workshops | Social events

Senior-level Full Time

MA - Cambridge, United States

26d ago
Software Engineer – Low-level Systems (C, C++, Rust) USD 91K-180K

C# | C++ | Compiler design | Computer Architecture | Cryptography

Senior-level Full Time

Lexington, MA, United States

1mo ago
Research Scientist – Formal Methods USD 91K-180K

Assembly | Benchmarking | C Programming | Collaboration | Computer Architecture

Entry-level Full Time

Lexington, MA, United States

1mo ago