[TYPES/announce] Postdoctoral Positions on Computational Logic

Frank Pfenning fp at cs.cmu.edu
Sat Jul 17 11:06:32 EDT 2010


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 fp 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.

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100717/60f25fae/attachment.htm


More information about the Types-announce mailing list