| Name | Previous Institute | Current Institute | Years Hired | Group of |
|---|---|---|---|---|
| Cezara Dragoi | LIAFA, FR | IST Austria | 2014– | Thomas Henzinger |
| Jan Otop | UWr, PL | IST Austria | 2014– | Thomas Henzinger |
| Sasha Rubin | Cornell U., US | IST Austria, TU Wien | 2012– | Helmut Veith, Krishnendu Chatterjee |
| Benjamin Aminof | HUJI, IL | IST Austria, TU Wien | 2013– | Helmut Veith, Krishnendu Chatterjee |
| Tomer Kotek | Technion, IL | TU Wien | 2013– | Helmut Veith |
| Igor Konnov | Lomonosov MSTU, RU | TU Wien | 2011– | Helmut Veith |
| Gergely Kovásznai | Eszterhazy K. Coll., HU | JKU Linz, TU Wien | 2011– | Helmut Veith, Armin Biere |
| Josef Widder | Texas A&M, US | TU Wien | 2011– | Helmut Veith |
| Rainer Trummer | PLU Salzburg, AT | PLU Salzburg | 2011– | Christoph Kirsch |
| Martin Zeiner | TU Graz, AT | TU Wien | 2011– | Ulrich Schmid |
| Swen Jacobs | EPFL, CH | TU Graz | 2012– | Roderick Bloem |
| Rasmus Ibsen-Jensen | Aarhus U., DK | IST Austria | 2013– | Krishnendu Chatterjee |
| Mathieu Tracol | Paris 7, FR | IST Austria | 2010–2011 | Krishnendu Chatterjee |
| Jean-Marie Lagniez | CRIL Lens, FR | JKU Linz | 2012–2013 | Armin Biere |
| Marijn Heule | TU Delft, NL | JKU Linz | 2011 | Armin Biere |
| Florian Lonsing | JKU Linz, AT | TU Wien | 2012– | Uwe Egly |
| Roopsha Samanta | The University of Texas at Austin | IST Austria | 2014– | Thomas Henzinger |
