From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=FUZZY_CPILL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 74568BB84 for ; Thu, 22 May 2008 09:27:26 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsBACO9NEjAXQImiGdsb2JhbAATgWBENoVXgWYLgSqGVQEBAQ8gkg+Kdw X-IronPort-AV: E=Sophos;i="4.27,524,1204498800"; d="scan'208,217";a="12556815" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 May 2008 09:27:26 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4M7RFvQ008265 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 22 May 2008 09:27:25 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsBAF69NEjKr3bEiGdsb2JhbAATgWBENoVXgWYLgSqGVQEBAQ8gkgSKcQ X-IronPort-AV: E=Sophos;i="4.27,524,1204498800"; d="scan'208,217";a="26492754" Received: from mailhost.iist.unu.edu ([202.175.118.196]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 May 2008 09:27:22 +0200 Received: from nb5279 (nb181.iist.unu.edu [172.18.1.181]) by mailhost.iist.unu.edu (8.12.11/8.12.11/Debian-5) with SMTP id m4M7Id5B009657; Thu, 22 May 2008 15:18:49 +0800 Message-ID: <000c01c8bbdd$03b095d0$b50112ac@nb5279> From: "Wang Xu" To: , , , , , , , , , , , , , , , Subject: Vacancy Announcement: two post-doctoral researcher positions at UNU-IIST Date: Thu, 22 May 2008 15:25:21 +0800 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0005_01C8BC20.0C548460" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3138 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3198 X-UNUIIST-MailScanner: Found to be clean X-UNUIIST-MailScanner-From: wx@iist.unu.edu X-Miltered: at discorde with ID 48352053.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; iist:01 iist:01 subsystems:01 abstraction:01 scalable:01 non-blocking:01 model:01 semantics:01 algebra:01 subsystems:01 abstraction:01 scalable:01 non-blocking:01 model:01 semantics:01 This is a multi-part message in MIME format. ------=_NextPart_000_0005_01C8BC20.0C548460 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable (Our apology if you receive multiple copies of this advertisement) *************************************************************************= * UNITED NATIONS UNIVERSITY VACANCY ANNOUNCEMENT http://www.iist.unu.edu/www/job/pearl.html. Two post-doctoral researcher positions are now open at International = Institute for Software Technology, United Nations University (UNU-IIST, = http://www.iist.unu.edu). UNU-IIST is a Research and Training Centre of = the United Nations University. It serves developing countries to help = them attain self-reliance in software technology by training their young = scientists and engineers.=20 The positions are funded for three years by Macau Sci.&Tech. Development = Fund and UNU-IIST through "PEARL --- Process expansion: action = refinement in the large", a project in collaboration with University of = Macau (UM, http://www.umac.mo/).=20 The project covers topics broadly in: a) Developing `grainless' semantic theories for concurrent systems, = where coarse grain actions can be refined into (subsystems of) fine = grain actions or reversely fine grain actions atomised into coarse grain = actions. b) Exploiting the freedom of moving across levels of abstraction (i.e. = grain size) to develop scalable verification techniques (model-checking) = and incremental development methods (law-based).=20 c) Application of the theories, techniques and methods to the = verification and development of concurrent non-blocking algorithms, = multithreaded Java programs (with weak-ordering memory model) and = web-based transaction systems. These positions are ideal for young researchers who would like to = develop their academic research careers by working in an excellent = academic setting. They provide a unique opportunity to join an institute = that has proven experience in, and dedication to, the training of young = researchers, in formal methods and theoretical computer science. Requirements ------------ We are seeking young research scientists with (or in the process of = obtaining) PhDs in computer science. Good English speaking and writing = skills are necessary. The successful applicants should have a profound = knowledge of the semantics, specification and verification of concurrent = systems. Experience in simulation and data refinement techniques, = process algebra model-checking (esp. CSP) and action/atomicity = refinement will be an advantage.=20 Besides research, the successful applicants will also be involved in = helping to supervise postgraduate students from developing countries = recruited to the project as UNU-IIST fellows.=20 Conditions ------------ The postdoctoral positions are contract appointments starting with one = year and renewable for another two years, depending on performance. = Salary will be in the range 2000-3000 USD per month paid without = deduction of tax. UNU-IIST will provide medical insurance and a = fully-furnished & rent-free two-bedroom apartment (exclusive of utility = expenses). The Research Group ------------------- The successful applicants will be working in a joint research group at = UNU-IIST and UM. The research group is led by Dr. Jeff Sanders, = Principal Research Fellow of UNU-IIST. Other members of the group = include Dr. Qiwen Xu of UM and Dr. Xu Wang of UNU-IIST.=20 Further information is available from: Jeff Sanders Jeff@iist.unu.edu The City=20 --------- Macao is a Special Administrative Region of China, about 40km from Hong = Kong, the other side of the Pearl River estuary. It is a small, safe = city, predominantly Chinese in culture but with strong Portuguese = influences and an active expatriate community of people from many = countries. There are schools that teach in English, Chinese and = Portuguese.=20 The Application ---------------- Potential applicants are suggested to send a CV, 2-3 recent publications = (relevant to the project) and a covering letter with the contact details = of three referees by email to vacancy@iist.unu.edu, quoting the job = reference PEARL-1. The Deadline ---------------- Application submission is now open and will remain so until suitable = candidates are found. The selection procedure, however, will start on 31 = July and the positions ideally start as soon as possible afterwards.=20 ------=_NextPart_000_0005_01C8BC20.0C548460 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
(Our apology if you receive multiple = copies of this=20 advertisement)
 
****************************************************************= **********
UNITED NATIONS UNIVERSITY VACANCY ANNOUNCEMENT
 
http://www.iist.unu.e= du/www/job/pearl.html.
 
 
Two post-doctoral researcher positions are now open at = International=20 Institute for Software Technology, United Nations University (UNU-IIST, = http://www.iist.unu.edu). UNU-IIST = is a=20 Research and Training Centre of the United Nations University. It serves = developing countries to help them attain self-reliance in software = technology by=20 training their young scientists and engineers.
 
The positions are funded for three years by Macau Sci.&Tech.=20 Development Fund and UNU-IIST through "PEARL --- Process expansion: = action=20 refinement in the large", a project in collaboration with University of = Macau=20 (UM, http://www.umac.mo/).
 
The project covers topics broadly in:
 
a) Developing `grainless' semantic theories for concurrent systems, = where=20 coarse grain actions can be refined into (subsystems of) fine grain = actions or=20 reversely fine grain actions atomised into coarse grain actions.
 
b) Exploiting the freedom of moving across levels of abstraction = (i.e.=20 grain size) to develop scalable verification techniques (model-checking) = and=20 incremental development methods (law-based).
 
c) Application of the theories, techniques and methods to the = verification=20 and development of concurrent non-blocking algorithms, multithreaded = Java=20 programs (with weak-ordering memory model) and web-based transaction=20 systems.
 
These positions are ideal for young researchers who would like to = develop=20 their academic research careers by working in an excellent academic = setting.=20 They provide a unique opportunity to join an institute that has proven=20 experience in, and dedication to, the training of young researchers, in = formal=20 methods and theoretical computer science.
 
Requirements
------------
 
We are seeking young research scientists with (or in the process of = obtaining) PhDs in computer science. Good English speaking and writing = skills=20 are necessary. The successful applicants should have a profound = knowledge of the=20 semantics, specification and verification of concurrent systems. = Experience in=20 simulation and data refinement techniques, process algebra = model-checking (esp.=20 CSP) and action/atomicity refinement will be an advantage.
 
Besides research, the successful applicants will also be involved = in=20 helping to supervise postgraduate students from developing countries = recruited=20 to the project as UNU-IIST fellows.
 

Conditions
------------
The postdoctoral positions are = contract=20 appointments starting with one year and renewable for another two years, = depending on performance. Salary will be in the range 2000-3000 USD per = month=20 paid without deduction of tax. UNU-IIST will provide medical insurance = and a=20 fully-furnished & rent-free two-bedroom apartment (exclusive of = utility=20 expenses).
 
The Research Group
-------------------
 
The successful applicants will be working in a joint research group = at=20 UNU-IIST and UM. The research group is led by Dr. Jeff Sanders, = Principal=20 Research Fellow of UNU-IIST. Other members of the group include Dr. = Qiwen Xu of=20 UM and Dr. Xu Wang of UNU-IIST.
 
Further information is available from:
 
Jeff Sanders
Jeff@iist.unu.edu
 

The City
---------
 
Macao is a Special Administrative Region of China, about 40km from = Hong=20 Kong, the other side of the Pearl River estuary. It is a small, safe = city,=20 predominantly Chinese in culture but with strong Portuguese influences = and an=20 active expatriate community of people from many countries. There are = schools=20 that teach in English, Chinese and Portuguese.
 

The Application
----------------
 
Potential applicants are suggested to send a CV, 2-3 recent = publications=20 (relevant to the project) and a covering letter with the contact details = of=20 three referees by email to vacancy@iist.unu.edu, quoting = the job=20 reference PEARL-1.
 

The Deadline
----------------
Application submission is = now open=20 and will remain so until suitable candidates are found. The selection = procedure,=20 however, will start on 31 July and the positions ideally start as soon = as=20 possible afterwards.
------=_NextPart_000_0005_01C8BC20.0C548460--