Postdoc in ML testing with an emphasis on constraints
Frenay Benoit
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 onDeadline: 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...@unamur.be and gilles....@unamur.be.
Best regards,
Benoît Frénay
Gilles Perrouin