[TYPES/announce] Two postdoctoral positions

[Iliano Cervesato]

[Apologies if you have received multiple copies of this announcement]
=======================================================================
                        Postdoctoral Position
                                  on
                Automated Verification of Properties of
           Concurrent, Distributed and Parallel Specifications

	         Carnegie Mellon University, Qatar campus

=======================================================================


We are seeking applications for a postdoctoral position in computational logic. The position is part of a common project on automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security.  The position is based on CMU's Qatar campus.

Applicants should have a strong background and interest in some combination of type theory, proof theory, concurrency, logical frameworks, and linear or substructural logics. The position is expected to start in late 2015 or early 2016.

Project page: http://www.cs.cmu.edu/~iliano/projects/metaCLF/

Application page: http://csjobs.qatar.cmu.edu

=======================================================================
-- 
Iliano Cervesato  www.cs.cmu.edu/~iliano/
Professor         Carnegie Mellon University