Post-doctoral positions in Lyon, France

POST-DOCTORAL POSITIONS IN LYON, FRANCE
---------------------------------------

The experimental research project CEDAR (Constraint Event-Driven
Automated Reasoning) will be carried out over a two-year period (from
Januay 15, 2013 until January 15, 2015) at the Laboratoire
d'InfoRmatique en Image et Systèmes d'information (LIRIS) of the
Université Claude Bernard Lyon 1 (UCBL) under a grant by the Agence
Nationale pour la Recherche (ANR) as part of its Chair of Excellence
program (CHEX), and the UCBL. The Chair's recipient is Hassan
Aït-Kaci. The project's venue will be located at the LIRIS
(http://liris.cnrs.fr/) in Lyon, France.

This project offers two positions for candidates of post-doctoral level.
Start date will be January 15, 2013. End date will be January 15, 2015.
Each of these two positions has an annual gross salary of 52,500 euros.

The job profiles for these positions are described below.

IMPORTANT: Before applying, it is required that prospective applicants
read in detail the CEDAR Project's information document [1], and
understand that each position is for a two-year commitment that cannot
be cut short. The prospective applicants must have working proficiency
in English. Familiarity with French will be a plus, though not required.

[1] http://www.hassan-ait-kaci.net/pdf/cedar.pdf

APPLICATION: Applicants must send an application file by November 30,
2012, to "CEDAR Project <cedar@liris.cnrs.fr>" consisting of the
following items:

1. a letter of application specifying which of the two positions is
    applied for, and explaining motivation and commitment;
2. an up-to-date résumé including a list of publications;
3. two letters of recommendations;
4  provide an email address, and a telephone number or a Skype id.

Preselected applicants will then have to undergo a telephone interview.

------------------------------------------------------------------------
Language Track Manager (LTM) profile

The Language Track Manager (LTM) will hold a recent PhD in Computer
Science, and have experience participating in research projects in the
area of AI language design and implementation (including compilation of
reasoning algorithms for efficient execution), knowledge representation,
Semantic Web reasoning, and be proficient with software programming in
Java, and have some experience with other programming language -
especially LP, FP, and DB programming. A strong working experience in
software development and maintenance is required.  Experience with the
Eclipse development platform will be a useful asset.  Working
familiarity with formal methods will be a plus. The LTM will be in
charge of managing the daily technical operation of the Language Track
set of tasks, software development and documentation, and will
participate in the preparation of technical reports and publications
(knowledge of research publication tools such as Emacs, LaTeX, etc., is
needed). The LTM must also be capable of setting up and maintaining a
secure public web site. The LTM will work under the direct management of
the Project Chair and be responsible for the seamless integration and
maintenance of language-level implementation and its documentation. The
LTM will also interact as needed with the Experiment Coordinator and the
Experiment Task Manager, and all other concerned project participants.

Keywords: Declarative Programming Software Specification, Compiler
           Technology, Implementation, Documentation, and Maintenance.

------------------------------------------------------------------------

Experimental Track Manager (ETM) profile

The Experimental Track Manager (ETM) will hold a recent PhD in Computer
Science, and have experience participating in advanced architecture
design testing and simulation, and have first-hand experience working
with distributed networked DB or KB systems. High proficiency is
expected at least in Java programming with working knowledge of DB and
networking libraries and packages. Experience with the Eclipse
development platform will be a useful asset. A strong experience in
applied CS is required. Some understanding of formal methods will be a
plus. The ETM will be in charge of managing the daily technical
operation of the Experiment Track set of tasks, software development and
documentation, and will participate in the preparation of technical
reports and publications (knowledge of research publication tools such
as Emacs, LaTeX, etc., is needed). The ETM must also be capable of
setting up and maintaining a secure public web site. The ETM will work
under the direct management of the Project Chair, but mostly under the
technical lead of the Experiment Coordinator.  The ETM will be
responsible for the architecture-level design, implementation,
maintenance, and documentation of the experimental part of the
project. The ETM will also interact as needed with the Project Chair and
the Language Task Manager, and all other concerned project participants.

Keywords: Networking, Distributed Systems, Simulation, DB or KB
           Management, Software Specification, Implementation,
           Documentation, and Maintenance.

------------------------------------------------------------------------

Received on Tuesday, 16 October 2012 13:39:51 UTC