Postdoc position

Postdoc position in programming languages and/or security

Doha, Qatar

Submissions: 30 June 2010

http://www.qatar.cmu.edu/iliano/postdoc/

Carnegie Mellon University in Qatar invites applications for a two-year postdoctoral fellow position with expertise in one or more of the following areas:

  • Computational logic, specifically logical frameworks, logic programming
    or multiset rewriting,
  • Theory of programming languages, specifically type theory and structural
    operational semantics,
  • Computer security, specifically representation and verification of
    cryptographic protocols or language-based security.

The position involves conducting cutting-edge research in the above areas and
provides significant opportunities for professional development. It offers a
competitive salary, a foreign service premium, excellent international health
care coverage, and allowances for housing, transportation, and travel.

For additional information and application instructions, visit http://www.qatar.cmu.edu/iliano/postdoc/

Some Tags: Security, languages, computational logic, Logic Programming, verification, theory of programming languages, computer security, logic, Cryptography, rewriting

Leave a Reply

  

  

  

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>