Uncategorized
http://verify.inf.unisi.ch/group/positions/
Lists all the open positionsenPosition for a PhD student in the project ''Quality of Interpolants in Model Checking''
http://verify.inf.unisi.ch/content/position-phd-student-project-quality-interpolants-model-checking
<p> </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 "Quality of Interpolants in Model Checking". </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 +0200mcWebAdmin137 at http://verify.inf.unisi.ch