Postdoc position

Postdoc position in programming languages and/or security

Doha, Qatar

Submissions: 30 June 2010

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

Some Tags: rewriting, languages, applications, Cryptography, Type Theory, Logic Programming, computer security, programming languages, theory of programming languages, Security

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>