Dear colleagues,


would you please forward this e-mail to the students of yours that may be
interested by these 3-year PhD positions, proposed at Onera (the
French Aerospace Research Center) in Toulouse. Fluency in French *or* in
English is mandatory.

This subjects are part of a research agenda aiming at helping define and
verify large and complex (non-software) systems by using categorical methods
as already used in computer science.

Best regards,

dc

-- 
David CHEMOUIL
ONERA/DTIM - 2 avenue Édouard Belin - F-31055 Toulouse
Tel: +33 (0) 5 6225 2936 - Fax: +33 (0) 5 6225 2593
http://www.onera.fr/staff/david-chemouil