[TYPES/announce] Assistant professor position in formal methods and proofs
Mamoun FILALI-AMINE
filali at irit.fr
Tue Dec 8 12:06:12 EST 2009
----------------------------------
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.htm
http://www.nouvelleuniversite.gouv.fr/plan-carrieres-dans-l-
enseignement-superieur-et-de-la.html
contact: Luis.Farinas at irit.fr
------- info portail GALAXIE
Vous 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: filali.vcf
Type: text/x-vcard
Size: 277 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20091208/af469d72/filali-0001.bin
More information about the Types-announce
mailing list