<html><head><style>body{font-family:Helvetica,Arial;font-size:13px}</style></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;">The PLUME team of the LIP laboratory at the ENS Lyon is seeking candidates for a post-doctoral position financed by the 'Communicating with Computers' DARPA program for the Bio-curation use case. The project concerns the development of methods and tools for the formalization and analysis of protein-protein interaction networks in the framework of rule-based modeling.</div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;"><br></div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;">Some experience with logic programming would be a major advantage. Experience in any of the following fields would also be an advantage: graph transformation, causality, rule-based modeling, ontologies, formal logic.</div><div><br></div><div>Candidates should have, or be about to compete, a PhD / doctoral degree. The position is for 12 months with possibility of contract renewal.</div><div><br></div>Interested candidates should send a CV, motivation letter and contact details of referees to <a href="mailto:russell.harmer@ens-lyon.fr">russell.harmer@ens-lyon.fr</a>.<div><br><div id="bloop_sign_1455535897576832000" class="bloop_sign"><div style="font-family:helvetica,arial;font-size:13px">-- <br><a href="http://perso.ens-lyon.fr/russell.harmer/" style="font-family: 'helvetica Neue', helvetica;">Russ Harmer</a><span style="font-family: 'helvetica Neue', helvetica;"></span><div style="font-family: 'helvetica Neue', helvetica;">CNRS & ENS Lyon</div></div></div></div></body></html>