A postDoc position (12 months) is currently open in the framework
of ANITI (the Interdisciplinary Artificial Intelligence Institute
of Toulouse) and of the ANR-funded project SPACEHEX, targeted at
molecular design using toulbar2, our award-winning C++ weighted
constraint programming solver (
https://github.com/toulbar2/toulbar2).
The postdoc will be targeted at the extension of toulbar2 towards
multiple criteria optimization with the ultimate goal of designing
self-assembling proteins. The postdoc will have to design,
characterize, code and benchmark algorithms inside toulbar2, in
collaboration with the main toulbar2 designers and developers in
the MIAT/INRAE lab.
In collaboration with experimented computational structural
biologists from Toulouse Biotech Institute (TBI), he/she will
eventually also be able to test/apply the developed algorithms on
challenging molecular design problems, leading to molecules that
will be ultimately wet-lab-synthesized and tested for real.
We seek motivated candidates with a strong background in computer
science, with good programming skills in C++. Previous knowledge
and experience in either constraint programming or discrete
graphical models optimization or weighted satisfiability (weighted
maxSAT) or 0/1 mathematical programming is a very strong plus.
Interest in biological applications is a plus. Previous knowledge
and experience on biological problems is a appreciated but not
necessary.
The PhD candidate will be recruited at MIAT-INRAE in Toulouse. The
position can start as soon as September 2022, for 12 months.
If you're interested, please don't hesitate to contact us and to
send us your curriculum vitae accompanied with a motivation
letter.
Contacts (please send an email to both addresses) :
- Simon de Givry (
simon.d...@inrae.fr)
- Thomas Schiex (
thomas...@inrae.fr)
A more detailed description of the PostDoc offer in French and
English can be found here:
https://docs.google.com/document/d/18aWWScpvi8y17SSb5mZa6ilE-1-qvsg8/export?format=pdf