[TYPES/announce] PhD and postdoc positions in regular exressions and types

[Fritz Henglein]

Two PhD and postdoc positions are available at DIKU, the Department of
Computer Science at the University of Copenhagen, in the Project *Kleene
Meets Church (KMC): Regular Expressions and Types*.

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.

Application deadline: *March 31st, 2012*.
For information on the positions and application requirements, please see
http://diku.dk/english/about/vacancies
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120313/b135f7d6/attachment.html>