5 proof-checking-postdoc-computerscience PhD positions at University of Bergen in Norway
-
educational technologies without relying on real data. You are expected to collaborate with a team (other PhD candidates, postdoc, and researchers) to offer novel perspectives. The PhD supervisor will be
-
(other PhD candidates, postdoc, and researchers) to offer novel perspectives. The PhD supervisor will be Associate Professor Mohammad Khalil . Please contact him for more information about the project
-
application. Certain educational degrees from selected countries have an automatic recognition, please check this website: Automatic recognition – a quicker alternative | HK-dir (hkdir.no) . If you found your
-
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
-
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