Hardware Security and Trust GRA - CIPHER - Summer 2026
Tasks
- Code research applications and prototypes
- Conduct formal verification of cyber physical systems
- Design test visualizations and data structures
- Develop software tools and prototypes
- Implement hardware assisted cybersecurity technologies
- Investigate hardware security controls and trust
- Model check cyber physical systems
- Review analyze and validate hardware designs
- Review analyze and validate software designs
Perks/Benefits
- N/A
Skills/Tech-stack
C# | C++ | Circuit design | Cyber-Physical Systems | Data Visualization | Digital design | Embedded Systems | FPGAs | Formal verification | Hardware security | Interactive theorem proving | Java | Kotlin | Linux | Microcontrollers | Model Checking | Physical systems | Python | Rust | Schematic Capture | Security controls | TCL | Theorem Proving
Education
Related jobs
-
Accounting | Data Validation | Document Management | Excel | Financial ReportingEmployee benefits | Health insurance | Indefinite contract | Paid vacation | Savings planEntry-level Full TimeCOL, CO2d ago
-
Executive-level Full TimeAnnandale-on-Hudson, NY2d ago
-
Auxiliar Administrativo Tiempo Completo Sección de Mantenimiento Medios de Pago - Medellín USD 148K-490KAccount Reconciliation | Data Analysis | Data Consistency | Data consistency checks | ExcelPaid vacationEntry-level Full TimeCOL, CO3d ago
-
Cyber Security Research Assistant USD 111K-166KCI/CD | Containerization | Cyber physical security | Data Analysis | DevOps401k retirement plan | Dental plan | Educational assistance | Employee discounts | Flexible work hoursMid-level Full TimeOak Ridge, TN, US, 378314d ago
-
MATLAB | Machine Learning | Project Management | Python | Quantitative modeling401k match | Employee assistance program | Flexible work/life support | Insurance coverage | Paid time offExecutive-level Full TimeBOSTON, United States16d ago
-
Legal Administrative Assistant - Litigation USD 83K-139KAccounts Payable | Billing | Calendar management | Data Visualization | Document ManagementMid-level Full TimeMooresville, NC (SSC) 1999, United States17d ago
-
Cybersecurity | Embedded Linux | Embedded Systems | Hardware security | Laboratory equipmentEntry-level Full TimeAtlanta, GA21d ago
-
C# | C++ | Circuit design | Digital design | FPGAEntry-level Full TimeAtlanta, GA21d ago
-
Mid-level Full TimeAurora, CO22d ago
-
Block Diagram Development | C# | C++ | Capture the Flag | Diagram developmentTop Secret Clearance Ability to ObtainEntry-level Full TimeAtlanta, GA22d ago
-
Block Diagramming | Capture the Flag | Embedded Systems | Firmware Reverse Engineering | GhidraEntry-level Full TimeAtlanta, GA22d ago
-
Assistant AI Security Researcher USD 117K-250KART | Artificial Intelligence | C# | C++ | CybersecurityFlexible work arrangements | Paid military leave | Paid parental leave | Professional development | Relocation assistanceEntry-level Full TimePittsburgh, United States30d ago
-
Cloud Security | Cybersecurity | Embedded Systems | Research Development | Reverse EngineeringCampus located in high-tech region | Collaborative research environment | Opportunities for interdisciplinary work | Research funding opportunitiesExecutive-level Full TimeFlorida Tech Main Campus Melbourne, United …1mo ago