[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoctoral Positions on Computational Logic (further details at http://www.qatar.cmu.edu/iliano/clf-postdoc) The School of Computer Science at Carnegie Mellon University invites applications for two postdoctoral fellow positions in computational logic. 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 language specification with substructural operational semantics into methodologies for designing and reasoning about programming and specification languages for distributed computation. The research will be conducted under the supervision of Prof. Iliano Cervesato and Prof. Frank Pfenning. 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 type theory, proof theory, concurrency, logical frameworks, and linear or substructural logics. To apply, send a cover letter, a CV and a list of references in PDF format to f...@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 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. 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.