[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]----------------------------------Position: Safety of Software Development Maitre de Conference (Assistant Professor).
Chaire UPS/CNRS IRIT, Universite Paul Sabatier. Toulouse France Teaching: ---------The candidate is expected to teach in the area of software engineering. He (she) will be responsible for teaching basic subjects at the bachelor's level (Licence) in the areas of programming and software engineering. He (she) will also have the opportunity to participate in teaching courses at the master's level on verification and formal development methods.
Teaching is done in French. Research: ---------The Assistant Professor will join the team concerned with Safety of Software Development within IRIT (Institut de Recherche en Informatique de Toulouse (UMR 5505, CNRS-UPS-INPT-UT1-UTM). His(her) research topics will mainly concern the formal specification and development of software systems. Of particular interest is verification based on interactive and automatic theorem prover technology. The candidate should have substantial experience in one of the following fields:
- critical systems modeling and validation - certified development of formalisms and methods for critical systems - development of proof tools (proof assistants, decision procedures) Admistrative details concerning the job can be found at: http://www.sg.cnrs.fr/drhchercheurs/concoursch/chaires/default-fr.htmhttp://www.nouvelleuniversite.gouv.fr/plan-carrieres-dans-l- enseignement-superieur-et-de-la.html
contact: luis.fari...@irit.fr ------- info portail GALAXIEVous pouvez accéder à la liste complète des postes publiés ainsi qu'à leurs caractéristiques détaillées (fiches de poste) en cliquant sur le lien "consulter la liste des postes" du portail GALAXIE ( https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/candidats.html ). Vous pouvez vous connecter au domaine applicatif de GALAXIE à partir du portail (accès GALAXIE-recrutement en haut à droite de l'écran) ou directement ( https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/astree/index.jsp ) pour enregistrer éventuellement votre candidature.
deadline : January 6th 2010 job beginning: May 1st 2010
<<attachment: filali.vcf>>
