Trwa konkurs na stanowisko post-doc w projekcie NCN „Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu” kierowanym przez prof. Sławomira Lasotę. Tematyka projektu leży na pograniczu teorii automatów i logiki.