[TYPES/announce] Postdoctoral Position in Computational Logic

[Frank Pfenning]

Please see the announcement below.  I will be at POPL

and TLDI this week and would be happy to chat with anyone

who is potentially interested.  - Frank

---------------------------------------------------------------------

Postdoctoral Position in Computational Logic

The School of Computer Science at Carnegie Mellon University invites
applications for one postdoctoral fellow position in computational
logic.  The position is based in Pittsburgh and is part of a 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. Frank Pfenning and Prof. Iliano Cervesato. The project runs
through 31 November 2013.  Candidates are also encouraged to explore
research ideas beyond the project description. The position
provides significant opportunities for professional development.

For further details see
http://www.qatar.cmu.edu/iliano/projects/metaCLF/index.shtml

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
andiliano at cmu.edu. Additional material will be requested as needed.

This posting will stay open until filled. Early expressions of interest
are encouraged.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120124/318a8db1/attachment.html>