[TYPES/announce] Two postdoctoral positions @ CMU and ITU

[Carsten Schuermann]

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

	Carnegie Mellon University and IT University of Copenhagen

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


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

Applicants should have a strong background and interest in some combination of type theory, proof theory, concurrency, logical frameworks, and linear or substructural logics. Both positions are expected to start in the Fall of 2015. 

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

Application page for the position at CMU: http://csjobs.qatar.cmu.edu <http://csjobs.qatar.cmu.edu/>

Application page for the position at ITU: http://en.itu.dk/About-ITU/Vacancies <http://en.itu.dk/About-ITU/Vacancies>
=======================================================================

Iliano Cervesato  
Professor        
Carnegie Mellon University

Carsten Schuermann 
Associate Professor        
IT University of Copenhagen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150925/bedbb693/attachment.html>