[TYPES/announce] Postdoctoral Position on Ensemble Programming at CMU Pittsburgh, PA

Iliano Cervesato iliano at cmu.edu
Wed May 16 08:48:07 EDT 2012

Postdoctoral Positions on Ensemble Programming at CMU, Pittsburgh, PA

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

The School of Computer Science at Carnegie Mellon University seeks
applications for one postdoctoral fellow position on effective
programming for large distributed ensembles. The position is based in
Pittsburgh, PA and targets expertise towards the synergetic 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 the project page for
publications and related links. The research will be conducted under the
supervision of Prof. Seth Goldstein, Prof. Frank Pfenning and Prof.
Iliano Cervesato.

Applicants should have a strong background in computer systems
(especially distributed systems, embedded systems, reconfigurable
computing, or swarm robotics) and familiarity with programming language
theory (especially, operational semantics, computational logic, or
multiset rewriting), or vice versa. To apply, send a cover letter, a CV
and a list of references in PDF format to seth at cs.cmu.edu, fp at cs.cmu.edu
and iliano at cmu.edu. Additional material will be requested as needed.

Iliano Cervesato      www.qatar.cmu.edu/~iliano/
Associate Professor   Carnegie Mellon University

More information about the Types-announce mailing list