1 model-checking Fellowship positions at Western Norway University of Applied Sciences
-
(CMAT) at Hasselt University. Both groups focus strongly on numerical analysis and mathematical modelling. The prospective PhD student will work in close collaboration with Carina Bringedal and Erlend
Searches related to model checking
Enter an email to receive alerts for model-checking positions