[TYPES/announce] Postdoctoral Positions on Ensemble Programming

Iliano Cervesato iliano at cmu.edu
Mon May 2 04:05:48 EDT 2011

Postdoctoral Positions on Ensemble Programming

(further details at www.qatar.cmu.edu/iliano/projects/ripple)

The School of Computer Science at Carnegie Mellon University seeks
applications for two postdoctoral fellow positions on effective
programming for large distributed ensembles. These positions target
complementary expertise towards the synergistic development of recent
work on logic-based multiset rewriting and on programmable matter
(Claytronics) into a usable and verifiable programming language for
large distributed ensembles of agents. See below for a detailed
description of each position. See also the project page for publications
and links related to the project.

One position will be based on the Qatar campus of CMU and the other on
its Pittsburgh campus, with travel between the two. The research will be
conducted under the supervision of Prof. Iliano Cervesato in Qatar and
Prof. Seth Goldstein in Pittsburgh. To apply, send a cover letter, a CV
and a list of references in PDF format to seth at cs.cmu.edu and
iliano at cmu.edu. Additional material will be requested as needed.

Position in Qatar (effective immediately)

Ideal applicants bring together a strong theoretical background and a
keen interest in turning new theoretical developments into practical
applications. Specifically, applicants for this position should have an
established research record in some combination of the following fields:

    * multiset/term rewriting
    * concurrency
    * massively distributed systems
    * programming language design/implementation
    * linear logic
    * logic programming
    * swarm robotics

Why would I go to Qatar?

We are an integral part of the School of Computer Science of Carnegie
Mellon University in Pittsburgh. With some 30 people, equally divided
among faculty, postdocs and research staff, the Computer Science group
at Carnegie Mellon Qatar is comparable to the best mid-size CS
departments around the world. Indeed, we publish our research in the
same venues, go to the same conferences, and interact in the same way
with our colleagues worldwide. Differently from many mid-size CS
departments, we are committed to and have the resources for significant
further growth.

A postdoc in the CS group at CMU Qatar has the opportunity not only to
do cutting edge research with world-renowned experts, but also to be
part of a new dynamic environment, to gain responsibilities that go well
beyond the typical postdoc experience, and to contribute to the growth
of CMU Qatar. All former CMU Qatar postdocs are enjoying successful
careers in academia or in industry (at Google, in startups).

The position in Qatar offers a highly competitive salary, a foreign
service premium, excellent international health care coverage, and
allowances for housing, transportation, and travel. Benefits may vary
with contract type. The position comes with support for conferences and
equipment. Postdocs are encouraged to explore research ideas on top of
and beyond the project description. The positions provide significant
opportunities for professional development.

About CMU Qatar

In 2004, Carnegie Mellon University established a branch campus in Qatar
with the goal of promoting the same high standards of research and
education as its original Pittsburgh campus. CMU Qatar is located in
Education City, an ultramodern 2,500 acre campus which currently hosts
branches of six of the world's leading universities. The campus provides
cutting-edge research facilities in a dynamic and multidisciplinary

Carnegie Mellon Qatar is located in Qatar's capital, Doha, an
up-and-coming modern city with easy access to the world. Qatar is a
small country on the East coast of the Arabian peninsula. Its abundant
reserves of natural gas have resulted in it having a GDP per capita
among the highest in the world. It is cosmopolitan, vibrant, yet
pleasant and safe. And of course, it was recently selected to host the
2022 FIFA World Cup

Position in Pittsburgh

(We will start accepting applications for the Pittsburgh position only
after the Qatar position has been filled.)

Ideal applicants bring together a strong systems background and a keen
interest in developing highly experimental systems. Specifically,
applicants for this position should have an established research record
in some combination of the following fields:

    * distributed systems
    * embedded systems
    * programming language implementation
    * reconfigurable computing
    * swarm robotics

The position in Pittsburgh offers the standard benefits of a
postdoctoral fellowship in the USA.
Iliano Cervesato      www.qatar.cmu.edu/~iliano/
Associate Professor   Carnegie Mellon University

More information about the Types-announce mailing list