[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