[Swarm-Modelling] Postdoc Position in Formal Modelling and Analysis of Ecosystems

[Paolo Milazzo]

---------- Forwarded message ----------
From: Antonio Cerone<address@hidden>
Date: Thu, 15 Mar 2012 15:22:20 +0800
Subject: Postdoc Position in Formal Modelling and Analysis of Ecosystems

Call for Applications

Postdoctoral Fellow Position in Formal Modelling and Analysis of Ecosystems

UNU-IIST, Macau SAR China (http://www.iist.unu.edu/)
Position Code: POS-ENV-1

The United Nations University - International Institute for Software 
Technology
(UNU-IIST), located in Macau, is accepting applications for one position as
postdoctoral fellow to be involved in a high-profile portfolio of 
projects in
the area of Formal Modelling and Analysis of Ecosystems, within a 
collaboration
between UNU-IIST (Macau SAR China) and the University of Pisa (Italy).


JOB DESCRIPTION

The postdoctoral fellow will be directly involved in the development and
implementation of methodologies and tools for the testing and comparison of
different policies for environmental and health management, such as policies
for control or eradication of diseases and disease vectors, translocation of
living organisms from one area to another, rescue and recovery of endangered
species.  The underlying research work for the development of such
methodologies will include the definition, and/or extension of formal
specification languages for systems biology and, more specifically, for
ecosystems, their use in the modelling, simulation and analysis of 
population
dynamics, and their implementation in tools for simulation and analysis 
to be
applied to real problems in the areas of population/disease control and
reintroduction biology.

In addition, the fellow will be involved in writing funding proposals 
and may
be involved in some teaching, locally in Macau as well as in industrialised
and developing countries.  The position is an opportunity to gain broad
international exposure through collaboration with various international
partners and experience managing a small research and development team.


SELECTION CRITERIA

Candidates for the position should have a PhD in Computer Science, ICT or
Bioinformatics, or in a related discipline, background in formal methods,
familiarity with probabilistic and stochastic model-checking, experience in
development and use of tools for the modelling, simulation and analysis of
biological and/or ecological systems, strong programming ability, good 
English
writing ability, ability to work independently and ability to manage a small
research team.

Background in statistics, biology and natural sciences, and experience in
developing tools for 2D and/or 3D visualisation are advantages.


POSITION CONDITIONS

The fellow will work under the direction of Dr. Antonio Cerone, UNU-IIST
Research Fellow.  The position is available as soon as possible and is
initially for 1 year, with possibility of extension.  Salary is dependent on
experience and research background and is in the range USD 2,500 – 3,500 per
month, free of Macau tax. Health insurance and accommodation (except utility
costs) are provided free of charge.


APPLICATION PROCEDURE

Applicants should submit
• cover letter explaining how their background, skills and experience match
   the job description and address the selection criteria;
• curriculum vitae (including list of publications);
• statement of overall research experience and interests;
• name, affiliation, email, and telephone contact information of three
   references;
• up to three writing samples (working paper or published work).
The cover letter should contain an indication of the position code 
(POS-ENV-1).

Applications should be addressed to Dr Antonio Cerone and sent by email to
address@hidden

Evaluation of applications will begin on 1 April 2012 and the call for
applications will remain open until the position has been filled.

Unsuccessful applications will neither be acknowledged nor returned.

--
Antonio Cerone
United Nations University
UNU-IIST, Macau SAR China