The DeepLEVER project has started!

The ANITI research chair of Joao Marques-Silva, DeepLEVER, is launched.

DeepLEVER aims at explaining and verifying machine learning systems via combinatorial optimization in general and SAT in particular. Ph.D positions and Postdoc positions are open to join the team lead by Joao Marques-Silva and composed of Martin Cooper and Emmanuel Hebrard.

Urgent: we are looking for two PhD student to work on Artificial Intelligence, Machine Learning, and Trustworthy Planning & Scheduling

The full descriptions of the positions and the application procedure