Russ Harmer The PLUME team of the LIP laboratory at the ENS Lyon is seeking candidates for a post-doctoral position financed by the recently announced 'Communicating with Computers' DARPA program in the specific 'Bio-curation' use case.

The project concerns the development of methods for the rigorous formalization of protein-protein interaction networks in the framework of rule-based modeling.

Experience in one or more of the following fields would be an advantage: rule-based modeling, graph rewriting, causality, formal logic, Bayesian networks, contextuality (in the sense of quantum physics).

Candidates must have, or be about to complete, a PhD / doctoral degree. The position is for 12 months with the possibility of contract renewal.

Interested parties should send a full CV and covering letter to russell.harmer@ens-lyon.fr.