-
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
-
annotation, and emerging machine-learning and generative methods for spectra or structure proposals. Evaluate and test emerging technologies (hardware and software) in close interaction with collaborators and
-
curate data from live organisms sampled with RODI. Actively contributing to iterative improvements of RODI, including both hardware and software developments, based on field and analytical feedback
Enter an email to receive alerts for hardware-"https:" positions