Hardware Security and Trust Co-op – Summer 2026 - CIPHER
Tasks
- Design experimental visualizations
- Develop hardware security controls
- Develop software tools
- Investigate security for microelectronic devices
- Model check cyber physical systems
- Perform formal verification
- Review and validate hardware designs
- Review and validate software designs
- Write translate and code prototypes
Perks/Benefits
- N/A
Skills/Tech-stack
C# | Circuit design | Cyber-Physical Systems | Debugging | Digital design | Embedded Systems | FPGAs | Formal verification | Hardware security | Interactive theorem proving | Linux | Microcontrollers | Model Checking | Physical systems | Python | Schematic Capture | Theorem Proving
Education
Related jobs
-
SPLUNK Engineer USD 102K-157KAWS | Alerts | Ansible | Architectural Diagrams | Automation401k match | Dental coverage | Holiday pay | Life insurance | Medical insuranceMid-level Full TimeFalls Church, VA, United States11h ago
-
AI | Authority to Operate | Continuous Diagnostics and Mitigation | Continuous diagnostics | Cyber SecurityMid-level ContractWoodlawn, United States13h ago
-
Active Directory | Cisco ASA | Cisco ISE | Cisco Router | Cisco SwitchHybrid work | Public Trust ClearanceSenior-level ContractBaltimore, United States13h ago
-
AIOps | API | Alarm management | Automation | Cause analysisOn-site work 3 days per week | Position of Public Trust clearance requiredSenior-level ContractWoodlawn, United States13h ago
-
Benchmarking | Data Pipelines | Evaluation metrics | Interpretability | LLM EvaluationSenior-level Full TimeSan Jose, California, United States14h ago
-
Senior Engineering Analyst, AI, Safety USD 159K-231KAbuse detection | C++ | Data Analysis | Fine Tuning | Fraud DetectionEquity compensation | Health insurance | Mentorship | Paid time off | Retirement benefitsSenior-level Full TimeKirkland, WA, USA; Seattle, WA, USA15h ago
-
VIE - Tech Delivery - Miami USD 75K-140KData Modeling | Data Pipelines | Docker | ERP | ETLCross-functional collaboration | International experience | Learning culture | MentoringMid-level Full TimeMiami, United States16h ago
-
VIE - Forward Deployed Engineer - Miami USD 120K-170KAzure | Data Lakes | Data Modeling | Data Pipelines | LLM APIsCross-functional collaboration | Inclusive culture | International experience | MentoringMid-level Full TimeMiami, United States16h ago
-
Staff Software Engineer – .NET Framework (Windows / On-Prem Platform) hybrid in Salt Lake City, Utah USD 156K-189K.Net Framework | C# | Certificate management | Concurrency | Dependency InjectionSenior-level Full TimeSalt Lake City, Utah, United States R20h ago
-
Staff Production Engineer (Cloud Platform & Reliability – Machine Identity Security) - hybrid USD 181K-226KAKS | AWS | Ansible | Argo CD | AzureSenior-level Full TimeSanta Clara, California, United States R21h ago
-
Senior Production Engineer (Cloud Platform & Reliability – Machine Identity Security) - hybrid USD 155K-194KAKS | AWS | Ansible | ArgoCD | AzureDental insurance | Medical insurance | On-call compensation | Vision insuranceSenior-level Full TimeSanta Clara, California, United States R21h ago
-
Sr. Embedded Detection Analyst USD 170K-205KAI tools | Alert Correlation | Cause analysis | Data Analysis | Detection engineeringSenior-level Full TimeRemote - USA R1d ago
-
Cyber Technology Engineer USD 120K-253KAI/ML | API Integration | Ansible | Artifactory | AutomationEmployee forums | Family-friendly policies | Paid leaves | Paid volunteer time | Wellbeing programsSenior-level Full TimeNew York, NY, United States1d ago
-
Senior Systems Engineer (Cybersecurity) USD 97K-185KAPI | AWS | Access Control | Agile | ArtifactoryHybrid work scheduleSenior-level Full TimeTwo Destiny Way, Westlake TX, United …1d ago
-
Engineer II - Information Security USD 70K-73KAccess Control | Antivirus | COBIT | Cause analysis | Cloud SecurityAdoption Assistance | Backup dependent care | Behavioral health solutions | Dental insurance | Employee resource groupsMid-level Full TimeUSA - TX - Carrollton - …1d ago
-
Senior-level Full TimeUSA MD Aberdeen Proving Ground (6210 …1d ago
-
Software Engineer, DevOps, Discovery USD 166K-220KAWS | Ansible | Azure | C++ | CI/CDCommuter benefits | Family planning and parenting support | Generous paid time off | Life and disability insurance | Mental health resourcesMid-level Full TimeWashington, District of Columbia, United States1d ago
-
Software Engineer, DevOps, Discovery USD 166K-220KAWS | Ansible | Azure | C++ | CI/CDCaregiver leave | Commuter benefits | Family planning and parenting support | Generous paid time off | Healthcare benefitsMid-level Full TimeSeattle, Washington, United States1d ago
-
Information Security Architect, Principal USD 130K-186K800-53 | AI | AI model | AI model governance | Attack surfaceSenior-level Full TimeOakland, CA, United States1d ago
-
Cyber Solutions Engineer USD 105K-140KAPIs | AWS | Azure | Bash | C#Flexible schedule | Paid Holidays | Paid parental leave | Paid time off | Professional developmentMid-level Full TimeMcLean, Virginia, United States1d ago
-
Entry-level Full TimeRedmond, WA, US1d ago
-
Senior Software Engineer - CTJ - POLY USD 119K-258KAzure | C# | C++ | Debugging | Incident ResponseOn-call supportSenior-level Full TimeReston, VA, US; Redmond, WA, US; …1d ago
-
Software Engineer II - CTJ - POLY USD 100K-215KAzure | C# | C++ | Java | JavaScriptOn-call rotationMid-level Full TimeReston, VA, US; Redmond, WA, US; …1d ago
-
Senior Cybersecurity Engineer IAM USD 145K-232KABAC | API Integration | AWS | Access Certification | Access ManagementSenior-level Full TimeAustin, TX, United States1d ago
-
Cybersecurity Engineer - Pismo USD 123K-191KAPI Security | ARM | AWS | Access Management | Anthropic ClaudeMid-level Full TimeAustin, TX, United States1d ago