2 software-formal-method-phd positions at Oden Institute for Computational Engineering and Sciences
-
Oden Institute for Computational Engineering and Sciences | Austin, Texas | United States | 2 months ago
. Narasimhan — Statistical Genetics & Multimodal AI Dr. Narasimhan’s lab develops methods at the intersection of human genetics and medical imaging. The lab focuses on: Integration of imaging-derived traits with
-
Oden Institute for Computational Engineering and Sciences | Austin, Texas | United States | 2 months ago
laboratory methods. Museum, archaeological, or paleogenomic specimens. Clean-room laboratory practices. Hybridization capture or targeted enrichment. Long-read or short-read sequencing technologies
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions