52 formal-verification-computer-science Fellowship positions at University of Michigan
Sort by
Refine Your Search
-
generate gene-edited, reporter knock-in, and patient-derived iPSC lines. We work closely with biomedical engineering collaborators and utilize a range of tools for assessing iPSC-CMs, including a muscle
-
harnessing innovative synthetic biology, microbial engineering, and drug delivery approaches for improving human health in a sustainable manner. Currently, three directions are being explored: (1) engineering
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions