Hardware Security and Trust Student Assistant – Summer 2026 - CIPHER
Tasks
- Design and implement visualizations for experimental results
- Implement hardware assisted cybersecurity applications
- Investigate microelectronics and embedded systems hardware security technologies
- Perform formal verification of cyber physical systems
- Review analyze and validate software and hardware functional designs
- Write translate and code software tools and prototypes
Perks/Benefits
- N/A
Skills/Tech-stack
C# | C++ | Circuit design | Digital design | FPGA | Interactive theorem proving | Java | Kotlin | Linux | Microcontroller | Model Checking | Python | Rust | Schematic Capture | TCL | Theorem Proving
Education
N/A
Roles
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
-
Cybersecurity | Embedded Linux | Embedded Systems | Hardware security | Laboratory equipmentEntry-level Full TimeAtlanta, GA21d ago
-
C# | C++ | Circuit design | Cyber-Physical Systems | Data VisualizationEntry-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