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 firstname.lastname@example.org, email@example.com and firstname.lastname@example.org. Additional material will be requested as needed.