Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
or Mathematics or Statistics with a strong background in one or more of the following: AI, machine learning, Bayesian statistics, programming languages, logic and algorithms, formal methods, probability and
-
This position is in person at J.J. Pickle Research Campus in North Austin. Purpose To use advanced geochemical modelling to devise attribution monitoring methods for CO2 leakage in groundwater and surface
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions