<p>Two PhD and postdoc positions are available at DIKU, the Department 
of Computer Science at the University of Copenhagen, in the Project <em>Kleene Meets Church (KMC): Regular Expressions and Types</em>.  </p>
<p>The
 overall objective of KMC is to investigate the type-theoretical 
foundations for the prevalent use of regular expressions (and related 
grammars) for extracting information from an input, not just classifying
 it into accepting/nonaccepting; to explore and demonstrate guaranteed 
safety and expressiveness of programming with regular expressions as 
types; and to drastically improve semantic predictability and 
computational scalability vis a vis commonly used regular expression 
processing tools such as Perl.</p>
<p>Application deadline: <strong>March 31st, 2012</strong>.</p>
For information on the positions and application requirements, please see <a href="http://diku.dk/english/about/vacancies" target="_blank" rel="nofollow">http://diku.dk/english/about/vacancies</a>