[TYPES/announce] 2 post-doc positions at UNU-IIST

[Martin Schäf]

The United Nations University - International Institute For Software
Technology (UNU-IIST) is seeking to hire two post-doctoral research
fellows for its project "Efficient Infeasible Code Detection"
(http://iist.unu.edu/projects/efficient-infeasible-code-detection ).
The post-docs will be working on the static analysis tool Joogie
(http://www.joogie.org). Joogie uses techniques from static
verification to prove that particular program fragments cannot be
executed for any input. This allows us to detect common coding
mistakes such as contradicting control-flow assumption fast and with
very few false alarms. During the project, we investigate how Joogie
can be extended to a larger class of errors and develop static
analysis techniques tailored towards infeasible code detection.

The ideal candidates should have:
* A Ph.D. degree in computer science
* Publications in the field of static analysis or testing
* Strong programming skills
* Experience with static program verifiers such as Boogie
* Experience in the development of IDE plugins

Candidates with Master's degree in a related field and strong engineering
background can apply for short-term fellowships.

UNU-IIST offers an initial one year employment with a possibility of
extension. The successful candidates will be working in a young and
international team. We offer competitive salaries and free
accommodation (not including utility costs) within walking distance to
the institute.

All applications must be written in English and include:
* Curriculum Vitae including list of publications
* A cover letter stating your current research interest
* Contact information for 3 referees

Interested applicants should send their CV to: schaef at iist.unu.edu

The United Nations University International Institute for Software
Technology (UNU-IIST), founded in Macau in 1992, is one of the fifteen
research and training institutes and programmes of the United Nations
University (UNU).  The Institute’s programmes focus primarily on the
application of ICT in four thematic areas: Education, Health,
Governance, and Poverty. Researchers in the Institute engineer
solutions to help address challenges in developing countries by
working in multidisciplinary teams that bring together experts in ICT
with those from natural and social sciences, as well as key
stakeholders, ranging from grassroots constituencies to national and
international policy makers.


For further inquiries please contact:
Martin Schaef
schaef at iist.unu.edu
https://iist.unu.edu/people/schaef