From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D983A7EE4B for ; Sun, 29 Sep 2013 10:26:34 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sunjunhqq@gmail.com) identity=pra; client-ip=209.85.220.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sunjunhqq@gmail.com"; x-sender="sunjunhqq@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of sunjunhqq@gmail.com designates 209.85.220.174 as permitted sender) identity=mailfrom; client-ip=209.85.220.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sunjunhqq@gmail.com"; x-sender="sunjunhqq@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f174.google.com) identity=helo; client-ip=209.85.220.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sunjunhqq@gmail.com"; x-sender="postmaster@mail-vc0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMBAOzjR1LRVdyum2dsb2JhbABZFoItfFKuJooNiVoIFg4BAQEBAQYLCwkUKIJsAScSAw0FCQddEgEFATWHdAMPDJligwOPXIQLJw1XiQ0BBQyLMoQwhAwDiTeOSIEvjmAYKYFigngv X-IPAS-Result: AsMBAOzjR1LRVdyum2dsb2JhbABZFoItfFKuJooNiVoIFg4BAQEBAQYLCwkUKIJsAScSAw0FCQddEgEFATWHdAMPDJligwOPXIQLJw1XiQ0BBQyLMoQwhAwDiTeOSIEvjmAYKYFigngv X-IronPort-AV: E=Sophos;i="4.90,1003,1371074400"; d="scan'208";a="34772055" Received: from mail-vc0-f174.google.com ([209.85.220.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Sep 2013 10:26:33 +0200 Received: by mail-vc0-f174.google.com with SMTP id gd11so2967333vcb.33 for ; Sun, 29 Sep 2013 01:26:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=oh2vIk76ytgX+kIXQ+wOdEgch6WkCkBu8ypiquiqjFI=; b=JCg3DdhFndin69hTLSVL2o/3CCghxRdNnLYbKpwGX8ph1V9bQzr3Fc6myu1TB/fP/R CFWwxiOZ6kGo9ZxeNYX4UdMphQkspyAbpOWBiZFNqsXUO2fU+woPTG1DN3e7nEKvhZkI LXX1/RYK/eLd4qDKMRnDufSukKoB8iKLO6a7BmzhOeKZgQl1HffeBq07kEvK7ielwExX fZQHoGF7SUuYw4RPh1JjRk6hYdJPzxrh9tTvLzQHS1aTnSg+ohyQDGCeltZX4XIGtKCU fslPULIY2Pq6PNSIWh9/yrSsJlfyJHOEOiSxwwknLOrJmg5X9EPX95/xKrfZsISVvNtv sIPQ== MIME-Version: 1.0 X-Received: by 10.220.43.19 with SMTP id u19mr15820186vce.3.1380443193149; Sun, 29 Sep 2013 01:26:33 -0700 (PDT) Sender: sunjunhqq@gmail.com Received: by 10.221.68.130 with HTTP; Sun, 29 Sep 2013 01:26:33 -0700 (PDT) Date: Sun, 29 Sep 2013 16:26:33 +0800 X-Google-Sender-Auth: EwJMYDMTUrKBVnA6fYtyR6rLe00 Message-ID: From: jun sun To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7b3a914c29115704e7817a75 Subject: [Caml-list] Postdoc Position Available --047d7b3a914c29115704e7817a75 Content-Type: text/plain; charset=ISO-8859-1 A Postdoctoral Research Fellow position is available on program analysis and model checking, funded by a research project led by Dr. Sun Jun from Singapore University of Technology and Design. The goal of this project is to develop novel automated verification techniques for programs. To apply you must hold a degree in the areas of Computer Science, or a related discipline, and a PhD relevant to the research area. Candidates are expected to have high-quality publications in peer-reviewed conferences and journals. The postdoc will be supervised by Dr. Sun Jun and will be working closely with his existing research fellows/assistants. Furthermore, the postdoc will be interacting with the PAT model checking group in Singapore University of Technology and Design, National University of Singapore and Nanyang Technological University (Singapore). The post is available for up to 3 years. The salary starts from SGD 60K per year with attractive package. Informal inquiries are encouraged and should be directed to: Dr Sun Jun (sunjun@sutd.edu.sg) http://faculty.sutd.edu.sg/~sunjun/ --047d7b3a914c29115704e7817a75 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
A Postdoctoral Research Fellow=A0position=A0is=A0available=A0on program analysis and model checking, funded= by a research project led by Dr. Sun Jun from Singapore University of Tech= nology and Design.=A0The goal of this project is to develop novel a= utomated verification techniques for programs.=A0

<= span style=3D"font-size:12.727272033691406px">To apply you must hold a degr= ee in the areas of Computer Science, or a related discipline, and a PhD rel= evant to the research area. Candidates are expected to have=A0high-quality publications in peer-= reviewed conferences and journals.

The=A0postdoc=A0will be supervised by Dr. Sun Jun and will be= working closely with his existing research fellows/assistants. Furthermore= , the postdoc will be interacting with the PAT model checking group in Sing= apore University of Technology and Design, National University of Singapore= and Nanyang Technological University (Singapore).=A0

<= span style=3D"font-size:12.727272033691406px">The post is=A0av= ailable=A0for up to 3= years. The salary starts from SGD 60K per year with attractive package. = =A0

Informal=A0inquiries=A0are encouraged and should be directed to:

Dr Sun Jun (sunjun@sutd.edu.sg)
http://fa= culty.sutd.edu.sg/~sunjun/
--047d7b3a914c29115704e7817a75--