Find jobs in InfoSec/Cybersecurity
18 results
for Formal verification
(Skill/Tech stack)
-
Blockchain | C++ | Cryptography | Formal verification | Interactive proof systemsCareer growth | Continuous learning | Networking opportunities | Open source collaboration | Work from homeEntry-level Full TimeAsia8h ago
-
Senior Security Research Architect CHF 140K-150KARM Assembly | C plus plus | Confidential Computing | Formal verification | LinuxSenior-level Full TimeSwitzerland, Zurich2d ago
-
Lead System Integrator (LSI) USD 112K-179KAPI Design | Agile | Artifact packaging | C# | C++Security clearance eligibleSenior-level Full TimeRed Bank, NJ, United States3d ago
-
Systems Security Engineering Manager (ONSITE) USD 132K-251K800-171 | Account Management | Anti-jam | CMMC | Control Account Management401k match | Dental insurance | Employee assistance program | Flexible spending accounts | Life insuranceMid-level Full TimeUS-MA-MARLBOROUGH-MA2 ~ 1001 Boston Post Rd …3d ago
-
Blockchain Security | Contract auditing | Cryptography | DeFi security | Digital signaturesDiversity and inclusion | Employee recognition | Flexible work location | Paid time off | Professional developmentMid-level Full TimeGermany - Remote R5d ago
-
C# | C++ | Circuit design | Cyber-Physical Systems | Data VisualizationEntry-level Full TimeAtlanta, GA21d ago
-
C# | Circuit design | Cyber-Physical Systems | Debugging | Digital designEntry-level Full TimeAtlanta, GA21d 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 …22d 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, Canada22d ago
-
SSD Security Architect USD 121K-194KCommon Criteria | Cryptography | DMTF SPDM | Design review | Development LifecycleHybrid work scheduleSenior-level Full TimeLongmont, CO, United States22d ago
-
SSD Security Architect USD 121K-194KCryptographic Protocols | Cryptographic algorithms | Cryptography | DMTF | Design reviewSenior-level Full TimeRancho Cordova, CA, United States22d ago
-
Principal Software Engineer - C++ USD 150K-219KBuild systems | C++ | Clang | Code review | Compiler developmentSenior-level Full TimeBoston, Massachusetts, United States23d ago
-
Lead MTS Security Engineering EUR 70K-97KCadence Conformal | Cadence Genus | Cadence Xcelium | Cryptographic algorithms | Design CompilerHybrid work schedule | Onsite workdays flexibility | Remote work flexibilitySenior-level Full TimeRotterdam, The Netherlands25d ago
-
Sr Staff SoC Engineer(Backend) CNY 200K-240KDRC | Design implementation | EDA Tools | Electromigration | FloorplanningSenior-level Full TimeBeijing, China28d ago
-
Vice President Security Engineering USD 260K-310KAlgorithms | C++ | Concurrency | Data Structures | Distributed SystemsFlexible work arrangements | Professional development opportunitiesExecutive-level Full TimeCampbell, California, United States1mo 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, Netherlands1mo 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, NY1mo 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 States1mo ago