PostDoc position in Logic related to the SYSMICS project (Salerno)