Two PhD positions and Two Postdoc positions in Logic (Groningen, Netherlands), deadline: 15 June 2021