coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD Position on Reliable Machine Learning at HVL, Bergen/NO

From: Volker Stolz <Volker.Stolz AT hvl.no>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] PhD Position on Reliable Machine Learning at HVL, Bergen/NO
Date: Mon, 19 Nov 2018 12:06:08 +0000
Accept-language: en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Volker.Stolz AT hvl.no; spf=Pass smtp.mailfrom=Volker.Stolz AT hvl.no; spf=Pass smtp.helo=postmaster AT EUR01-VE1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:TmP18BFGtblpK9xTk8DEV51GYnF86YWxBRYc798ds5kLTJ7zoMiwAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOT4n/m/Klsx+gqFVrhWgpxNjzIDbb5qYNOZnfqPYYd8aRXZNUthXWidcAo28dYwPD+8ZMOlXqIn9o1gOogWkBQKxGe3v1jhIhnv33KYn1OkuHgbG3AgjH90QqnTYtsj7NLsVUeCxzajF1jXDb+1S2Tvn7ojIdQksrPeRVrx+dsrRzFMgFwLDjliIq4zlOCia2f8Ls2ic9epgWvygh3QhqwF2pDWk28QiipHRi48a1lzI7zh1zJo3KNGiVUJ2bsSoHZtSui2CKod7QsAvT3tmtSs40LELupC2cDIXxJkl3xLfZeKIfouU7h/mUeucLzd1iX1ldb+6nRm/80etx+/5W8WpzVlHrSVIn9zSuXwQyhPc8c6KQeZn8Ei7wzaAzQXT5/lEIU8qkarbLIYszLE+mZQPrUjPAzb6l0r5gqOLb0kk/fOn5Pr9brXhu5+cK5R7igbjMqQoh8OzG/w4MhIJX2iH5+uzyKHj/Uz+QLVMlPE2lbTZsIzeJcQcoa65ABVZ3Zok6xa6Fzum0dIYkmcbLF9ddx+Lk5LlN0zSLP36F/uznluhnC1ryv3EJrHhB4/CLnnHkLfvZ7Z97EtcxRI8wtBY45JUCa8OIOjpVkHsqNzYCRs5Mg2vzubnFtV90pkSWWSIAqOBKqPdrUeI5v4zI+mLfIIapDH9K+E86/HyiX85hEQScLKy3ZoXbXC4Bu5pL1+YYXrqmNcBEH0FshAwTOzw2xW+VmsZbHGrGqk4+zsTCYS8DI6FSJrnyOiK2z7+FZlLbEhHDEqNGDHmbdPXde0LbXesJctinyZMbqSmT51pgS+psAz30fxcMu3Q6AUYq5al0t8jtL6brg076TEhV5fV6GqKVWwhxjpZFQ9z57h2pAlG8nnG1KF5h/JCEtkDtfNXVkE8MsyFlrAoO5XJQgvEO+yxZhO+WNz2UzEvSpQ3xI1WOhsvK5CZlhnGmhGSLfoVmriMWMNm35/mhyG0GeskjnHM2e8mkkUsRdZJOSu+nKlj+gPPBonP1UKEi6Ktcqda1ynIpj6O
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

From the advertisement:
https://www.jobbnorge.no/ledige-stillinger/stilling/160251/phd-research-fellow-in-reliable-machine-learning
Application deadline: 9. December

Western Norway University of Applied Sciences (HVL), Faculty of Engineering
and Science has an open position for a PhD research fellow (PhD position) in
Reliable Machine Learning for a period of 4 years.

About the PhD project

Machine learning is changing the landscape of engineering and its application
is being still more widespread in society. In particular, software
implementations of machine learning algorithms is playing an important role
in safety critical systems, including autonomous vehicles, medical
diagnostics, and smart software systems.

The correctness of machine learning approaches relies heavily on the training
data and the underlying stochastic optimization algorithms. Important
elements in order to ensure that systems are based on reliable machine
learning therefore includes: ability to control the uncertainty arising when
a deployed system is exposed to real data that is far away from the testing
data (generalisation problem); ability to obtain reliable prediction despite
the stochastic nature of the optimization.

The research focus of the position will be to explore how MODELLING- and
SOFTWARE VERIFICATION techniques can be used to improve and assess the
reliability of machine learning algorithms. The prospective PhD student will
work in close cooperation with our current PhD students working in graph
algorithms, software modelling and verification, applied mathematics, and in
machine learning.

[Coq-Club] PhD Position on Reliable Machine Learning at HVL, Bergen/NO, Volker Stolz, 11/19/2018