Find jobs in InfoSec/Cybersecurity
15 results
for Formal verification
(Skill/Tech stack)
-
Software Security Architect USD 224K-356KARM SoC | Access Control | Android security | Boot Firmware | CryptographySenior-level Full TimeUS, CA, Santa Clara, United States8d ago
-
Agent systems | C++ | Confidential Computing | Cryptography | Evaluation benchmarksConference publication opportunities | Research collaboration opportunities | Student mentorshipMid-level Full TimeNTU Main Campus, Singapore8d ago
-
Software Security Architect USD 224K-356KARM SoC | Access Control | Attack Vector | Attack vector analysis | CryptographyComprehensive benefitsSenior-level Full TimeUS, CA, Santa Clara R8d ago
-
Principal ASIC Design Verification Engineer (NetSec) USD 152K-246KC# | C++ | Constrained random | Emulation | Formal verificationSenior-level Full TimeSanta Clara, CA14d ago
-
AES | Area Optimization | C# | Cryptography | Design automationCareer development opportunities | Inclusive workplace | International work environmentEntry-level Full TimeGrenoble, France17d ago
-
System Hardware Design Engineer (IP Architect) EUR 62K-85KAMBA | Cryptographic Protocols | Design Flows | Digital Hardware | Digital Hardware DesignHealth and wellness benefits | MentoringSenior-level Full TimeEindhoven, Netherlands17d ago
-
C# | C++ | Circuit design | Debugging | Digital designEntry-level Full TimeAtlanta, GA18d ago
-
Sr. Principal Embedded System Security Engineer (Onsite - Marlborough, MA) Secret Clearance Required USD 132K-251KAgile Scrum | Analysis | Cameo | Confluence | Cybersecurity401k match | Dental insurance | Disability coverage | Employee assistance program | Life insuranceSenior-level Full TimeUS-MA-MARLBOROUGH-MA2 ~ 1001 Boston Post Rd …19d ago
-
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq401k matching | Flexible work hours | Paid time off | Parental leaveSenior-level Full TimeNew York, New York, USA20d ago
-
Sr. Embedded Systems Security Engineer (Onsite - Marlborough, MA) Secret Clearance required USD 86K-165KCameo | Confluence | Cybersecurity | Cybersecurity Testing | DOORS401k match | Child and elder care | Critical Illness Insurance Optional | Dental insurance | Disability insuranceSenior-level Full TimeUS-MA-MARLBOROUGH-MA2 ~ 1001 Boston Post Rd …28d ago
-
Blockchain Security Expert - Security Audit Track USD 120K-180KBlockchain | DApps | Formal verification | Gas analysis | Go401k match | Dental insurance | FSA | Flexible paid time off | HSASenior-level Full TimeUS / Remote R1mo ago
-
Bash | Besu | Blockchain Security | CometBFT | Contract Security401k matching | Accidental death and dismemberment insurance | Dental insurance | FSA | Flexible work environmentSenior-level Full TimeUS / Remote R1mo ago
-
Research Scientist USD 100K-300KAI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testingSenior-level Full TimeSan Francisco, CA1mo ago
-
Security Engineering Lead USD 170K-218KAdversarial thinking | Async Rust | Contract Security | Distributed Systems | EVM smart contractsDental insurance | Flexible hours | Fully remote | Health insurance | Team offsitesSenior-level Full TimeRemote R1mo ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA1mo ago