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, PA 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. See the project page for publications and related links. 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.
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 email@example.com and firstname.lastname@example.org. Additional material will be requested as needed.
This posting will stay open until filled. Early expressions of interest are encouraged.