<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Dear colleagues,</p>
<p>We have a two-year postdoc position to fill in the EOS VeriLearn
(Verifying Learning Artificial Intelligence Systems) project at
the Faculty of Computer Science of UNamur (Namur, Belgium).
VeriLearn is a large project involving 10 academics from three
Belgian unversities. Within VeriLearn, the candidate will be
integrated in an interdisciplinary team working at the
intersection of AI, ML and SE. <br>
</p>
<p>The goal of this postdoctoral research is to define, design and
evaluate “active testing” (a mix of active learning and software
testing) techniques for ML models. In particular, the successful
candidate will analyse automatically the datasets to infer
properties of interest in the form of constraints, rank them
depending on the desired validation goal and integrate them in
testing techniques (metamorphic testing, constraint-guided
fuzzing, etc.). This candidate will work with Prof. Benoit Frénay
and Dr. Gilles Perrouin in the Faculty of Computer Science at the
University of Namur in collaboration with the KULeuven DTAI group.</p>
More infos on <br>
<ul>
<li><a class="moz-txt-link-freetext" href="https://jobs.unamur.be/emploi.2021-09-09.2912866089/view">https://jobs.unamur.be/emploi.2021-09-09.2912866089/view</a></li>
<li><a class="moz-txt-link-freetext" href="https://euraxess.ec.europa.eu/jobs/681147">https://euraxess.ec.europa.eu/jobs/681147</a><br>
</li>
</ul>
<p>Deadline: October, 15th, 2021 (11h59 pm AoE). Expected starting
date: January 1st, 2022 (negotiable, depending on COVID or
candidate constraints).</p>
<p>Please send your application or questions to
<a class="moz-txt-link-abbreviated" href="mailto:benoit.frenay@unamur.be">benoit.frenay@unamur.be</a> and <a class="moz-txt-link-abbreviated" href="mailto:gilles.perrouin@unamur.be">gilles.perrouin@unamur.be</a>.</p>
<p>Best regards,</p>
<p>Benoît Frénay<br>
Gilles Perrouin<br>
</p>
</body>
</html>