Find jobs in InfoSec/Cybersecurity
5 results
for Model Checking
(Skill/Tech stack)
-
Senior Security Research Architect CHF 140K-150KARM Assembly | C plus plus | Confidential Computing | Formal verification | LinuxSenior-level Full TimeSwitzerland, Zurich2d ago
-
C# | C++ | Circuit design | Cyber-Physical Systems | Data VisualizationEntry-level Full TimeAtlanta, GA21d ago
-
C# | C++ | Circuit design | Digital design | FPGAEntry-level Full TimeAtlanta, GA21d ago
-
C# | Circuit design | Cyber-Physical Systems | Debugging | Digital designEntry-level Full TimeAtlanta, GA21d ago
-
Senior Formal Methods Engineer USD 82K-220KAutomated solvers | Binary Code Analysis | Binary code | Code Analysis | CybersecurityCultural discounts | Employee clubs | Flexible work options | Health workshops | Social eventsSenior-level Full TimeMA - Cambridge, United States1mo ago