[ 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 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 s...@cs.cmu.edu and ili...@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 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. 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