- From: Hassan Ait-Kaci <hassanaitkaci@gmail.com>
- Date: Mon, 15 Oct 2012 14:13:47 -0700
- To: semantic-web@w3.org
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