From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 35495BBAF for ; Fri, 24 Jul 2009 14:05:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgCAJJAaUpCo7OAmWdsb2JhbACCJDCWB4EdAQEBAQgLCgcTpjmBHpBtAQUDAYQJBYla X-IronPort-AV: E=Sophos;i="4.43,263,1246831200"; d="scan'208";a="30323701" Received: from web35504.mail.mud.yahoo.com ([66.163.179.128]) by mail2-smtp-roc.national.inria.fr with SMTP; 24 Jul 2009 14:05:27 +0200 Received: (qmail 41037 invoked by uid 60001); 24 Jul 2009 12:05:25 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1248437125; bh=3F75qHb0PQMX4FYsFKea1IVTVdoMjue9uSuUSHc21uU=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type; b=U6L3psy/dZnnFParqdSdL+qX6a7/O3/rrfaiYak9GrCohSwdEHUKqsCJ9vQUhiLKPOZD3tWtC99QpJN1bWedbCcawyDtmKZy2ZWKlcX1F4Xj/3eic6BTLiyNGLSQAS9XQrfEIGbFHU6HFndna+5v3Nqr0DwHVY2CYo6hF3n0t1I= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type; b=ivciaK34aEtgTAwZL7L8xdJkA1MYDFelmk7bohqgML27+W4INgkYkCExLuW8oO7U1ID2sexK69JpWJPpbxwXjWkje6k7nbpqW1oXbtcKMWx+6dpk31ZMk0wc5Xp8shzcjwO56IPrUFzEG9bLr4/572xWZ79ntb+alrarsILJ1bU=; Message-ID: <638699.35872.qm@web35504.mail.mud.yahoo.com> X-YMail-OSG: 8gK77q0VM1khe3fHA5xFmdUtC17JGVFpkSo4xGhKTS_HKowon2OfQF_scmY01wnDG8th71hgwo3ut47d2uW7xk99THG44SnKQEOjagT3xGXXWm.g3cO2iOUIRJDWyaBgpZYdiozLT5hyOPduCRrf9BlpkOpkrj67CJsrP50D8atjps16RhQVPA69zX.RAUMl8AtkJsGdavHHwc_wnffw1QZD0s2yGF358TEUrjMq08_.4_qDQ8HmG6rMIvsZc6t0yq2uVCPGpcsvT_yI7zFNA0LnPHS8ia7xrmW8rkSjGXG3a8fm6Yro1a1sGgl2Q2gvAQ6yji2mPxs- Received: from [131.155.68.138] by web35504.mail.mud.yahoo.com via HTTP; Fri, 24 Jul 2009 05:05:25 PDT X-Mailer: YahooMailClassic/6.0.19 YahooMailWebService/0.7.289.15 Date: Fri, 24 Jul 2009 05:05:25 -0700 (PDT) From: Dragan Bosnacki Subject: PhD and postdoc positions on multi-core model checking, Eindhoven, Netherlands To: puml-list@cs.york.ac.uk, coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, isabelle-users@cl.cam.ac.uk, reliable_computing@interval.louisiana.edu, components@artist-embedded.org, agents@cs.umbc.edu, behavior@cs.ucsd.edu, comlab@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, concurrency@cwi.nl, grin@di.unipi.it, categories@mta.ca, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, ipa@win.tue.nl, petrinet@informatik.uni-hamburg.de, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, nvti-list@cwi.nl, prog-lang@diku.dk, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, asci@twi.tudelft.nl, caml-list@inria.fr, coq-club@pauillac.inria.fr, jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk, nwpt-info@sool.ioc.ee, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, procos@jiscmail.ac.uk, haskell@haskell.org, se-group@cs.umn.edu, umsec-events@cs.umn.edu, seminar@iist.unu.edu, ecoop-info@ecoop.org, lics@informatik.hu-berlin.de In-Reply-To: <4A3BABA0.5090602@cwi.nl> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-818810306-1248437125=:35872" X-Spam: no; 0.00; postdoc:01 model:01 eindhoven:01 eindhoven:01 model:01 parallelism:01 generations:01 run-time:01 checker:01 joost-pieter:01 katoen:01 rwth:01 aachen:01 katoen:01 joost-pieter:01 --0-818810306-1248437125=:35872 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable The Eindhoven University of Technology (TU/e) has the=20 following vacancy:=20 =A0 One PhD position on the project "Efficient Multi-Core Model Checking" (V50.122)=20 =A0 Project description=20 =A0=20 Model checking is one of the most successful formal=20 techniques for automated analysis and finding errors in=20 software and hardware. Nowadays, model checking is used by=20 major companies, like Microsoft and Intel, to improve the=20 quality of their products.=20 =A0=A0=20 The aim of this project is to develop algorithms for model=20 checking (including probabilistic model checking) that can=20 fully exploit the parallelism of the new generations of=20 multi- and many-core processors. The main bottleneck in=20 practical applications of model checking is the state=20 space explosion that has impact on the required memory and=20 run-time. Therefore, we will strive towards designing=20 efficient algorithms that are compatible with the major techniques for state space reduction, like partial-order or=20 symmetry reduction.=20 =A0 We intend to develop prototype implementations of the new=20 algorithms In model checkers, like Spin and its=20 extensions, as well as the probabilistic model checker=20 MRMC. The prototype implementations will be validated on=20 case studies including models of biological systems.=20 =A0=A0=20 As PhD Student, you will:=20 =A0=20 =A0=A0=A0=A0 * perform scientific research;=20 =A0=A0=A0=A0 * work on the implementation of (prototype) tools;=20 =A0=A0=A0=A0 * present results at international conferences;=20 =A0=A0=A0=A0 * publish results in conference proceedings and=20 scientific journals;=20 =A0=A0=A0=A0 * write a Ph.D. thesis;=20 =A0=A0=A0=A0 * participate in activities of the group and of the=20 department.=20 =A0=20 =A0=20 Requirements=20 =A0=20 We are looking for a candidate who meets the following=20 requirements:=20 =A0=20 =A0=A0=A0=A0 * a MSc degree in Computer Science or equivalent;=20 =A0=A0=A0=A0 * a solid theoretical background (preferably in model=20 checking or=20 =A0=A0=A0=A0=A0=A0 other formal methods);=20 =A0=A0=A0=A0 * interest and experience in programming (especially=20 experience in parallel and/or distributed computing will=20 be considered an advantage);=20 =A0=A0=A0=A0 * good communication- and writing skills in English.=20 =A0=20 =A0=20 Working Environment, Appointment and Salary=20 =A0 The project will be implemented as cooperation of several=20 departments and groups. The Software Engineering and=20 Technology group, headed by prof. dr. Mark van den Brand=20 at the M&CS department of TU/e, focuses on maintaining=20 consistency between models and code. Also, part of the=20 work within the project will be done in the group of prof.=20 dr. Joost-Pieter Katoen at RWTH Aachen University. Prof.=20 Katoen has internationally recognized competence in the=20 field of formal specification and verification of=20 probabilistic systems. Biologically inspired case=20 studies will be provided by the Biomodeling and=20 Bioinformatics group of prof. dr. Peter Hilbers, who is=20 also an expert on parallel algorithms and has an=20 outstanding record in applications of parallel computing=20 in biology. Most of the tool implementations will be done=20 in close collaboration with the Laboratory for Quality=20 Software at the M&CS at TU/e.=20 =A0 We offer:=20 =A0=20 =A0=A0=A0=A0 * a full-time employment for 4 years with an=20 intermediate evaluation=20 =A0=A0=A0=A0=A0=A0 after 1 year;=20 =A0=A0=A0=A0 * a stimulating scientific environment with=20 international cooperation=20 =A0 =A0=A0=A0=A0 * access to modern equipment (multi- and many-core=20 systems, computer clusters)=20 =A0=A0=A0=A0 * a salary of Euro 2,042 per month (gross) in the=20 first year,=20 =A0=A0=A0=A0=A0=A0 increasing to Euro 2,612 per month (gross) in the=20 fourth year.=20 =A0=A0=A0=A0=A0=A0 Moreover 8% holiday allowance and 8.3 % End-of-year=20 bonus is=20 =A0=A0=A0=A0=A0=A0 provided annually;=20 =A0=A0=A0=A0 * Support with your personal development and career=20 planning;=20 =A0=A0=A0=A0 * Attractive secondary labour conditions (including=20 excellent work facilities, child care, sports facilities).=20 =A0=20 Information=20 =A0=20 =A0=A0=A0=A0 * Information about the position:=20 =A0=A0=A0=A0=A0=A0 dr. Dragan Bosnacki=20 =A0=A0=A0=A0=A0 (dragan@win.tue.nl),=20 =A0=A0=A0=A0=A0=A0 or=20 =A0=A0=A0=A0=A0=A0 prof. dr. Mark van den Brand=20 =A0=A0=A0=A0=A0 (M.G.J.v.d.Brand@tue.nl),=20 =A0=A0=A0=A0=A0=A0 prof. dr. Joost-Pieter Katoen=20 =A0=A0=A0=A0=A0 (katoen@cs.rwth-aachen.de),=20 =A0=A0=A0=A0=A0=A0 prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.nl). =A0 =A0=A0=A0=A0 * Information about the job conditions:=20 Mrs. Y.Bloemers-Kluijtmans, HR advisor (pzbmt@tue.nl)=A0=20 =A0=20 =A0=A0 * More information about the groups:*=A0=20 =A0=20 =A0Software Engineering and Technology group at TU/e:=20 =A0=20 =A0 http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/=20 =A0=20 =A0Software Modeling and Verification group at RWTH Aachen=20 University:=20 =A0=20 =A0http://www-i2.informatik.rwth-aachen.de/=20 =A0=20 =A0Biomodeling and Bioinformatics group at TU/e:=20 =A0=20 =A0 http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biom= odeling_and_bioinformatics/=20 =A0=20 =A0 Application=20 =A0=20 Interested candidates are requested to send their=20 application to:=20 Eindhoven University of Technology, Dept. of Biomedical=20 Engineering. You can send your application by e-mail to=20 pzbmt@tue.nl.=20 =A0=A0=20 The application should consist of the following parts:=20 =A0=20 =A0=A0=A0=A0 * a detailed curriculum vitae;=20 =A0=A0=A0=A0 * an explanation of your interest in the proposed=20 research field;=20 =A0=A0=A0=A0 * a complete list of the courses you have attended=20 and corresponding grades, name of at least two references,=20 and all other information that might be relevant to your=20 application;=20 =A0=A0=A0=A0 * proof of English language skills (if applicable).=20 =A0=20 (Please mention the vacancy number V50.122 in the=20 subject.)=A0=20 =A0=A0=20 The application deadline for this position is 31-08-2009. =A0 =A0 ---------------------------------------------------------------------- =A0 The Eindhoven University of Technology (TU/e) has the=20 following vacancy:=20 =A0 One postdoc position on the project "Efficient Multi-Core Model Checking" (V50.123)=20 =A0=20 Project description=20 =A0=20 Model checking is one of the most successful formal=20 techniques for automated analysis and finding errors in=20 software and hardware. Nowadays, model checking is used by=20 major companies, like Microsoft and Intel, to improve the=20 quality of their products.=20 =A0=A0=20 The aim of this project is to develop algorithms for model=20 checking (including probabilistic model checking) that can=20 fully exploit the parallelism of the new generations of=20 multi- and many-core processors. The main bottleneck in=20 practical applications of model checking is the state=20 space explosion that has impact on the required memory and=20 run-time. Therefore, we will strive towards designing=20 efficient algorithms that are compatible with the major=20 techniques for state space reduction, like partial-order=20 or symmetry reduction.=20 =A0 We intend to develop prototype implementations of the new=20 algorithms in model checkers, like Spin and its=20 extensions, as well as the probabilistic model checker=20 MRMC. The prototype implementations will be validated on=20 case studies including models of biological systems.=20 =A0=20 As postdoc, you will:=20 =A0=20 =A0=A0=A0=A0 * perform scientific research;=20 =A0=A0=A0=A0 * work on the implementation of (prototype) tools;=20 =A0=A0=A0=A0 * present results at international conferences;=20 =A0=A0=A0=A0 * publish results in conference proceedings and=20 scientific journals;=20 =A0=A0=A0=A0 * help supervise Ph.D. students;=20 =A0=A0=A0=A0 * participate in activities of the group and of the=20 department.=20 =A0=20 =A0=20 Requirements=20 =A0=20 We are looking for a candidate who meets the following=20 requirements:=20 =A0=20 =A0=A0=A0=A0 * a Ph.D. degree in Computer Science or equivalent;=20 =A0=A0=A0=A0 * expertise in model checking or other formal=20 methods;=20 =A0=A0=A0=A0 * interest and experience in programming (especially=20 experience in parallel and/or distributed computing will=20 be considered an advantage);=20 =A0=A0=A0=A0 * good communication- and writing skills in English.=20 =A0=20 =A0=20 Working Environment, Appointment and Salary=20 =A0 The project will be implemented as cooperation of several=20 departments and groups. The Software Engineering and=20 Technology group, headed by prof. dr. Mark van den Brand=20 at the M&CS department of TU/e, focuses on maintaining=20 consistency between models and code. Also, part of the=20 work within the project will be done in the group of prof.=20 dr. Joost-Pieter Katoen at RWTH Aachen University. Prof.=20 Katoen has internationally recognized competence in the=20 field of formal specification and verification of=20 probabilistic systems. Biologically inspired case=20 studies will be provided by the Biomodeling and=20 Bioinformatics group of prof. dr. Peter Hilbers, who is=20 also an expert on parallel algorithms and has an=20 outstanding record in applications of parallel computing=20 in biology. Most of the tool implementations will be done=20 in close collaboration with the Laboratory for Quality=20 Software at the M&CS at TU/e.=20 =A0 We offer:=20 =A0=20 =A0=A0=A0=A0 * a full-time employment for 3 years;=20 =A0=A0=A0=A0 * a stimulating scientific environment with=20 international cooperation=20 =A0=A0=A0=A0 * access to modern equipment (multi- and many-core=20 systems, computer clusters)=20 =A0=A0=A0=A0 * a salary of at least Euro 2,861 per month (gross)=20 based on knowledge and experience. Moreover 8% holiday=20 allowance and 8.3 % End-of-year bonus is provided=20 annually;=20 =A0=A0=A0=A0 * Support with your personal development and career=20 planning;=20 =A0=A0=A0=A0 * Attractive secondary labour conditions (including=20 excellent work facilities, child care, sports facilities).=20 Information=20 =A0=20 =A0=A0=A0=A0 * Information about the position:=20 =A0=A0=A0=A0=A0=A0 dr. Dragan Bosnacki =A0=A0=A0=A0=A0=A0 (dragan@win.tue.nl),=20 =A0=A0=A0=A0=A0=A0 or=20 =A0=A0=A0=A0=A0=A0 prof. dr. Mark van den Brand =A0=A0=A0=A0=A0 (M.G.J.v.d.Brand@tue.nl),=20 =A0=A0=A0=A0=A0=A0 prof. dr. Joost-Pieter Katoen=20 =A0=A0=A0=A0=A0 (katoen@cs.rwth-aachen.de),=20 =A0=A0=A0=A0=A0=A0 prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.nl). =A0 =A0=A0=A0=A0 * Information about the job conditions, Mrs. Y.=20 Bloemers-Kluijtmans, HR advisor, (pzbmt@tue.nl)=A0=20 =A0=A0=A0=A0 * More information about the groups:=20 =A0=20 Software Engineering and Technology group at TU/e:=20 =A0=20 http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/=20 =A0=20 Software Modeling and Verification group at RWTH Aachen=20 University:=20 =A0=20 http://www-i2.informatik.rwth-aachen.de/=20 =A0=20 Biomodeling and Bioinformatics group at TU/e:=20 =A0=20 http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biom= odeling_and_bioinformatics/=20 =A0=20 Application=20 =A0=20 Interested candidates are requested to send their=20 application to:=20 Eindhoven University of Technology, Dept. of Biomedical=20 Engineering. You can send your application by e-mail to=20 pzbmt@tue.nl.=20 =A0=A0=20 The application should consist of the following parts:=20 =A0=20 =A0=A0=A0=A0 * a detailed curriculum vitae;=20 =A0=A0=A0=A0 * an explanation of your interest in the proposed=20 research field;=20 =A0=A0=A0=A0 * a complete list of the courses you have attended=20 and corresponding grades, name of at least three=20 references, and all other information that might be=20 relevant to your application;=20 =A0=A0=A0=A0 * proof of English language skills (if applicable).=20 =A0=20 (Please mention the vacancy number V50.123 in the=20 subject.)=A0=20 =A0=A0=20 The application deadline for this position is 31-08-2009. =A0=0A=0A=0A --0-818810306-1248437125=:35872 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable

The Eindhoven University of Technology (TU/e) has th= e
following vacancy:
 
One PhD position on the project
"= Efficient Multi-Core Model Checking" (V50.122)
 
Project descri= ption
 
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 Mic= rosoft and Intel, to improve the
quality of their products.
 &= nbsp;
The aim of this project is to develop algorithms for model
ch= ecking (including probabilistic model checking) that can
fully exploit = the parallelism of the new generations of
multi- and many-core processo= rs. 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 spac= e reduction, like partial-order or
symmetry reduction.
 
We= intend to develop prototype implementations of the new
algorithms In m= odel checkers, like Spin and its
extensions, as well as the probabilist= ic model checker
MRMC. The prototype implementations will be validated = on
case studies including models of biological systems.
  = ;
As PhD Student, you will:
 
     * p= erform scientific research;
     * work on the impl= ementation of (prototype) tools;
     * present res= ults at international conferences;
     * publish r= esults in conference proceedings and
scientific journals;
 &nb= sp;   * write a Ph.D. thesis;
     * part= icipate in activities of the group and of the
department.
 
 
Requirements
 
We are looking for a= candidate who meets the following
requirements:
 
 &= nbsp;   * a MSc degree in Computer Science or equivalent;
&nb= sp;    * a solid theoretical background (preferably in model=
checking or
       other formal meth= ods);
     * interest and experience in programming= (especially
experience in parallel and/or distributed computing will <= BR>be considered an advantage);
     * good communi= cation- and writing skills in English.
 
 
Working En= vironment, Appointment and Salary
 
The project will be impleme= nted as cooperation of several
departments and groups. The Software Eng= ineering and
Technology group, headed by prof. dr. Mark van den Brand <= BR>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 pro= vided by the Biomodeling and
Bioinformatics group of prof. dr. Peter Hi= lbers, who is
also an expert on parallel algorithms and has an
outs= tanding record in applications of parallel computing
in biology. Most o= f 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
   &nbs= p;   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,
 &n= bsp;     increasing to Euro 2,612 per month (gross) in = the
fourth year.
       Moreover 8% h= oliday allowance and 8.3 % End-of-year
bonus is
   &= nbsp;   provided annually;
     * Support= with your personal development and career
planning;
  &n= bsp;  * Attractive secondary labour conditions (including
excellen= t work facilities, child care, sports facilities).
 
Informati= on
 
     * Information about the position= :
       dr. Dragan Bosnacki
      (dragan@win.tue.nl),
  &n= bsp;    or
       prof. dr= . Mark van den Brand
      (M.G.J.v.d.Brand@tu= e.nl),
       prof. dr. Joost-Pieter Kato= en
      (katoen@cs.rwth-aachen.de),
 = ;      prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.= nl).
 
     * Information about the job cond= itions:
Mrs. Y.Bloemers-Kluijtmans, HR advisor (pzbmt@tue.nl)   
   * More information about the groups:* 
&n= bsp;
 Software Engineering and Technology group at TU/e:
 = ;
 
http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/se= t/
 
 Software Modeling and Verification group at RWT= H Aachen
University:
 
 http://www-i2.inf= ormatik.rwth-aachen.de/
 
 Biomodeling and Bioinforma= tics group at TU/e:
 
 
http://w3.bmt.tue.nl/= nl/onderzoek/divisies/biomedical_imaging_modeling/biomodeling_and_bioinform= atics/
 
 
Application
 
Interested c= andidates are requested to send their
application to:
Eindhoven Uni= versity of Technology, Dept. of Biomedical
Engineering. You can send your applica= tion by e-mail to
pzbmt@tue.nl.
  
The application sh= ould consist of the following parts:
 
    = ; * a detailed curriculum vitae;
     * an explanat= ion of your interest in the proposed
research field;
  &n= bsp;  * a complete list of the courses you have attended
and corre= sponding grades, name of at least two references,
and all other informa= tion that might be relevant to your
application;
   =   * proof of English language skills (if applicable).
 
(= Please mention the vacancy number V50.122 in the
subject.) 
&n= bsp; 
The application deadline for this position is 31-08-2009.
 
 
------------------------= ----------------------------------------------
 
The Eindhoven University= of Technology (TU/e) has the
following vacancy:
 
One post= doc position on the project
"Efficient Multi-Core Model Checking" (V50.1= 23)
 
Project description
 
Model checking is one= of the most successful formal
techniques for automated analysis and fi= nding errors in
software and hardware. Nowadays, model checking is used= by
major companies, like Microsoft and Intel, to improve the
quali= ty of their products.
  
The aim of this project is to de= velop algorithms for model
checking (including probabilistic model chec= king) that can
fully exploit the parallelism of the new generations of =
multi- and many-core processors. The main bottleneck in
practical a= pplications of model checking is the state
space explosion that has imp= act on the required memory and
run-time. Therefore, we will strive towards designing
efficient algorithms that are compatible with the ma= jor
techniques for state space reduction, like partial-order
or sym= metry reduction.
 
We intend to develop prototype implementatio= ns of the new
algorithms in model checkers, like Spin and its
exten= sions, as well as the probabilistic model checker
MRMC. The prototype i= mplementations will be validated on
case studies including models of bi= ological systems.
 
As postdoc, you will:
 
 = ;    * perform scientific research;
   &n= bsp; * work on the implementation of (prototype) tools;
  &nb= sp;  * present results at international conferences;
  &= nbsp;  * publish results in conference proceedings and
scientific = journals;
     * help supervise Ph.D. students;      * participate in activities of the group and of the
department.
 
 
Requirements
&nbs= p;
We are looking for a candidate who meets the following
requireme= nts:
 
     * a Ph.D. degree in Computer S= cience or equivalent;
     * expertise in model che= cking or other formal
methods;
     * interest = and experience in programming (especially
experience in parallel and/or= distributed computing will
be considered an advantage);
 &nbs= p;   * good communication- and writing skills in English.
&nb= sp;
 
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 p= rof. 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 int= ernationally 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 grou= p of prof. dr. Peter Hilbers, who is
also an expert on parallel algorit= hms 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 stimu= lating 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 faci= lities, child care, sports facilities).

Information
 
=      * Information about the position:
  =      dr. Dragan Bosnacki
    &nb= sp;  (dragan@win.tue.nl),
       or =
       prof. dr. Mark van den Brand
&n= bsp;     (M.G.J.v.d.Brand@tue.nl),
  &nbs= p;    prof. dr. Joost-Pieter Katoen
      (katoen@cs.rwth-aachen.de),
 &= nbsp;     prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.nl= ).
 
     * Information about the job condit= ions, Mrs. Y.
Bloemers-Kluijtmans, HR advisor, (pzbmt@tue.nl) 
     * More information about the groups:
&nbs= p;
Software Engineering and Technology group at TU/e:
 
http://w3.win.tue.nl/nl/onderzoek/ond= erzoek_informatica/set/
 
Software Modeling and Verificati= on group at RWTH Aachen
University:
 
http://www-i2.informatik.rwth-aachen.de/
  Biomodeling and Bioinformatics group at TU/e:
 
htt= p://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biomode= ling_and_bioinformatics/
 
Application
 
Inte= rested candidates are requested to send their
application to:
Eindh= oven 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;
   &n= bsp; * an explanation of your interest in the proposed
research field;
     * a complete list of the courses you have att= ended
and corresponding grades, name of at least three
references, = and all other information that might be
relevant to your application; <= BR>     * proof of English language skills (if applicab= le).
 
(Please mention the vacancy number V50.123 in the
s= ubject.) 
  
The application deadline for this posit= ion is 31-08-2009.

 

=0A= =0A --0-818810306-1248437125=:35872--