Find jobs in InfoSec/Cybersecurity
13 results
for Formal verification
(Skill/Tech stack)
-
C# | C++ | Circuit design | Cyber-Physical Systems | Data VisualizationEntry-level Full TimeAtlanta, GA1d ago
-
C# | Circuit design | Cyber-Physical Systems | Debugging | Digital designEntry-level Full TimeAtlanta, GA1d ago
-
Entry-level Full TimeAustin, TX1d ago
-
Network Engineer GBP 44K-57K802.1Q | AWS Networking | Active Directory | BGP | CiscoContributory pension scheme | Flexi-time working | Flexible benefits | Hybrid work | On-call rotaSenior-level Full Time2223 Chester House Farnborough Aerospace Centre …2d ago
-
SSD Security Architect CAD 116K-174KAlgorithm Evaluation | Cryptographic Algorithm Evaluation | Cryptographic Protocols | Cryptography | Design reviewHealth and wellness benefits | Hybrid work | Professional developmentSenior-level Full TimeVancouver, BC, Canada2d ago
-
SSD Security Architect USD 121K-194KCommon Criteria | Cryptography | DMTF SPDM | Design review | Development LifecycleHybrid work scheduleSenior-level Full TimeLongmont, CO, United States2d ago
-
SSD Security Architect USD 121K-194KCryptographic Protocols | Cryptographic algorithms | Cryptography | DMTF | Design reviewSenior-level Full TimeRancho Cordova, CA, United States2d ago
-
Principal Software Engineer - C++ USD 150K-219KBuild systems | C++ | Clang | Code review | Compiler developmentSenior-level Full TimeBoston, Massachusetts, United States3d ago
-
Sr Staff SoC Engineer(Backend) CNY 200K-240KDRC | Design implementation | EDA Tools | Electromigration | FloorplanningSenior-level Full TimeBeijing, China8d ago
-
Vice President Security Engineering USD 260K-310KAlgorithms | C++ | Concurrency | Data Structures | Distributed SystemsFlexible work arrangements | Professional development opportunitiesExecutive-level Full TimeCampbell, California, United States11d ago
-
System Hardware Design Engineer (IP Architect) EUR 75K-100KAMBA | Cryptographic Protocols | Driver Development | Embedded Systems | Formal verificationFinancial benefits | Health benefits | Wellness programsSenior-level Full TimeEindhoven, Netherlands18d ago
-
Information Security Lead USD 130K-180K81001-5-1 | AWS | Application Security | CCPA | Cloud Security401k match | Commute subsidies | Dental | Flexible work | Life insuranceSenior-level Full TimeNew York, NY23d ago
-
Senior ASIC Digital Design Engineer USD 142K-150KAnalytical Skills | Attention to detail | Constrained random | Constrained random verification | Cross-functionalCompetitive benefits | Flexible work environment | Recognition and rewardsSenior-level Full TimeAnnapolis Junction, MD, United States24d ago