Associate Professorship of Synthesis Methods for Electronic Design Automation (2008 — 2010)