Research Fellow in Machine Learning and or Formal Methods

Research Associate (DesCartes – WP1)

Research Associate (DesCartes – WP1) Job offer posted on 25 november 2022 DESCARTES PROGRAM The DesCartes programme is developing a hybrid AI, combining Learning, Knowledge and Reasoning, which has good properties (need for less resources and data, security,...
Research Fellow in Machine Learning and or Formal Methods

Research Fellow in Formal Methods

Research Fellow in Formal Methods Job offer posted on 6 July 2022 DesCartes Program (Work Package 1) is looking for a Research Fellow in Formal Methods to improve trust of AI systems, e.g. by generating input data to improve the learning process, or by analysing and...