<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><BR>
<DIV dir=ltr><FONT face=Tahoma color=#000000>
<DIV class=PlainText>The Eindhoven University of Technology (TU/e) has the <BR>following vacancy: <BR> <BR>One PhD position on the project<BR>"Efficient Multi-Core Model Checking" (V50.122) <BR> <BR>Project description <BR> <BR>Model checking is one of the most successful formal <BR>techniques for automated analysis and finding errors in <BR>software and hardware. Nowadays, model checking is used by <BR>major companies, like Microsoft and Intel, to improve the <BR>quality of their products. <BR> <BR>The aim of this project is to develop algorithms for model <BR>checking (including probabilistic model checking) that can <BR>fully exploit the parallelism of the new generations of <BR>multi- and many-core processors. The main bottleneck in <BR>practical applications of model checking is the state <BR>space explosion that has impact on the required memory and <BR>run-time. Therefore, we will strive towards designing <BR>efficient
algorithms that are compatible with the major<BR>techniques for state space reduction, like partial-order or <BR>symmetry reduction. <BR> <BR>We intend to develop prototype implementations of the new <BR>algorithms In model checkers, like Spin and its <BR>extensions, as well as the probabilistic model checker <BR>MRMC. The prototype implementations will be validated on <BR>case studies including models of biological systems. <BR> <BR>As PhD Student, you will: <BR> <BR> * perform scientific research; <BR> * work on the implementation of (prototype) tools; <BR> * present results at international conferences; <BR> * publish results in conference proceedings and <BR>scientific journals; <BR> * write a Ph.D. thesis; <BR> * participate in activities of the group and of the <BR>department.
<BR> <BR> <BR>Requirements <BR> <BR>We are looking for a candidate who meets the following <BR>requirements: <BR> <BR> * a MSc degree in Computer Science or equivalent; <BR> * a solid theoretical background (preferably in model <BR>checking or <BR> other formal methods); <BR> * interest and experience in programming (especially <BR>experience in parallel and/or distributed computing will <BR>be considered an advantage); <BR> * good communication- and writing skills in English. <BR> <BR> <BR>Working Environment, Appointment and Salary <BR> <BR>The project will be implemented as cooperation of several <BR>departments and groups. The Software Engineering and <BR>Technology group, headed by prof. dr. Mark van den Brand <BR>at the M&CS department of TU/e, focuses on maintaining
<BR>consistency between models and code. Also, part of the <BR>work within the project will be done in the group of prof. <BR>dr. Joost-Pieter Katoen at RWTH Aachen University. Prof. <BR>Katoen has internationally recognized competence in the <BR>field of formal specification and verification of <BR>probabilistic systems. Biologically inspired case <BR>studies will be provided by the Biomodeling and <BR>Bioinformatics group of prof. dr. Peter Hilbers, who is <BR>also an expert on parallel algorithms and has an <BR>outstanding record in applications of parallel computing <BR>in biology. Most of the tool implementations will be done <BR>in close collaboration with the Laboratory for Quality <BR>Software at the M&CS at TU/e. <BR> <BR>We offer: <BR> <BR> * a full-time employment for 4 years with an <BR>intermediate evaluation <BR> after 1 year; <BR> * a
stimulating scientific environment with <BR>international cooperation <BR> <BR> * access to modern equipment (multi- and many-core <BR>systems, computer clusters) <BR> * a salary of Euro 2,042 per month (gross) in the <BR>first year, <BR> increasing to Euro 2,612 per month (gross) in the <BR>fourth year. <BR> Moreover 8% holiday allowance and 8.3 % End-of-year <BR>bonus is <BR> provided annually; <BR> * Support with your personal development and career <BR>planning; <BR> * Attractive secondary labour conditions (including <BR>excellent work facilities, child care, sports facilities). <BR> <BR>Information <BR> <BR> * Information about the position: <BR> dr. Dragan Bosnacki
<BR> (dragan@win.tue.nl), <BR> or <BR> prof. dr. Mark van den Brand <BR> (M.G.J.v.d.Brand@tue.nl), <BR> prof. dr. Joost-Pieter Katoen <BR> (katoen@cs.rwth-aachen.de), <BR> prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.nl).<BR> <BR> * Information about the job conditions: <BR>Mrs. Y.Bloemers-Kluijtmans, HR advisor (pzbmt@tue.nl) <BR> <BR> * More information about the groups:* <BR> <BR> Software Engineering and Technology group at TU/e: <BR> <BR> <BR><A href="https://webmail.tue.nl/owa/redir.aspx?C=dfd16b6aef0446cdb9993fa8d9d791d3&URL=http%3a%2f%2fw3.win.tue.nl%2fnl%2fonderzoek%2fonderzoek_informatica%2fset%2f"
target=_blank>http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/</A> <BR> <BR> Software Modeling and Verification group at RWTH Aachen <BR>University: <BR> <BR> <A href="https://webmail.tue.nl/owa/redir.aspx?C=dfd16b6aef0446cdb9993fa8d9d791d3&URL=http%3a%2f%2fwww-i2.informatik.rwth-aachen.de%2f" target=_blank>http://www-i2.informatik.rwth-aachen.de/</A> <BR> <BR> Biomodeling and Bioinformatics group at TU/e: <BR> <BR> <BR><A href="https://webmail.tue.nl/owa/redir.aspx?C=dfd16b6aef0446cdb9993fa8d9d791d3&URL=http%3a%2f%2fw3.bmt.tue.nl%2fnl%2fonderzoek%2fdivisies%2fbiomedical_imaging_modeling%2fbiomodeling_and_bioinformatics%2f" target=_blank>http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biomodeling_and_bioinformatics/</A> <BR> <BR> <BR>Application <BR> <BR>Interested candidates are requested to send their <BR>application to: <BR>Eindhoven University of
Technology, Dept. of Biomedical <BR>Engineering. You can send your application by e-mail to <BR>pzbmt@tue.nl. <BR> <BR>The application should consist of the following parts: <BR> <BR> * a detailed curriculum vitae; <BR> * an explanation of your interest in the proposed <BR>research field; <BR> * a complete list of the courses you have attended <BR>and corresponding grades, name of at least two references, <BR>and all other information that might be relevant to your <BR>application; <BR> * proof of English language skills (if applicable). <BR> <BR>(Please mention the vacancy number V50.122 in the <BR>subject.) <BR> <BR>The application deadline for this position is 31-08-2009.</DIV></FONT></DIV>
<DIV dir=ltr><FONT face=tahoma></FONT> </DIV>
<DIV dir=ltr><FONT face=tahoma></FONT> </DIV>
<DIV dir=ltr><FONT face=Tahoma color=#000000>----------------------------------------------------------------------</FONT></DIV>
<DIV dir=ltr><FONT face=Tahoma color=#000000></FONT> </DIV>
<DIV dir=ltr><FONT face=Tahoma color=#000000>The Eindhoven University of Technology (TU/e) has the <BR>following vacancy: <BR> <BR>One postdoc position on the project<BR>"Efficient Multi-Core Model Checking" (V50.123) <BR> <BR>Project description <BR> <BR>Model checking is one of the most successful formal <BR>techniques for automated analysis and finding errors in <BR>software and hardware. Nowadays, model checking is used by <BR>major companies, like Microsoft and Intel, to improve the <BR>quality of their products. <BR> <BR>The aim of this project is to develop algorithms for model <BR>checking (including probabilistic model checking) that can <BR>fully exploit the parallelism of the new generations of <BR>multi- and many-core processors. The main bottleneck in <BR>practical applications of model checking is the state <BR>space explosion that has impact on the required memory and <BR>run-time. Therefore, we will strive
towards designing <BR>efficient algorithms that are compatible with the major <BR>techniques for state space reduction, like partial-order <BR>or symmetry reduction. <BR> <BR>We intend to develop prototype implementations of the new <BR>algorithms in model checkers, like Spin and its <BR>extensions, as well as the probabilistic model checker <BR>MRMC. The prototype implementations will be validated on <BR>case studies including models of biological systems. <BR> <BR>As postdoc, you will: <BR> <BR> * perform scientific research; <BR> * work on the implementation of (prototype) tools; <BR> * present results at international conferences; <BR> * publish results in conference proceedings and <BR>scientific journals; <BR> * help supervise Ph.D. students; <BR> * participate in activities of the group
and of the <BR>department. <BR> <BR> <BR>Requirements <BR> <BR>We are looking for a candidate who meets the following <BR>requirements: <BR> <BR> * a Ph.D. degree in Computer Science or equivalent; <BR> * expertise in model checking or other formal <BR>methods; <BR> * interest and experience in programming (especially <BR>experience in parallel and/or distributed computing will <BR>be considered an advantage); <BR> * good communication- and writing skills in English. <BR> <BR> <BR>Working Environment, Appointment and Salary <BR> <BR>The project will be implemented as cooperation of several <BR>departments and groups. The Software Engineering and <BR>Technology group, headed by prof. dr. Mark van den Brand <BR>at the M&CS department of TU/e, focuses on maintaining <BR>consistency between models and code. Also, part
of the <BR>work within the project will be done in the group of prof. <BR>dr. Joost-Pieter Katoen at RWTH Aachen University. Prof. <BR>Katoen has internationally recognized competence in the <BR>field of formal specification and verification of <BR>probabilistic systems. Biologically inspired case <BR>studies will be provided by the Biomodeling and <BR>Bioinformatics group of prof. dr. Peter Hilbers, who is <BR>also an expert on parallel algorithms and has an <BR>outstanding record in applications of parallel computing <BR>in biology. Most of the tool implementations will be done <BR>in close collaboration with the Laboratory for Quality <BR>Software at the M&CS at TU/e. <BR> <BR>We offer: <BR> <BR> * a full-time employment for 3 years; <BR> * a stimulating scientific environment with <BR>international cooperation <BR> * access to modern equipment (multi- and
many-core <BR>systems, computer clusters) <BR> * a salary of at least Euro 2,861 per month (gross) <BR>based on knowledge and experience. Moreover 8% holiday <BR>allowance and 8.3 % End-of-year bonus is provided <BR>annually; <BR> * Support with your personal development and career <BR>planning; <BR> * Attractive secondary labour conditions (including <BR>excellent work facilities, child care, sports facilities). <BR><BR>Information <BR> <BR> * Information about the position: <BR> dr. Dragan Bosnacki<BR> (dragan@win.tue.nl), <BR> or <BR> prof. dr. Mark van den Brand<BR> (M.G.J.v.d.Brand@tue.nl), <BR> prof. dr. Joost-Pieter Katoen
<BR> (katoen@cs.rwth-aachen.de), <BR> prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.nl).<BR> <BR> * Information about the job conditions, Mrs. Y. <BR>Bloemers-Kluijtmans, HR advisor, (pzbmt@tue.nl) <BR><BR> * More information about the groups: <BR> <BR>Software Engineering and Technology group at TU/e: <BR> <BR><A href="https://webmail.tue.nl/owa/redir.aspx?C=dfd16b6aef0446cdb9993fa8d9d791d3&URL=http%3a%2f%2fw3.win.tue.nl%2fnl%2fonderzoek%2fonderzoek_informatica%2fset%2f" target=_blank>http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/</A> <BR> <BR>Software Modeling and Verification group at RWTH Aachen <BR>University: <BR> <BR><A href="https://webmail.tue.nl/owa/redir.aspx?C=dfd16b6aef0446cdb9993fa8d9d791d3&URL=http%3a%2f%2fwww-i2.informatik.rwth-aachen.de%2f"
target=_blank>http://www-i2.informatik.rwth-aachen.de/</A> <BR> <BR>Biomodeling and Bioinformatics group at TU/e: <BR> <BR><A href="https://webmail.tue.nl/owa/redir.aspx?C=dfd16b6aef0446cdb9993fa8d9d791d3&URL=http%3a%2f%2fw3.bmt.tue.nl%2fnl%2fonderzoek%2fdivisies%2fbiomedical_imaging_modeling%2fbiomodeling_and_bioinformatics%2f" target=_blank>http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biomodeling_and_bioinformatics/</A> <BR> <BR>Application <BR> <BR>Interested candidates are requested to send their <BR>application to: <BR>Eindhoven University of Technology, Dept. of Biomedical <BR>Engineering. You can send your application by e-mail to <BR>pzbmt@tue.nl. <BR> <BR>The application should consist of the following parts: <BR> <BR> * a detailed curriculum vitae; <BR> * an explanation of your interest in the proposed <BR>research field;
<BR> * a complete list of the courses you have attended <BR>and corresponding grades, name of at least three <BR>references, and all other information that might be <BR>relevant to your application; <BR> * proof of English language skills (if applicable). <BR> <BR>(Please mention the vacancy number V50.123 in the <BR>subject.) <BR> <BR>The application deadline for this position is 31-08-2009.</FONT></DIV><BR>
<BLOCKQUOTE style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: rgb(16,16,255) 2px solid">
<DIV class=plainMail> </DIV></BLOCKQUOTE></td></tr></table><br>