[TYPES/announce] Postdoctoral positions on logic-based ensemble programming

[Iliano Cervesato]

Postdoctoral Positions on Ensemble Programming

(further details at http://www.qatar.cmu.edu/iliano/msr-postdoc)

NOTE: these positions are in addition to two positions on computational logic
advertised on July 17th -- http://www.qatar.cmu.edu/iliano/clf-postdoc/


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 September 2010 to 31 August 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
logic programming, term rewriting, concurrency, distributed systems,
compilation, proof theory and linear logics. 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.

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 research facilities in
a dynamic and multidisciplinary environment.

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. Further resources:

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