2 proof-checking-postdoc-computerscience PhD positions at University of Bergen

PhD-position at the Sapienza University of Rome, Italy (ENDOTRAIN) (DC13)

University of Bergen | Norway | about 4 hours ago

model checking to ensure statistical correctness of the results Machine learning–based classification and regression methods The candidate will also design and develop new software and prototype models

PhD-position at the Sapienza University of Rome, Italy (ENDOTRAIN) (DC13)

University of Bergen | Norway | about 2 hours ago

outcomes Synthetic data generation (virtual patients) Statistical model checking to ensure statistical correctness of the results Machine learning–based classification and regression methods The candidate