- 
                
                
                ambitious research program to investigate the intersection of plate tectonics, critical metals, and Earth's habitability by trying to better model the Earth’s surface evolution from 1800–500 million years ago 
- 
                
                
                ideas. To develop algorithms, machine learning models, Python modules, demonstrators and training pipelines for publication and translation into commercial products that can be widely and reliably adopted 
- 
                
                
                ability to work with complex model systems both in vitro and in vivo. Evidence of contribution towards research relevant to the field of study/interest, such as publications, conference presentations 
Searches related to model checking
  Enter an email to receive alerts for model-checking positions