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
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
