The Spirals research team at University of Lille invites applications for a postdoc position in computer science focusing on using techniques from the area of knowledge compilation for answering queries on variability models. The project broadly aims to investigate different representations of the variability model, in particular relying on d-DNNF circuits, to perform various operations such as counting, enumerating and updating.

This postdoc position is a full-time employed positions for one year. Informal enquiries are welcome and may be sent to clement.quinton@univ-lille.fr.