Postdoc position in Duality in Formal Languages and Logic, Nice (France)

The ERC Advanced project DuaLL (Duality in Formal Languages and Logic) invites applications for a postdoc position at the Laboratoire J. A. Dieudonné (Université Côte d’Azur, CNRS, Nice) to start in Fall 2018. The position is for 1 year, renewable for a second year.

This is an interdisciplinary project primarily combining profinite tools from the algebraic theory of regular languages and Stone/Priestley duality for lattices with additional operations. Preference will be given to candidates with prior work in at least one of these two areas as well as familiarity with descriptive complexity. The successful candidate will contribute to the development of an Eilenberg-Reiterman theory beyond regular languages with the goal of obtaining new tools and separation results for Boolean circuit classes.