
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p> </p>

    <div class="moz-text-html" lang="x-unicode">

      <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</p>

    </div>

  </body>

</html>