PostDoc Position in automated reasoning (Toulouse, France)

In the framework of Toulouse's Interdisciplinary Institute for AI, we are looking for a candidate PostDoc to work on propositional reasoning with logic, constraints, preferences, and probabilities using graphical models (from constraint programming and SAT to Markov Random Fields and Bayes Nets).

The PostDoc will be involved in the development of our award-winning discrete optimization C++ solver, Toulbar2, including its parallelization, the integration of machine learning technology for improved guidance, its extension to tackle problems "beyond NP" with direct applications in Computational Protein Design, with potential impactful contributions in Health, Green Chemistry and Nanotechnologies, among others.

The position is specifically open to highly creative researchers that may quickly want to develop and explore their own ideas. As such, we expect that the PostDoc will be increasingly capable of injecting his or her own ideas in the project, in interaction with all the members of the project team as well as external collaborators, and contribute to the supervision of ANITI PhD students.

For more information and contacts, read this more detailed description.