Research Fellow in Formal Methods

Research Fellow in Formal Methods

Research Fellow in Formal Methods Job offer posted on 17 june 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...
Research Fellow in Formal Methods

Research Associate (DesCartes – WP1)

Research Associate (DesCartes – WP1) Job offer posted on 25 march 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 Formal Methods

Research Fellow (DesCartes – WP1)

Research Fellow (DesCartes – WP1) Job offer posted on 11 march 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,...