From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p577Dshr016878 for ; Tue, 7 Jun 2011 09:13:54 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AggDAOnO7U2C4UQLgWdsb2JhbABTG54Sh2sUAQEWJiWqEZ8uhiEEoFE X-IronPort-AV: E=Sophos;i="4.65,331,1304287200"; d="scan'208,217";a="84915810" Received: from smtpgw1.imm.dtu.dk ([130.225.68.11]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Jun 2011 09:13:48 +0200 Received: from exchstore.ad.imm.dtu.dk (exchstore.imm.dtu.dk [130.225.68.165]) by smtpgw1.imm.dtu.dk (8.13.8/8.13.8) with ESMTP id p577CXcX009527; Tue, 7 Jun 2011 09:12:44 +0200 Received: from EXCHSTORE.ad.imm.dtu.dk ([130.225.68.165]) by exchstore.ad.imm.dtu.dk ([130.225.68.165]) with mapi; Tue, 7 Jun 2011 09:12:40 +0200 From: Flemming Nielson To: Flemming Nielson Date: Tue, 7 Jun 2011 09:12:39 +0200 Thread-Topic: PhD Scholarships in Semantics, Analysis, Verification Thread-Index: Acwk4kmVhBpi1x5RT52QzuVe69Qf1w== Message-ID: <126C9B5E-7526-43C3-9ADE-81BB16791D34@imm.dtu.dk> Accept-Language: en-US, da-DK Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US, da-DK Content-Type: multipart/alternative; boundary="_000_126C9B5E752643C39ADE81BB16791D34immdtudk_" MIME-Version: 1.0 X-IMM_DTU-MailScanner-Information: Please contact ITSUPPORT for more information X-IMM_DTU-MailScanner-ID: p577CXcX009527 X-IMM_DTU-MailScanner: Found to be clean X-IMM_DTU-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-5.598, required 6, autolearn=not spam, BAYES_00 -2.60, HTML_MESSAGE 0.00, IMM_FROM_OK1 -3.00) X-IMM_DTU-MailScanner-From: nielson@imm.dtu.dk X-Validation-by: nielson@imm.dtu.dk Subject: [Caml-list] PhD Scholarships in Semantics, Analysis, Verification --_000_126C9B5E752643C39ADE81BB16791D34immdtudk_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable PhD Scholarships in Semantics, Analysis, Verification We are looking for enthusiastic students with a strong background in semant= ics, analysis and verification that would like to become part of our Centre= of Excellence www.MT-LAB.dk and our Danish-Chinese R= esearch Center www.idea4.dk Candidates are expected to have a background within one or more of - process calculi and automata - logical formalisms - static program analysis - model checking - prototype construction - algorithms and datastructures. A PhD Scholarship is for three years; you will be part of an international = research group lbt.imm.dtu.dk whose dainly language = is English, you will be paid about 3300=80 per month, and you would be expe= cted to spend up to half a year in a relevant research group outside of Den= mark. If you are interested - please perform steps 1-7 listed on http://www2.imm.dtu.dk/~nielson/Scholarship-2011-Announcement.pdf We look forward to your enquiries. Flemming Nielson --_000_126C9B5E752643C39ADE81BB16791D34immdtudk_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable
PhD Scholarships in Semantics, Analysis, Verific= ation

=
We are lo= oking for enthusiastic students with a strong background in semantics, anal= ysis and verification that would like to become part of our Centre of Excel= lence www.MT-LAB.dk and our Danish-Chi= nese Research Center www.idea4.dk

Candidates are expec= ted to have a background within one or more of
- process calculi and automata<= /div>
- logical formali= sms
- stat= ic program analysis
- model checking
- prototype construction
- algorithms and datastructures.

A PhD Scholarship is for= three years; you will be part of an international research group lbt.imm.dtu.dk whose dainly language is Engl= ish, you will be paid about 3300=80 per month, and you would be expected to= spend up to half a year in a relevant research group outside of Denmark.

=
If you are inter= ested - please perform steps 1-7 listed on 

We look forward to your enquiries.=
=
Flemming Nielson

= --_000_126C9B5E752643C39ADE81BB16791D34immdtudk_--