-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
, robust acquisition strategies. Design, execute, and document high-quality measurements for internal projects and external collaborations, including appropriate QC, troubleshooting, and clear reporting
-
technology developed by our group—as a fully operational, camera-based underwater imaging system. RODI is designed to continuously detect, classify, and quantify drifting organisms in situ, thereby enabling
Searches related to hardware design
Enter an email to receive alerts for hardware-design positions