In context of our doctoral college on Logical Methods in Computer Science (LogiCS) funded by FWF our and in our national research network RiSE we have several openings, both for PhD students as well as Post-Docs.

We are particularly interested in students with in depth experience in implementing decision procedures or related techniques or proven excellent implementation skills and interest in working on logic related topics.

We will continue looking for candidates until the positions are filled. If you are interested contact Armin Biere or Martina Seidl for more information.