Connectionists: Postdoc in ML testing with an emphasis on constraints

[Benoît Frénay]

Dear colleagues,

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.

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.

More infos on

  * https://jobs.unamur.be/emploi.2021-09-09.2912866089/view
  * https://euraxess.ec.europa.eu/jobs/681147

Deadline: October, 15th, 2021 (11h59 pm AoE).  Expected starting date: 
January 1st, 2022 (negotiable, depending on COVID or candidate constraints).

Please send your application or questions to benoit.frenay at unamur.be and 
gilles.perrouin at unamur.be.

Best regards,

Benoît Frénay
Gilles Perrouin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/connectionists/attachments/20211007/e6506c8e/attachment.html>