[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Postdoctoral Positions on Ensemble Programming

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

The School of Computer Science at Carnegie Mellon University invites
applications for two postdoctoral fellow positions on effective
programming for large distributed ensembles. One position will be based
on the Pittsburgh campus of CMU and the other on its Qatar campus, with
travel between the two. Both positions are part of a common project to
develop 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. The
research will be conducted under the supervision of Prof. Iliano
Cervesato and Prof. Seth Goldstein. The project runs from 1 December
2010 to 30 November 2013. Candidates are also encouraged to explore
research ideas on top and beyond the project description. The positions
provide significant opportunities for professional development.

Applicants should have a strong background and interest in some
combination of multiset/term rewriting, concurrency, massively
distributed systems, programming language design and implementation,
linear logic, logic programming or swarm robotics . The project page
lists some publications and links related to the project. To apply, send
a cover letter, a CV and a list of references in PDF format to
s...@cs.cmu.edu and ili...@cmu.edu. Additional material will be
requested as needed.

This posting will stay open until filled. Early expressions of interest
are encouraged.

Position in 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.

The position in Qatar offers a 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.

Position in Pittsburgh

Carnegie Mellon's School of Computer Science is one of the world's
premier institutions for computer science research and education. For
the past 45 years, it has been at the forefront of innovation in all
areas of computing.

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

Reply via email to