[TYPES/announce] Associate professor position in formal methods at ENSIIE, EVry, France

[dubois]

ENSIIE (www.ensiie.fr) is a French engineering school in computer 
science has 2 tenure-track faculty positions. The recruited persons will 
join the laboratory Samovar (CRNS) located in Evry close to ENSIIE.

The positions are:

- *1 Associate Professor in the area of formal methods, formal proof and 
programming languages*

full job description: 
https://www.ensiie.fr/wp-content/uploads/2019/02/profil-MCF_MF_an_fr-1.pdf

- 1 Associate Professor in the area of mathematical programming, 
operational research and optimization.

full job description: 
https://www.ensiie.fr/wp-content/uploads/2019/02/profil-MCF_RO_fr_an-1.pdf


Deadline for application is 2019, March 6th (4 P.M., Paris time) and the 
position will start in 2019, on September 1st .
Knowledge of French is mandatory for these positions.


Catherine DUBOIS, professor
ENSIIE, lab. Samovar (UMR 5157)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190221/061ff785/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: catherine_dubois.vcf
Type: text/x-vcard
Size: 4 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190221/061ff785/attachment.vcf>