[finite-model-theory] Postdoc position at CRM Barcelona