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