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 [email protected]. 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 ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
