The page you are requesting does not exist. You can start your search here!
2 formal-verification-computer-science PhD positions at University of Texas at Austin in United States
Sort by
Refine Your Search
-
part of the Jackson School of Geosciences, which houses top research programs across a range of areas in Earth and Planetary Sciences. UTIG is also closely allied with the Texas Advanced Computing Center
-
involved in analyzing data collected from the TexNet seismological monitoring program and other stations or assets that provide quality data. Comparing different methods and tools for moment tensor inversion
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions