From: David CHEMOUIL <David.Chemouil-JHJAq2H2R/M@public.gmane.org>
To: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org,
categories-59hdLBrVOVU@public.gmane.org
Subject: 2 PhD positions at Onera Toulouse, France
Date: Thu, 23 Apr 2009 17:41:49 +0200 [thread overview]
Message-ID: <20090423174149.42ef962c@cannes.cert.fr> (raw)
[-- Attachment #1: Type: text/plain, Size: 650 bytes --]
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
[-- Attachment #2: space-systems-modeling.pdf --]
[-- Type: application/pdf, Size: 112045 bytes --]
[-- Attachment #3: viewpoint-composition.pdf --]
[-- Type: application/pdf, Size: 114251 bytes --]
[-- Attachment #4: Type: text/plain, Size: 189 bytes --]
_______________________________________________
Concurrency mailing list
Concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org
http://listserver.tue.nl/mailman/listinfo/concurrency
next reply other threads:[~2009-04-23 15:41 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-04-23 15:41 David CHEMOUIL [this message]
2009-04-24 7:09 David CHEMOUIL
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20090423174149.42ef962c@cannes.cert.fr \
--to=david.chemouil-jhjaq2h2r/m@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).