Find jobs in InfoSec/Cybersecurity
11 results
for Formal verification
(Skill/Tech stack)
-
Senior Software Engineer, Embedded Security, Silicon USD 174K-252KARM architecture | C# | C++ | Cryptography | Embedded LinuxSenior-level Full TimeMountain View, CA, USA; San Diego, …3h ago
-
Systems Security Engineering Manager (ONSITE) USD 132K-251K800-171 | 800-172 | Account Management | Anti-jam | CMMC401k match | Adoption Assistance | Autism benefit | Child and elder care services | Critical illness insuranceMid-level Full TimeUS-MA-MARLBOROUGH-MA2 ~ 1001 Boston Post Rd …7d ago
-
Sr Staff SoC Engineer(Backend) CNY 156K-184KDRC | EM analysis | Floorplanning | Formal verification | GDSIISenior-level Full TimeBeijing, China9d ago
-
Head of Security - Dragonfly Portfolio USD 192K-280KAML/KYC | AWS | Blockchain Security | Compliance Management | Contract auditingExecutive-level Full TimeAPAC, EMEA10d ago
-
C++ | Channel Security | Cryptographic Protocols | Cryptography | Formal verification401k | Dental insurance | Employee stock purchase plan | Flexible work schedule | Health insuranceSenior-level Full TimeShakopee, MN, US22d ago
-
Lead System Integrator (LSI) USD 112K-179KAPI Design | Agile | Artifact packaging | C# | C++Security clearance eligibleSenior-level Full TimeRed Bank, NJ, United States23d 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 R25d 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 …1mo ago
-
Principal Software Engineer - C++ USD 150K-219KBuild systems | C++ | Clang | Code review | Compiler developmentSenior-level Full TimeBoston, Massachusetts, United States1mo ago
-
Sr Staff SoC Engineer(Backend) CNY 200K-240KDRC | Design implementation | EDA Tools | Electromigration | FloorplanningSenior-level Full TimeBeijing, China1mo 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