[LIRa] Open position for a postdoctoral researcher in Logic