[TYPES/announce] Post-doc at ENS Lyon

[Russ Harmer]

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.

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.

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

Interested candidates should send a CV, motivation letter and contact details of referees to russell.harmer at ens-lyon.fr.

-- 
Russ Harmer
CNRS & ENS Lyon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160307/7aaa0e99/attachment-0001.html>