R&D Lead in Hardware Security & Tooling

TRAVIS MEADE, PhD

Orlando, FL • 561-***-**** • ******.*****@****************.***

R&D HEAD / SOFTWARE ENGINEER LEAD: HARDWARE SECURITY & EDA TOOLING Software engineering leader with 10+ years in hardware security R&D and tool development (C/C++, Python, Rust) and 6+ years teaching large-scale university courses. Led delivery of government-funded research and commercialization efforts; managed budgets, reporting, and multi-stakeholder execution. Best Paper Award recipient (IEEE HOST, ASP-DAC) with a track record of building maintainable systems and mentoring technical teams.

CORE SKILLS

C/C++ • Python • Java • Rust • Bash • Linux • Git • CMake • Testing/automation • SystemVerilog/SVA • RTL/netlist workflows • Static analysis • Graph/COI analysis • Grant execution & reporting • Technical leadership

PROFESSIONAL EXPERIENCE

Silicon Assurance LLC — Head of R&D / Research Lead Orlando, FL 10/2024–Present

● Lead and mentor technical teams (mentored 15+ engineers/students over time; managed up to 4 direct reports concurrently).

● Led architecture and delivery of a hardware security analysis pipeline spanning RTL ingestion, property generation, formal feasibility checking, and verification handoff artifacts.

● Owned technical roadmap and cross-team coordination for a multi-stage workflow (orchestration + event-based status reporting), improving run reproducibility and visibility across stakeholders.

● Oversaw development of automated property-checking workflows using modern HDL parsing/elaboration and solver-backed analysis; contributed core code in parser integration and formal analysis.

● Details generalized to respect confidentiality and IP agreements. University of Central Florida — Lecturer (Full Time) Orlando, FL 08/2018–10/2024

● Taught large enrollment courses in programming and CS fundamentals: typical sections 250–300 students; supported 800+ students/semester across multiple courses.

● Managed instructional operations across 4 courses at once; supervised 10+ TAs per semester and delegated labs, homework, office hours, and grading workflows.

● Appointed and coached lead TAs to improve communication, scheduling, and execution across course staff.

● Built grading and consistency tooling (scripts + standardized rubrics) to improve turnaround time and reduce grading variance.

● Supervised independent studies and student research via weekly check-ins, milestone setting, and written feedback.

TRAVIS MEADE, PhD

Orlando, FL • 561-***-**** • ******.*****@****************.*** University of Central Florida — Adjunct Instructor (Part Time) Orlando, FL 01/2018–08/2018

● Delivered undergraduate instruction with emphasis on practical programming skills, debugging discipline, and structured problem solving.

University of Central Florida / IST — Graduate Research & Teaching Roles (Part Time) Orlando, FL 06/2013–05/2018

● Conducted research in hardware security and software tooling; contributed to peer-reviewed publications and prototype development.

● Supported instruction as a TA through labs, office hours, grading, and student mentoring. EXTERNAL FUNDING (SELECTED)

● DARPA subaward — Hardware IP Protection through Provably Secure State-Space Obfuscation

$75,000 04/2020–03/2021

● NSF STTR Phase I subaward — Assessment of Untrusted Electronics $79,016 (credit $39,508) 04/2021–09/2022

● NSF SBIR Phase II subaward — Assessment of Untrusted Electronics $165,000 10/2023–10/2024

● FHTCC matching grant (NSF SBIR Phase II Year 1) $76,942 01/2024–10/2024 Total managed/secured (listed): $395,958

EDUCATION

Ph.D., Computer Science — University of Central Florida 2017 B.S., Mathematics — University of Central Florida 2012 AWARDS

Best Paper Award — IEEE HOST (2017) • Best Paper Award — ASP-DAC (2016) LEADERSHIP & SERVICE (SELECTED)

● Chief Host — UCF High School Programming Tournament 2019–Present (planned annual event; recruited 30–50 volunteers; built schedules; assigned roles)

● Coach — UCF Competitive Programming Team 2014–2016; 2018–2024 (team practices, curricula, travel logistics)

● ICPC NAQ — Problem Setter/Writer 2021–2025

● Problem author/setter — UCF Locals (2014–2024), Mercer (2015–2020), HSPT (2011–2013); created/validated 50–60 problems/year (SI@UCF)

Contact this candidate