[UAI] Postdoc in ML testing with an emphasis on constraints

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.  W

[UAI] Postdoc in ML testing with an emphasis on constraints

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.  Wi