<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <meta name="Title" content="">
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US">In the
        context of the
        3TU.BSR "Big Software on the Run" research program we are
        looking for
        6 PhDs and 3 Postdocs interested in Software Analytics and Data
        Science.<o:p></o:p></span></p>
    <h2><span style="mso-ansi-language:EN-US">Context<o:p></o:p></span></h2>
    <p class="MsoNormal"
      style="margin-bottom:0cm;margin-bottom:.0001pt;text-align:
      justify;line-height:normal"><span style="mso-ansi-language:EN-US">Millions
        of
        lines of code - written in different languages by different
        people at different
        times, and operating on a variety of platforms - drive the
        systems performing
        key processes in our society. The resulting software needs to
        evolve and can no
        longer be controlled a priori as is illustrated by a range of
        software
        problems. The 3TU.BSR research program will develop novel
        techniques and tools
        to analyze software systems in vivo - making it possible to
        visualize behavior,
        create models, check conformance, predict problems, and
        recommend corrective
        actions. To deal with Big Software on the Run (BSR), we propose
        to shift the
        main focus from a priori software design to a posteriori
        software analytics
        thereby exploiting the large amounts of event data generated by
        today's
        systems. The core idea is to study software systems in vivo,
        i.e., at runtime
        and in their natural habitat. We would like to understand the
        actual (desired
        or undesired) behavior of software. Running software needs to
        adapt to evolving
        and diverging environments and requirements. This forces us to
        consider
        software artifacts as "living organisms operating in a changing
        ecosystem". This paradigm shift requires new forms of empirical
        investigation
        that go far beyond the common practice of collecting error
        messages and
        providing software updates.<o:p></o:p></span></p>
    <p class="MsoNormal"
      style="margin-bottom:0cm;margin-bottom:.0001pt;text-align:
      justify;line-height:normal"><span style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <h2><span style="mso-ansi-language:EN-US">Project<o:p></o:p></span></h2>
    <p class="MsoNormal"
      style="margin-bottom:0cm;margin-bottom:.0001pt;text-align:
      justify;line-height:normal"><span style="mso-ansi-language:EN-US">The
        project
        will run for a period of four years and is supported by the
        three Dutch
        technical universities (Eindhoven University of Technology, TU
        Delft, and
        University of Twente). It was initiated by 3TU.NIRICT, the
        Netherlands
        Institute for Research on ICT, which comprises all ICT research
        of the three
        universities of technology in the Netherlands. The PhD positions
        will run for 4
        years. The three postdocs will be appointed for 2-3 years. <o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <p class="MsoNormal"
      style="margin-bottom:0cm;margin-bottom:.0001pt;text-align:
      justify;line-height:normal"><span style="mso-ansi-language:EN-US">The
        following
        chairs/groups are involved:<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="margin-bottom:0cm;margin-bottom:.0001pt;
      mso-add-space:auto;text-align:justify;text-indent:-18.0pt;line-height:normal;
mso-list:l0
      level1 lfo1"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">The <i
          style="mso-bidi-font-style:normal">Architecture of Information
          Systems</i>
        (AIS) group at <i style="mso-bidi-font-style:normal">Eindhoven
          University of
          Technology</i> (Van der Aalst).<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="margin-bottom:0cm;margin-bottom:
      .0001pt;mso-add-space:auto;text-align:justify;text-indent:-18.0pt;line-height:
normal;mso-list:l0
      level1 lfo1"><!--[if !supportLists]--><span style="font-family:
Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">The <i
          style="mso-bidi-font-style:normal">Visualization</i> (VIS)
        group at <i style="mso-bidi-font-style:normal">Eindhoven
          University of Technology</i> (Van
        Wijk).<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="margin-bottom:0cm;margin-bottom:
      .0001pt;mso-add-space:auto;text-align:justify;text-indent:-18.0pt;line-height:
normal;mso-list:l0
      level1 lfo1"><!--[if !supportLists]--><span style="font-family:
Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">The <i
          style="mso-bidi-font-style:normal">Software Engineering
          Research Group</i>
        (SERG) at <i style="mso-bidi-font-style:normal">Delft
          University of Technology</i>
        (Van Deursen)<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="margin-bottom:0cm;margin-bottom:
      .0001pt;mso-add-space:auto;text-align:justify;text-indent:-18.0pt;line-height:
normal;mso-list:l0
      level1 lfo1"><!--[if !supportLists]--><span style="font-family:
Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">The <i
          style="mso-bidi-font-style:normal">Cybersecurity Group</i>
        (CY) at <i style="mso-bidi-font-style:normal">Delft University
          of Technology</i>
        (Lagendijk)<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="margin-bottom:0cm;margin-bottom:.0001pt;
      mso-add-space:auto;text-align:justify;text-indent:-18.0pt;line-height:normal;
mso-list:l0
      level1 lfo1"><!--[if !supportLists]--><span style="font-family:
Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol"
        lang="NL"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">The </span><i
        style="mso-bidi-font-style:normal"><span lang="NL">Formal
          Methods and Tools</span></i><span lang="NL"> (FMT) at <i
          style="mso-bidi-font-style:normal">University of Twente</i>
        (Van de Pol &amp; </span><span style="mso-ansi-language:EN-US">Huisman)</span><span
        lang="NL"><o:p></o:p></span></p>
    <p class="MsoNormal"><span lang="NL"><o:p> </o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US">Interested
        PhD
        candidates are requested to apply on a specific PhD position
        (see details
        below):<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-indent:-18.0pt;mso-list:l3 level1 lfo2"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">1.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">Automatically
        Discovering Behavioral Software Models from Software Event Data
        (Van der Aalst
        &amp; Van Deursen) at Eindhoven University of Technology<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l3 level1 lfo2"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">2.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">Model-based
        Visualization of Software Event Data (Van Wijk &amp; Huisman) at
        Eindhoven
        University of Technology<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l3 level1 lfo2"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin"
        lang="NL"><span style="mso-list:Ignore">3.<span
            style="font:7.0pt &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span lang="NL">Exceptional
        Patterns (Van Deursen
        &amp; Van Wijk) at TU Delft<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l3 level1 lfo2"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">4.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">Monitoring
        Concurrent Software (Huisman &amp; Lagendijk) at University of
        Twente<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l3 level1 lfo2"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">5.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">Privacy
        Preserving On-line Conformance Checking (Lagendijk &amp; Van de
        Pol) at TU
        Delft<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-indent:-18.0pt;mso-list:l3 level1 lfo2"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">6.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">Parallel
        Checking and Prediction (Van de Pol &amp; Van der Aalst) at
        University of
        Twente<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US">Moreover,
        there will
        be three postdoc positions:<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-indent:-18.0pt;mso-list:l1 level1 lfo3"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">1.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">A postdoc
        related to PhD projects 1 &amp; 2 at Eindhoven University of
        Technology<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l1 level1 lfo3"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">2.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">A postdoc
        related to PhD projects 3 &amp; 5 at TU Delft<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-indent:-18.0pt;mso-list:l1 level1 lfo3"><!--[if !supportLists]--><span
style="mso-bidi-font-family:Calibri;mso-bidi-theme-font:minor-latin;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">3.<span style="font:7.0pt
            &quot;Times New Roman&quot;">    
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">A postdoc
        related to PhD projects 4 &amp; 6 at University of Twente<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <h2><span style="mso-ansi-language:EN-US">Requirements<o:p></o:p></span></h2>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US">We are
        looking for candidates
        that meet the following requirements: <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-indent:-18.0pt;mso-list:l5 level1 lfo4"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">       </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">a solid background in Computer
        Science, Data
        Science, or Software Science (demonstrated by a relevant
        Master); <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l5 level1 lfo4"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">       </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">for the postdoc<span
          style="mso-spacerun:yes"> 
        </span>positions a relevant PhD is expected;<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l5 level1 lfo4"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">       </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">candidates from non-Dutch or
        non-English
        speaking countries should be prepared to prove their English
        language skills;<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-indent:-18.0pt;mso-list:l5 level1 lfo4"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">       </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">good communicative skills in
        English, both in
        speaking and in writing;<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-indent:-18.0pt;mso-list:l5 level1 lfo4"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">       </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">candidates are expected to
        realize research
        ideas in terms of prototype software, so software development
        skills are needed.<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US">Note that
        we are
        looking for candidates that really want to make a difference and
        like to work
        on things that have a high practical relevance while having the
        ambition to
        compete at an international scientific level (i.e., present at
        top conferences
        and in top journals). <o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <h2><span style="mso-ansi-language:EN-US">Appointment and salary<o:p></o:p></span></h2>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US">PhDs and
        postdocs will
        be employed by the respective university using the standard<span
          style="mso-spacerun:yes">  </span>VSNU conditions for Dutch
        universities.<span style="mso-spacerun:yes">  </span>See <span
          style="mso-spacerun:yes"> </span>for more information:<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="margin-left:21.3pt;mso-add-space:
      auto;text-indent:-14.75pt;mso-list:l2 level1 lfo7"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">     </span></span></span><!--[endif]--><span
        lang="NL"><a
href="http://w3.tue.nl/en/services/dpo/conditions_of_employment/tue_conditions_of_employment"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://w3.tue.nl/en/services/dpo/conditions_of_employment/tue_conditions_of_employment</span></a></span><span
        style="mso-ansi-language:EN-US"> <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="margin-left:21.3pt;mso-add-space:
      auto;text-indent:-14.75pt;mso-list:l2 level1 lfo7"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">     </span></span></span><!--[endif]--><span
        lang="NL"><a
          href="http://www.utwente.nl/hr/en/terms-of-employment/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://www.utwente.nl/hr/en/terms-of-employment/</span></a></span><span
        style="mso-ansi-language:EN-US"><o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="margin-left:21.3pt;mso-add-space:auto;
      text-indent:-14.75pt;mso-list:l2 level1 lfo7"><!--[if !supportLists]--><span
style="font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:
        Symbol;mso-ansi-language:EN-US"><span style="mso-list:Ignore">·<span
            style="font:7.0pt &quot;Times New Roman&quot;">     </span></span></span><!--[endif]--><span
        lang="NL"><a
href="http://www.tudelft.nl/en/about-tu-delft/working-at-tu-delft/tu-delft-as-employer/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://www.tudelft.nl/en/about-tu-delft/working-at-tu-delft/tu-delft-as-employer/</span></a></span><span
        style="mso-ansi-language:EN-US"> <o:p></o:p></span></p>
    <p class="MsoNormal" style="margin-left:6.55pt"><span
        style="mso-ansi-language:
        EN-US"><o:p> </o:p></span></p>
    <h2><span style="mso-ansi-language:EN-US">How to apply?<o:p></o:p></span></h2>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US">Please
        apply for the position
        you are interested in. Each position has a contact person and a
        pointer to a
        website and e-mail address to actually apply.<o:p></o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">PhD 1: Automatically Discovering Behavioral Software
        Models from
        Software Event Data (Van der Aalst &amp; Van Deursen)<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">Process models and user interface workflows underlie the
        functional specification
        of almost every substantial software system. However, these are
        often left
        implicit or are not kept consistent with the actual software
        development. When
        the system is utilized, user interaction with the system can be
        recorded in
        event logs. After applying process mining methods to logs, we
        can derive
        process and user interface workflow models. These models provide
        insights
        regarding the real usage of the software and can enable
        usability improvements
        and software redesign. In this project, we aim to develop
        process discovery
        techniques specific for software. How can domain knowledge and
        software
        structure be exploited while mining? How to discover software
        patterns and
        anti-patterns?<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information about this position contact Wil van der Aalst (</span><span
        lang="NL"><a href="http://wwwis.win.tue.nl/%7Ewvdaalst/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://wwwis.win.tue.nl/~wvdaalst/</span></a></span><span
        style="mso-ansi-language:EN-US">). <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">For more
        information about the employment conditions contact Charl
        Kuiters HR advisor,
        e-mail: </span><span lang="NL"><a href="mailto:pzwin@tue.nl"><span
            style="mso-ansi-language:EN-US" lang="EN-US">pzwin@tue.nl</span></a></span><span
        style="mso-ansi-language:EN-US">. <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">   </span></span></span><span
        style="mso-ansi-language:EN-US">You can
        apply by using the following link: </span><span lang="NL"><a
href="http://jobs.tue.nl/en/vacancy/phd-discovering-behavioral-software-models-from-software-event-data-206118.html"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://jobs.tue.nl/en/vacancy/phd-discovering-behavioral-software-models-from-software-event-data-206118.html</span></a></span><span
        style="mso-ansi-language:EN-US"> or visit </span><span
        lang="NL"><a href="http://jobs.tue.nl/en/vacancies.html"><span
            style="mso-ansi-language:
            EN-US" lang="EN-US">http://jobs.tue.nl/en/vacancies.html</span></a></span><span
        style="mso-ansi-language:EN-US"> and choose Department of
        Mathematics and
        Computer Science and click ‘search’ to find this vacancy
        (V32.2142).<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US"><o:p> </o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">PhD 2: Model-based Visualization of Software Event Data
        (Van Wijk &amp;
        Huisman)<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">Visualization can be a powerful means for understanding
        large and
        complex data sets, such as the huge event streams produced by
        running software
        systems. During explorative analysis experts have to be enabled
        to see what
        patterns occur, during monitoring anomalous events and patterns
        have to be
        detected, where in both cases we can exploit the unique
        capabilities of the
        human visual system. However, simply showing events as a
        sequence of items will
        fall short because of lack of scalability. The challenge is to
        enable users to
        specify what they are interested in, and to show only a limited
        subset of the
        data, using filtering, aggregation, and abstraction. We propose
        to enable users
        to define models for this, ranging from simple range filters to
        process models.
        We will study which (combinations of) models are most
        appropriate here, such
        that occurrences of events, temporal and logical patterns,<span
          style="mso-spacerun:yes">  </span>and the relations between
        occurrences and
        attributes of events can be detected, and to facilitate analysts
        to define and
        check hypotheses on patterns.<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information about this position contact Jack van Wijk
        (<a class="moz-txt-link-freetext" href="http://www.win.tue.nl/~vanwijk/">http://www.win.tue.nl/~vanwijk/</a>).
        <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">For more
        information about the employment conditions contact Charl
        Kuiters HR advisor,
        e-mail: </span><span lang="NL"><a href="mailto:pzwin@tue.nl"><span
            style="mso-ansi-language:EN-US" lang="EN-US">pzwin@tue.nl</span></a></span><span
        style="mso-ansi-language:EN-US">. <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">You can
        apply by using the following link: </span><span lang="NL"><a
href="http://jobs.tue.nl/en/vacancy/phd-modelbased-visualization-of-software-event-data-206124.html"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://jobs.tue.nl/en/vacancy/phd-modelbased-visualization-of-software-event-data-206124.html</span></a></span><span
        style="mso-ansi-language:EN-US"> or visit </span><span
        lang="NL"><a href="http://jobs.tue.nl/en/vacancies.html"><span
            style="mso-ansi-language:
            EN-US" lang="EN-US">http://jobs.tue.nl/en/vacancies.html</span></a></span><span
        style="mso-ansi-language:EN-US"> and choose Department of
        Mathematics and
        Computer Science and click ‘search’ to find this vacancy
        (V32.2143).<o:p></o:p></span></p>
    <p class="MsoNormal"
      style="margin-bottom:0cm;margin-bottom:.0001pt;text-align:
      justify;line-height:normal"><span style="mso-ansi-language:EN-US"><o:p> 
          <br>
        </o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span lang="NL">PhD
        3:
        Exceptional Patterns (Van Deursen &amp; Van Wijk)<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">A particularly challenging phenomenon in software
        development are
        'exceptions'. Most programming is focused on 'good weather
        behavior', in which
        the system works under normal circumstances. Actual deployment
        however, often
        takes place in a changing or unexpected environment. This may
        lead to
        exceptions being raised by the application, which should be
        handled by the
        application. Unfortunately, predicting such exceptional
        circumstances is often
        impossible. Consequently, developers have difficulty adequately
        handling such
        exceptions. Some exceptions are simply swallowed by the
        applications, others
        are properly logged, and yet other may lead to unpredictable
        behavior. To
        resolve this, we propose to analyze log files for 'exceptional
        patterns' --
        patterns that hint at the presence of exceptions. To find such
        patterns, we propose
        to use visualization techniques applied to log data and stack
        traces.
        Furthermore, we will investigate ways to predict future
        occurrences of
        exceptions, and recommendations on how to improve exception
        handling in the
        code base.<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information about this position contact Arie van Deursen
        (<a class="moz-txt-link-freetext" href="http://www.st.ewi.tudelft.nl/~arie/">http://www.st.ewi.tudelft.nl/~arie/</a>).
        <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information on how to apply will follow via
<a class="moz-txt-link-freetext" href="http://www.tudelft.nl/en/about-tu-delft/working-at-tu-delft/jobs/academic-jobs/">http://www.tudelft.nl/en/about-tu-delft/working-at-tu-delft/jobs/academic-jobs/</a>.<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US"><o:p> </o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span lang="NL"><o:p> </o:p>PhD
        4: Monitoring
        Concurrent Software (Huisman &amp; Lagendijk)<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">The goal is to develop a monitoring system for concurrent
        software.
        Making monitoring transparent is the big challenge: monitoring
        should not
        affect program behavior. A general-purpose approach will be
        designed, based on
        local annotations and global properties. Runtime monitoring is
        essential to
        check conformance of concurrent software during deployment. At
        the same time,
        runtime monitoring provides insight in low-level software
        events, generating a
        continuous data stream of events that feeds discovery. With
        process mining and
        visualization technology in Eindhoven, we will explore the scope
        of concurrent
        software monitoring.<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">   </span></span></span><span
        style="mso-ansi-language:EN-US">More
        information about this position: see </span><span lang="NL"><a
          href="http://fmt.cs.utwente.nl/vacancies/"><span
            style="mso-ansi-language:
            EN-US" lang="EN-US">http://fmt.cs.utwente.nl/vacancies/</span></a></span><span
        style="mso-ansi-language:EN-US"> or contact Marieke Huisman (</span><span
        lang="NL"><a href="http://fmt.cs.utwente.nl/%7Emarieke/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://fmt.cs.utwente.nl/~marieke/</span></a></span><span
        style="mso-ansi-language:EN-US"> ). <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information on the terms of employment: </span><span lang="NL"><a
          href="http://www.utwente.nl/hr/en/terms-of-employment/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://www.utwente.nl/hr/en/terms-of-employment/</span></a></span><span
        style="mso-ansi-language:EN-US"> or contact Marlies Oude Bos, HR
        advisor,
        e-mail: </span><span lang="NL"><a
          href="mailto:m.oudebos@utwente.nl"><span
            style="mso-ansi-language:EN-US" lang="EN-US">m.oudebos@utwente.nl</span></a></span><span
        style="mso-ansi-language:EN-US">.<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">You can
        apply directly using the following link: </span><span
        style="mso-ansi-language:EN-US"><span lang="NL"><a
            href="http://tinyurl.com/3TU-BSR-PhD6"><span
              style="mso-ansi-language:
              EN-US" lang="EN-US">http://tinyurl.com/3TU-BSR-PhD4</span></a></span><o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-fareast-font-family:
        &quot;Times New Roman&quot;;mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><i><span
          style="font-size:12.0pt;
          line-height:115%;font-family:Cambria;mso-ascii-theme-font:major-latin;
mso-fareast-font-family:&quot;Times
          New Roman&quot;;mso-hansi-theme-font:major-latin;
          mso-bidi-font-family:&quot;Times New
          Roman&quot;;mso-bidi-theme-font:major-bidi;
color:#4F81BD;mso-themecolor:accent1;letter-spacing:.75pt;mso-ansi-language:
          EN-US">PhD 5: Privacy Preserving On-line Conformance Checking
          (Lagendijk &amp;
          Van de Pol)<o:p></o:p></span></i></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">Privacy enhancing techniques have been applied dominantly
        to data
        analysis problems (such as pattern recognition) and multimedia
        algorithms (such
        as recommendation engines). The goal of privacy preserving
        on-line conformance
        checking is to research the problem of privacy and security
        protection in
        software engineering for the first time. The central problem is
        that
        conformance checking algorithms may need to operate on event
        data that is
        sensitive in some way, for instance, contains user-related
        information. Such
        data can be anonymized or encrypted for protection, yet this
        might affect the
        accuracy of the conformance checking procedure. It will
        therefore be necessary
        to find an acceptable trade-off between the level of protection,
        the utility of
        the results obtained from the privacy-enhanced version of the
        conformance
        checking algorithm, and the additional computational overhead
        introduced by the
        anonymization or encryption process.</span><i><span
          style="font-size:12.0pt;
          line-height:115%;font-family:Cambria;mso-ascii-theme-font:major-latin;
mso-fareast-font-family:&quot;Times
          New Roman&quot;;mso-hansi-theme-font:major-latin;
          mso-bidi-font-family:&quot;Times New
          Roman&quot;;mso-bidi-theme-font:major-bidi;
color:#4F81BD;mso-themecolor:accent1;letter-spacing:.75pt;mso-ansi-language:
          EN-US"><o:p></o:p></span></i></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information about this position contact Inald Lagendijk
        (<a class="moz-txt-link-freetext" href="http://mmc.tudelft.nl/users/inald-lagendijk">http://mmc.tudelft.nl/users/inald-lagendijk</a>).
        <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information on how to apply will follow via
<a class="moz-txt-link-freetext" href="http://www.tudelft.nl/en/about-tu-delft/working-at-tu-delft/jobs/academic-jobs/">http://www.tudelft.nl/en/about-tu-delft/working-at-tu-delft/jobs/academic-jobs/</a>.<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US"><o:p>  <br>
        </o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span
        style="mso-fareast-font-family:
        &quot;Times New Roman&quot;" lang="NL">PhD 6: Parallel Checking
        and Prediction (Van de Pol &amp;
        Van der Aalst)<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-fareast-font-family:
        &quot;Times New Roman&quot;;mso-ansi-language:EN-US">Based on
        the models discovered by
        online observations (Track 1), the goal of this research project
        is to develop
        scalable technology for predicting future system behavior (Track
        3). Assuming
        that the  system’s components will behave similar to the process
        models
        learnt so far, (quantitative) model checking  techniques will be
        applied
        to explore possible runs and interactions of the integrated
        system. In order to
        support online recommendations (Track 4), the model checking
        results should be
        available nearly instantaneously. This calls for parallel,
        scalable algorithms
        that will be run on local and national cloud infrastructure.<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information about this position: see </span><span lang="NL"><a
          href="http://fmt.cs.utwente.nl/vacancies/"><span
            style="mso-ansi-language:
            EN-US" lang="EN-US">http://fmt.cs.utwente.nl/vacancies/</span></a></span><span
        style="mso-ansi-language:EN-US"> or contact Jaco van de Pol (</span><span
        lang="NL"><a href="http://fmt.cs.utwente.nl/%7Evdpol/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://fmt.cs.utwente.nl/~vdpol/</span></a></span><span
        style="mso-ansi-language:EN-US">). <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information on the terms of employment: </span><span lang="NL"><a
          href="http://www.utwente.nl/hr/en/terms-of-employment/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://www.utwente.nl/hr/en/terms-of-employment/</span></a></span><span
        style="mso-ansi-language:EN-US"> or contact Marlies Oude Bos, HR
        advisor,
        e-mail: </span><span lang="NL"><a
          href="mailto:m.oudebos@utwente.nl"><span
            style="mso-ansi-language:EN-US" lang="EN-US">m.oudebos@utwente.nl</span></a></span><span
        style="mso-ansi-language:EN-US">.<o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l4 level1 lfo6"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">You can
        apply directly using the following link: </span><span lang="NL"><a
          href="http://tinyurl.com/3TU-BSR-PhD6"><span
            style="mso-ansi-language:
            EN-US" lang="EN-US">http://tinyurl.com/3TU-BSR-PhD6</span></a></span><span
        style="mso-ansi-language:
        EN-US">.<o:p></o:p></span></p>
    <p class="MsoNormal"
      style="margin-bottom:0cm;margin-bottom:.0001pt;text-align:
      justify;line-height:normal"><span style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">Postdoc 1: Software Analytics and Process Mining (Van der
        Aalst)<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">The postdoc will be involved in the supervision of the
        PhDs based at Eindhoven
        University of Technology (PhD positions 1 &amp; 2). Moreover,
        the postdoc will
        also run the Eindhoven side of the 3TU.BSR "Big Software on the
        Run"
        research program. This also includes making sure that software
        and application
        efforts are integrated and coordinated between the different
        subprojects. <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information about this position contact Wil van der Aalst (</span><span
        lang="NL"><a href="http://wwwis.win.tue.nl/%7Ewvdaalst/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://wwwis.win.tue.nl/~wvdaalst/</span></a></span><span
        style="mso-ansi-language:EN-US">). <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpMiddle"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">For more
        information about the employment conditions contact Charl
        Kuiters HR advisor,
        e-mail: </span><span lang="NL"><a href="mailto:pzwin@tue.nl"><span
            style="mso-ansi-language:EN-US" lang="EN-US">pzwin@tue.nl</span></a></span><span
        style="mso-ansi-language:EN-US">. <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">You can
        apply by using the following link: </span><span lang="NL"><a
href="http://jobs.tue.nl/nl/vacature/postdoc-software-analytics-and-process-mining-206130.html"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://jobs.tue.nl/nl/vacature/postdoc-software-analytics-and-process-mining-206130.html</span></a></span><span
        style="mso-ansi-language:EN-US"> or visit
        <a class="moz-txt-link-freetext" href="http://jobs.tue.nl/en/vacancies.html">http://jobs.tue.nl/en/vacancies.html</a>,
        choose Department of Mathematics and Computer Science and click
        ‘search’ to
        find this vacancy (V32.2144).<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">Postdoc 2 (TUD): Information will follow later.<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>
    <p class="MsoSubtitle" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">Postdoc 3: Monitoring, Testing and Conformance Checking
        (Van de Pol)<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">This postdoc will investigate the frontier between
        model-based testing,
        runtime monitoring and conformance checking. The goal is to
        evaluate and
        improve test-generation techniques based on massive data
        gathered from online
        monitoring and the software development process, in
        collaboration with TU Delft
        (van Deursen) and TU Eindhoven (van der Aalst).<o:p></o:p></span></p>
    <p class="MsoNormal" style="text-align:justify"><span
        style="mso-ansi-language:
        EN-US">The postdoc will be involved in the supervision of the
        PhDs based at the
        University of Twente (PhD positions 4 &amp; 6). Moreover, the
        postdoc will also
        run the Twente side of the 3TU.BSR "Big Software on the Run"
        research
        program. This includes ensuring that software and application
        efforts are
        integrated and coordinated between the different subprojects. <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpFirst"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information about this position: see </span><span lang="NL"><a
          href="http://fmt.cs.utwente.nl/vacancies/"><span
            style="mso-ansi-language:
            EN-US" lang="EN-US">http://fmt.cs.utwente.nl/vacancies/</span></a></span><span
        style="mso-ansi-language:EN-US"> or contact Jaco van de Pol (</span><span
        lang="NL"><a href="http://fmt.cs.utwente.nl/%7Evdpol/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://fmt.cs.utwente.nl/~vdpol/</span></a></span><span
        style="mso-ansi-language:EN-US">). <o:p></o:p></span></p>
    <p class="MsoListParagraphCxSpLast"
      style="text-align:justify;text-indent:-18.0pt;
      mso-list:l6 level1 lfo5"><!--[if !supportLists]--><span
        style="font-family:Symbol;
mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;mso-ansi-language:
        EN-US"><span style="mso-list:Ignore">·<span style="font:7.0pt
            &quot;Times New Roman&quot;">      
          </span></span></span><!--[endif]--><span
        style="mso-ansi-language:EN-US">More
        information on the terms of employment: </span><span lang="NL"><a
          href="http://www.utwente.nl/hr/en/terms-of-employment/"><span
            style="mso-ansi-language:EN-US" lang="EN-US">http://www.utwente.nl/hr/en/terms-of-employment/</span></a></span><span
        style="mso-ansi-language:EN-US"> or contact Marlies Oude Bos, HR
        advisor,
        e-mail: </span><span lang="NL"><a
          href="mailto:m.oudebos@utwente.nl"><span
            style="mso-ansi-language:EN-US" lang="EN-US">m.oudebos@utwente.nl</span></a></span><span
        style="mso-ansi-language:EN-US">.<o:p></o:p></span></p>
    <span
      style="font-size:11.0pt;line-height:115%;font-family:Calibri;mso-ascii-theme-font:
minor-latin;mso-fareast-font-family:Calibri;mso-fareast-theme-font:minor-latin;
mso-hansi-theme-font:minor-latin;mso-bidi-font-family:&quot;Times
      New Roman&quot;;
mso-bidi-theme-font:minor-bidi;mso-ansi-language:EN-US;mso-fareast-language:
      EN-US;mso-bidi-language:AR-SA">You can apply directly using the
      following link:
    </span><span
      style="font-size:11.0pt;line-height:115%;font-family:Calibri;
      mso-ascii-theme-font:minor-latin;mso-fareast-font-family:Calibri;mso-fareast-theme-font:
minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-font-family:&quot;Times
      New Roman&quot;;
mso-bidi-theme-font:minor-bidi;mso-ansi-language:NL;mso-fareast-language:EN-US;
      mso-bidi-language:AR-SA" lang="NL"><a
        href="http://tinyurl.com/3TU-BSR-PD3"><span
          style="mso-ansi-language:EN-US" lang="EN-US">http://tinyurl.com/3TU-BSR-PD3</span></a></span>
    <meta name="Keywords" content="">
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
    <meta name="ProgId" content="Word.Document">
    <meta name="Generator" content="Microsoft Word 14">
    <meta name="Originator" content="Microsoft Word 14">
    <link rel="File-List"
href="file://localhost/Users/marieke/Library/Caches/TemporaryItems/msoclip/0clip_filelist.xml">
    <!--[if gte mso 9]><xml>
 <o:OfficeDocumentSettings>
  <o:AllowPNG/>
 </o:OfficeDocumentSettings>
</xml><![endif]-->
    <link rel="themeData"
href="file://localhost/Users/marieke/Library/Caches/TemporaryItems/msoclip/0clip_themedata.xml">
    <!--[if gte mso 9]><xml>
 <w:WordDocument>
  <w:View>Normal</w:View>
  <w:Zoom>0</w:Zoom>
  <w:TrackMoves/>
  <w:TrackFormatting/>
  <w:PunctuationKerning/>
  <w:ValidateAgainstSchemas/>
  <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
  <w:IgnoreMixedContent>false</w:IgnoreMixedContent>
  <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
  <w:DoNotPromoteQF/>
  <w:LidThemeOther>NL</w:LidThemeOther>
  <w:LidThemeAsian>JA</w:LidThemeAsian>
  <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
  <w:Compatibility>
   <w:BreakWrappedTables/>
   <w:SnapToGridInCell/>
   <w:WrapTextWithPunct/>
   <w:UseAsianBreakRules/>
   <w:DontGrowAutofit/>
   <w:SplitPgBreakAndParaMark/>
   <w:EnableOpenTypeKerning/>
   <w:DontFlipMirrorIndents/>
   <w:OverrideTableStyleHps/>
  </w:Compatibility>
  <m:mathPr>
   <m:mathFont m:val="Cambria Math"/>
   <m:brkBin m:val="before"/>
   <m:brkBinSub m:val="&#45;-"/>
   <m:smallFrac m:val="off"/>
   <m:dispDef/>
   <m:lMargin m:val="0"/>
   <m:rMargin m:val="0"/>
   <m:defJc m:val="centerGroup"/>
   <m:wrapIndent m:val="1440"/>
   <m:intLim m:val="subSup"/>
   <m:naryLim m:val="undOvr"/>
  </m:mathPr></w:WordDocument>
</xml><![endif]--><!--[if gte mso 9]><xml>
 <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true"
  DefSemiHidden="true" DefQFormat="false" DefPriority="99"
  LatentStyleCount="276">
  <w:LsdException Locked="false" Priority="0" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Normal"/>
  <w:LsdException Locked="false" Priority="9" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="heading 1"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/>
  <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 1"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 2"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 3"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 4"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 5"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 6"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 7"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 8"/>
  <w:LsdException Locked="false" Priority="39" Name="toc 9"/>
  <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/>
  <w:LsdException Locked="false" Priority="10" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Title"/>
  <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/>
  <w:LsdException Locked="false" Priority="11" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/>
  <w:LsdException Locked="false" Priority="22" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Strong"/>
  <w:LsdException Locked="false" Priority="20" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/>
  <w:LsdException Locked="false" Priority="59" SemiHidden="false"
   UnhideWhenUsed="false" Name="Table Grid"/>
  <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/>
  <w:LsdException Locked="false" Priority="1" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/>
  <w:LsdException Locked="false" Priority="60" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Shading"/>
  <w:LsdException Locked="false" Priority="61" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light List"/>
  <w:LsdException Locked="false" Priority="62" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Grid"/>
  <w:LsdException Locked="false" Priority="63" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 1"/>
  <w:LsdException Locked="false" Priority="64" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 2"/>
  <w:LsdException Locked="false" Priority="65" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 1"/>
  <w:LsdException Locked="false" Priority="66" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 2"/>
  <w:LsdException Locked="false" Priority="67" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 1"/>
  <w:LsdException Locked="false" Priority="68" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 2"/>
  <w:LsdException Locked="false" Priority="69" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 3"/>
  <w:LsdException Locked="false" Priority="70" SemiHidden="false"
   UnhideWhenUsed="false" Name="Dark List"/>
  <w:LsdException Locked="false" Priority="71" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Shading"/>
  <w:LsdException Locked="false" Priority="72" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful List"/>
  <w:LsdException Locked="false" Priority="73" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Grid"/>
  <w:LsdException Locked="false" Priority="60" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Shading Accent 1"/>
  <w:LsdException Locked="false" Priority="61" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light List Accent 1"/>
  <w:LsdException Locked="false" Priority="62" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Grid Accent 1"/>
  <w:LsdException Locked="false" Priority="63" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/>
  <w:LsdException Locked="false" Priority="64" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/>
  <w:LsdException Locked="false" Priority="65" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/>
  <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/>
  <w:LsdException Locked="false" Priority="34" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/>
  <w:LsdException Locked="false" Priority="29" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Quote"/>
  <w:LsdException Locked="false" Priority="30" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/>
  <w:LsdException Locked="false" Priority="66" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/>
  <w:LsdException Locked="false" Priority="67" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/>
  <w:LsdException Locked="false" Priority="68" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/>
  <w:LsdException Locked="false" Priority="69" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/>
  <w:LsdException Locked="false" Priority="70" SemiHidden="false"
   UnhideWhenUsed="false" Name="Dark List Accent 1"/>
  <w:LsdException Locked="false" Priority="71" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/>
  <w:LsdException Locked="false" Priority="72" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful List Accent 1"/>
  <w:LsdException Locked="false" Priority="73" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/>
  <w:LsdException Locked="false" Priority="60" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Shading Accent 2"/>
  <w:LsdException Locked="false" Priority="61" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light List Accent 2"/>
  <w:LsdException Locked="false" Priority="62" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Grid Accent 2"/>
  <w:LsdException Locked="false" Priority="63" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/>
  <w:LsdException Locked="false" Priority="64" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/>
  <w:LsdException Locked="false" Priority="65" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/>
  <w:LsdException Locked="false" Priority="66" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/>
  <w:LsdException Locked="false" Priority="67" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/>
  <w:LsdException Locked="false" Priority="68" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/>
  <w:LsdException Locked="false" Priority="69" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/>
  <w:LsdException Locked="false" Priority="70" SemiHidden="false"
   UnhideWhenUsed="false" Name="Dark List Accent 2"/>
  <w:LsdException Locked="false" Priority="71" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/>
  <w:LsdException Locked="false" Priority="72" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful List Accent 2"/>
  <w:LsdException Locked="false" Priority="73" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/>
  <w:LsdException Locked="false" Priority="60" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Shading Accent 3"/>
  <w:LsdException Locked="false" Priority="61" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light List Accent 3"/>
  <w:LsdException Locked="false" Priority="62" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Grid Accent 3"/>
  <w:LsdException Locked="false" Priority="63" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/>
  <w:LsdException Locked="false" Priority="64" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/>
  <w:LsdException Locked="false" Priority="65" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/>
  <w:LsdException Locked="false" Priority="66" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/>
  <w:LsdException Locked="false" Priority="67" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/>
  <w:LsdException Locked="false" Priority="68" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/>
  <w:LsdException Locked="false" Priority="69" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/>
  <w:LsdException Locked="false" Priority="70" SemiHidden="false"
   UnhideWhenUsed="false" Name="Dark List Accent 3"/>
  <w:LsdException Locked="false" Priority="71" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/>
  <w:LsdException Locked="false" Priority="72" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful List Accent 3"/>
  <w:LsdException Locked="false" Priority="73" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/>
  <w:LsdException Locked="false" Priority="60" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Shading Accent 4"/>
  <w:LsdException Locked="false" Priority="61" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light List Accent 4"/>
  <w:LsdException Locked="false" Priority="62" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Grid Accent 4"/>
  <w:LsdException Locked="false" Priority="63" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/>
  <w:LsdException Locked="false" Priority="64" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/>
  <w:LsdException Locked="false" Priority="65" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/>
  <w:LsdException Locked="false" Priority="66" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/>
  <w:LsdException Locked="false" Priority="67" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/>
  <w:LsdException Locked="false" Priority="68" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/>
  <w:LsdException Locked="false" Priority="69" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/>
  <w:LsdException Locked="false" Priority="70" SemiHidden="false"
   UnhideWhenUsed="false" Name="Dark List Accent 4"/>
  <w:LsdException Locked="false" Priority="71" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/>
  <w:LsdException Locked="false" Priority="72" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful List Accent 4"/>
  <w:LsdException Locked="false" Priority="73" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/>
  <w:LsdException Locked="false" Priority="60" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Shading Accent 5"/>
  <w:LsdException Locked="false" Priority="61" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light List Accent 5"/>
  <w:LsdException Locked="false" Priority="62" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Grid Accent 5"/>
  <w:LsdException Locked="false" Priority="63" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/>
  <w:LsdException Locked="false" Priority="64" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/>
  <w:LsdException Locked="false" Priority="65" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/>
  <w:LsdException Locked="false" Priority="66" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/>
  <w:LsdException Locked="false" Priority="67" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/>
  <w:LsdException Locked="false" Priority="68" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/>
  <w:LsdException Locked="false" Priority="69" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/>
  <w:LsdException Locked="false" Priority="70" SemiHidden="false"
   UnhideWhenUsed="false" Name="Dark List Accent 5"/>
  <w:LsdException Locked="false" Priority="71" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/>
  <w:LsdException Locked="false" Priority="72" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful List Accent 5"/>
  <w:LsdException Locked="false" Priority="73" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/>
  <w:LsdException Locked="false" Priority="60" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Shading Accent 6"/>
  <w:LsdException Locked="false" Priority="61" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light List Accent 6"/>
  <w:LsdException Locked="false" Priority="62" SemiHidden="false"
   UnhideWhenUsed="false" Name="Light Grid Accent 6"/>
  <w:LsdException Locked="false" Priority="63" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/>
  <w:LsdException Locked="false" Priority="64" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/>
  <w:LsdException Locked="false" Priority="65" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/>
  <w:LsdException Locked="false" Priority="66" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/>
  <w:LsdException Locked="false" Priority="67" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/>
  <w:LsdException Locked="false" Priority="68" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/>
  <w:LsdException Locked="false" Priority="69" SemiHidden="false"
   UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/>
  <w:LsdException Locked="false" Priority="70" SemiHidden="false"
   UnhideWhenUsed="false" Name="Dark List Accent 6"/>
  <w:LsdException Locked="false" Priority="71" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/>
  <w:LsdException Locked="false" Priority="72" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful List Accent 6"/>
  <w:LsdException Locked="false" Priority="73" SemiHidden="false"
   UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/>
  <w:LsdException Locked="false" Priority="19" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/>
  <w:LsdException Locked="false" Priority="21" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/>
  <w:LsdException Locked="false" Priority="31" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/>
  <w:LsdException Locked="false" Priority="32" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/>
  <w:LsdException Locked="false" Priority="33" SemiHidden="false"
   UnhideWhenUsed="false" QFormat="true" Name="Book Title"/>
  <w:LsdException Locked="false" Priority="37" Name="Bibliography"/>
  <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/>
 </w:LatentStyles>
</xml><![endif]-->
    <style>
<!--
 /* Font Definitions */
@font-face
        {font-family:Arial;
        panose-1:2 11 6 4 2 2 2 2 2 4;
        mso-font-charset:0;
        mso-generic-font-family:auto;
        mso-font-pitch:variable;
        mso-font-signature:3 0 0 0 1 0;}
@font-face
        {font-family:"Courier New";
        panose-1:2 7 3 9 2 2 5 2 4 4;
        mso-font-charset:0;
        mso-generic-font-family:auto;
        mso-font-pitch:variable;
        mso-font-signature:3 0 0 0 1 0;}
@font-face
        {font-family:Wingdings;
        panose-1:5 0 0 0 0 0 0 0 0 0;
        mso-font-charset:2;
        mso-generic-font-family:auto;
        mso-font-pitch:variable;
        mso-font-signature:0 268435456 0 0 -2147483648 0;}
@font-face
        {font-family:"MS ゴシック";
        panose-1:0 0 0 0 0 0 0 0 0 0;
        mso-font-charset:128;
        mso-generic-font-family:modern;
        mso-font-format:other;
        mso-font-pitch:fixed;
        mso-font-signature:1 134676480 16 0 131072 0;}
@font-face
        {font-family:"MS ゴシック";
        panose-1:0 0 0 0 0 0 0 0 0 0;
        mso-font-charset:128;
        mso-generic-font-family:modern;
        mso-font-format:other;
        mso-font-pitch:fixed;
        mso-font-signature:1 134676480 16 0 131072 0;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;
        mso-font-charset:0;
        mso-generic-font-family:auto;
        mso-font-pitch:variable;
        mso-font-signature:3 0 0 0 1 0;}
@font-face
        {font-family:Cambria;
        panose-1:2 4 5 3 5 4 6 3 2 4;
        mso-font-charset:0;
        mso-generic-font-family:auto;
        mso-font-pitch:variable;
        mso-font-signature:3 0 0 0 1 0;}
 /* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {mso-style-unhide:no;
        mso-style-qformat:yes;
        mso-style-parent:"";
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:10.0pt;
        margin-left:0cm;
        line-height:115%;
        mso-pagination:widow-orphan;
        font-size:11.0pt;
        font-family:Calibri;
        mso-ascii-font-family:Calibri;
        mso-ascii-theme-font:minor-latin;
        mso-fareast-font-family:Calibri;
        mso-fareast-theme-font:minor-latin;
        mso-hansi-font-family:Calibri;
        mso-hansi-theme-font:minor-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:minor-bidi;
        mso-ansi-language:NL;}
h2
        {mso-style-priority:9;
        mso-style-qformat:yes;
        mso-style-link:"Heading 2 Char";
        mso-style-next:Normal;
        margin-top:10.0pt;
        margin-right:0cm;
        margin-bottom:0cm;
        margin-left:0cm;
        margin-bottom:.0001pt;
        line-height:115%;
        mso-pagination:widow-orphan lines-together;
        page-break-after:avoid;
        mso-outline-level:2;
        font-size:13.0pt;
        font-family:Cambria;
        mso-ascii-font-family:Cambria;
        mso-ascii-theme-font:major-latin;
        mso-fareast-font-family:"MS ゴシック";
        mso-fareast-theme-font:major-fareast;
        mso-hansi-font-family:Cambria;
        mso-hansi-theme-font:major-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:major-bidi;
        color:#4F81BD;
        mso-themecolor:accent1;
        mso-ansi-language:NL;}
p.MsoSubtitle, li.MsoSubtitle, div.MsoSubtitle
        {mso-style-priority:11;
        mso-style-unhide:no;
        mso-style-qformat:yes;
        mso-style-link:"Subtitle Char";
        mso-style-next:Normal;
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:10.0pt;
        margin-left:0cm;
        line-height:115%;
        mso-pagination:widow-orphan;
        font-size:12.0pt;
        font-family:Cambria;
        mso-ascii-font-family:Cambria;
        mso-ascii-theme-font:major-latin;
        mso-fareast-font-family:"MS ゴシック";
        mso-fareast-theme-font:major-fareast;
        mso-hansi-font-family:Cambria;
        mso-hansi-theme-font:major-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:major-bidi;
        color:#4F81BD;
        mso-themecolor:accent1;
        letter-spacing:.75pt;
        mso-ansi-language:NL;
        font-style:italic;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        mso-themecolor:hyperlink;
        text-decoration:underline;
        text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-noshow:yes;
        mso-style-priority:99;
        color:purple;
        mso-themecolor:followedhyperlink;
        text-decoration:underline;
        text-underline:single;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
        {mso-style-priority:34;
        mso-style-unhide:no;
        mso-style-qformat:yes;
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:10.0pt;
        margin-left:36.0pt;
        mso-add-space:auto;
        line-height:115%;
        mso-pagination:widow-orphan;
        font-size:11.0pt;
        font-family:Calibri;
        mso-ascii-font-family:Calibri;
        mso-ascii-theme-font:minor-latin;
        mso-fareast-font-family:Calibri;
        mso-fareast-theme-font:minor-latin;
        mso-hansi-font-family:Calibri;
        mso-hansi-theme-font:minor-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:minor-bidi;
        mso-ansi-language:NL;}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst
        {mso-style-priority:34;
        mso-style-unhide:no;
        mso-style-qformat:yes;
        mso-style-type:export-only;
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:0cm;
        margin-left:36.0pt;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        line-height:115%;
        mso-pagination:widow-orphan;
        font-size:11.0pt;
        font-family:Calibri;
        mso-ascii-font-family:Calibri;
        mso-ascii-theme-font:minor-latin;
        mso-fareast-font-family:Calibri;
        mso-fareast-theme-font:minor-latin;
        mso-hansi-font-family:Calibri;
        mso-hansi-theme-font:minor-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:minor-bidi;
        mso-ansi-language:NL;}
p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle
        {mso-style-priority:34;
        mso-style-unhide:no;
        mso-style-qformat:yes;
        mso-style-type:export-only;
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:0cm;
        margin-left:36.0pt;
        margin-bottom:.0001pt;
        mso-add-space:auto;
        line-height:115%;
        mso-pagination:widow-orphan;
        font-size:11.0pt;
        font-family:Calibri;
        mso-ascii-font-family:Calibri;
        mso-ascii-theme-font:minor-latin;
        mso-fareast-font-family:Calibri;
        mso-fareast-theme-font:minor-latin;
        mso-hansi-font-family:Calibri;
        mso-hansi-theme-font:minor-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:minor-bidi;
        mso-ansi-language:NL;}
p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast
        {mso-style-priority:34;
        mso-style-unhide:no;
        mso-style-qformat:yes;
        mso-style-type:export-only;
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:10.0pt;
        margin-left:36.0pt;
        mso-add-space:auto;
        line-height:115%;
        mso-pagination:widow-orphan;
        font-size:11.0pt;
        font-family:Calibri;
        mso-ascii-font-family:Calibri;
        mso-ascii-theme-font:minor-latin;
        mso-fareast-font-family:Calibri;
        mso-fareast-theme-font:minor-latin;
        mso-hansi-font-family:Calibri;
        mso-hansi-theme-font:minor-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:minor-bidi;
        mso-ansi-language:NL;}
span.Heading2Char
        {mso-style-name:"Heading 2 Char";
        mso-style-priority:9;
        mso-style-unhide:no;
        mso-style-locked:yes;
        mso-style-link:"Heading 2";
        mso-ansi-font-size:13.0pt;
        mso-bidi-font-size:13.0pt;
        font-family:Cambria;
        mso-ascii-font-family:Cambria;
        mso-ascii-theme-font:major-latin;
        mso-fareast-font-family:"MS ゴシック";
        mso-fareast-theme-font:major-fareast;
        mso-hansi-font-family:Cambria;
        mso-hansi-theme-font:major-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:major-bidi;
        color:#4F81BD;
        mso-themecolor:accent1;
        font-weight:bold;}
span.SubtitleChar
        {mso-style-name:"Subtitle Char";
        mso-style-priority:11;
        mso-style-unhide:no;
        mso-style-locked:yes;
        mso-style-link:Subtitle;
        mso-ansi-font-size:12.0pt;
        mso-bidi-font-size:12.0pt;
        font-family:Cambria;
        mso-ascii-font-family:Cambria;
        mso-ascii-theme-font:major-latin;
        mso-fareast-font-family:"MS ゴシック";
        mso-fareast-theme-font:major-fareast;
        mso-hansi-font-family:Cambria;
        mso-hansi-theme-font:major-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:major-bidi;
        color:#4F81BD;
        mso-themecolor:accent1;
        letter-spacing:.75pt;
        font-style:italic;}
.MsoChpDefault
        {mso-style-type:export-only;
        mso-default-props:yes;
        font-size:11.0pt;
        mso-ansi-font-size:11.0pt;
        mso-bidi-font-size:11.0pt;
        font-family:Calibri;
        mso-ascii-font-family:Calibri;
        mso-ascii-theme-font:minor-latin;
        mso-fareast-font-family:Calibri;
        mso-fareast-theme-font:minor-latin;
        mso-hansi-font-family:Calibri;
        mso-hansi-theme-font:minor-latin;
        mso-bidi-font-family:"Times New Roman";
        mso-bidi-theme-font:minor-bidi;
        mso-ansi-language:NL;}
.MsoPapDefault
        {mso-style-type:export-only;
        margin-bottom:10.0pt;
        line-height:115%;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 90.0pt 72.0pt 90.0pt;
        mso-header-margin:36.0pt;
        mso-footer-margin:36.0pt;
        mso-paper-source:0;}
div.WordSection1
        {page:WordSection1;}
 /* List Definitions */
@list l0
        {mso-list-id:414203619;
        mso-list-type:hybrid;
        mso-list-template-ids:-1121139010 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l0:level1
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l0:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l0:level3
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l0:level4
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l0:level5
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l0:level6
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l0:level7
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l0:level8
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l0:level9
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l1
        {mso-list-id:763187426;
        mso-list-type:hybrid;
        mso-list-template-ids:1819454336 67698703 67698713 67698715 67698703 67698713 67698715 67698703 67698713 67698715;}
@list l1:level1
        {mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;}
@list l1:level2
        {mso-level-number-format:alpha-lower;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;}
@list l1:level3
        {mso-level-number-format:roman-lower;
        mso-level-tab-stop:none;
        mso-level-number-position:right;
        text-indent:-9.0pt;}
@list l1:level4
        {mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;}
@list l1:level5
        {mso-level-number-format:alpha-lower;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;}
@list l1:level6
        {mso-level-number-format:roman-lower;
        mso-level-tab-stop:none;
        mso-level-number-position:right;
        text-indent:-9.0pt;}
@list l1:level7
        {mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;}
@list l1:level8
        {mso-level-number-format:alpha-lower;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;}
@list l1:level9
        {mso-level-number-format:roman-lower;
        mso-level-tab-stop:none;
        mso-level-number-position:right;
        text-indent:-9.0pt;}
@list l2
        {mso-list-id:1036194522;
        mso-list-type:hybrid;
        mso-list-template-ids:-806988856 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l2:level1
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l2:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";}
@list l2:level3
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l2:level4
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l2:level5
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";}
@list l2:level6
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l2:level7
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l2:level8
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";}
@list l2:level9
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l3
        {mso-list-id:1125346989;
        mso-list-type:hybrid;
        mso-list-template-ids:1644178700 67698703 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l3:level1
        {mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;}
@list l3:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l3:level3
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l3:level4
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l3:level5
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l3:level6
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l3:level7
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l3:level8
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l3:level9
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l4
        {mso-list-id:1353142348;
        mso-list-type:hybrid;
        mso-list-template-ids:2087883150 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l4:level1
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l4:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l4:level3
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l4:level4
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l4:level5
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l4:level6
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l4:level7
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l4:level8
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l4:level9
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l5
        {mso-list-id:1392997066;
        mso-list-type:hybrid;
        mso-list-template-ids:-9509304 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l5:level1
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l5:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l5:level3
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l5:level4
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l5:level5
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l5:level6
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l5:level7
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l5:level8
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l5:level9
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l6
        {mso-list-id:1758405710;
        mso-list-type:hybrid;
        mso-list-template-ids:389318124 67698689 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l6:level1
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l6:level2
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l6:level3
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l6:level4
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l6:level5
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l6:level6
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
@list l6:level7
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Symbol;}
@list l6:level8
        {mso-level-number-format:bullet;
        mso-level-text:o;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:"Courier New";
        mso-bidi-font-family:Arial;}
@list l6:level9
        {mso-level-number-format:bullet;
        mso-level-text:;
        mso-level-tab-stop:none;
        mso-level-number-position:left;
        text-indent:-18.0pt;
        font-family:Wingdings;}
ol
        {margin-bottom:0cm;}
ul
        {margin-bottom:0cm;}
-->
</style><!--[if gte mso 10]>
<style>
 /* Style Definitions */
table.MsoNormalTable
        {mso-style-name:"Table Normal";
        mso-tstyle-rowband-size:0;
        mso-tstyle-colband-size:0;
        mso-style-noshow:yes;
        mso-style-priority:99;
        mso-style-parent:"";
        mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
        mso-para-margin-top:0cm;
        mso-para-margin-right:0cm;
        mso-para-margin-bottom:10.0pt;
        mso-para-margin-left:0cm;
        line-height:115%;
        mso-pagination:widow-orphan;
        font-size:11.0pt;
        font-family:Calibri;
        mso-ascii-font-family:Calibri;
        mso-ascii-theme-font:minor-latin;
        mso-hansi-font-family:Calibri;
        mso-hansi-theme-font:minor-latin;
        mso-ansi-language:NL;}
</style>
<![endif]--><!--StartFragment--><!--EndFragment-->
  </body>
</html>