http://verify.inf.unisi.ch/group/positions/ Lists all the open positions en http://verify.inf.unisi.ch/content/position-phd-student-project-quality-interpolants-model-checking <p>&nbsp;</p> <p>The group has an open position for a research assistant in the area of software model checking and decision procedures. The assistant is to join the Ph.D. program at the University of Lugano and to conduct his/her Ph.D. research as part of the funded project &quot;Quality of Interpolants in Model Checking&quot;.&nbsp;</p> <p>A successful candidate is expected to show skills in mathematics, theoretical computer science, as well as practical, system-level programming and tool development. Prior experience with formal methods and formal verification is an additional plus.</p> <p><a href="http://verify.inf.unisi.ch/content/position-phd-student-project-quality-interpolants-model-checking">read more</a></p> Thu, 22 Sep 2011 16:07:44 +0200 mcWebAdmin 137 at http://verify.inf.unisi.ch