<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Dear Colleagues, <o:p></o:p>
<div class="moz-forward-container">
<div class="moz-forward-container">
<div class="WordSection1">
<p class="MsoNormal"><o:p></o:p><span lang="EN-US">One PhD
position opens at University Paris 1 Panthéon-Sorbonne /
Centre de Recherche en Informatique.<br>
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p><br>
</o:p></span><b><span
style="font-family:"Times","serif""
lang="EN-US">Title:</span></b><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US"> </span></b><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB">Exploring Formal Methods and Formal Concept
Analysis for Agile Business Process Management</span></b><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US"><o:p></o:p></span></b></p>
<p class="MsoNormal"><b><span
style="font-family:"Times","serif""
lang="EN-GB"><o:p></o:p>Keywords</span></b><span
style="font-family:"Times","serif""
lang="EN-GB">: </span><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB">Formal specification, model checking, Formal
Concept Analysis, Business Process Modeling<o:p></o:p></span></p>
<p class="MsoNormal"><b><span
style="font-family:"Times","serif""
lang="EN-US">Starting date: </span></b><span
style="font-family:"Times","serif""
lang="EN-US"></span><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US">between September and November 2013</span><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US"><o:p></o:p></span></b></p>
<b><span
style="font-family:"Times","serif""
lang="EN-GB">Full description</span></b><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB">: </span></b><span style="font-size:10.0pt"><a
moz-do-not-send="true"
href="http://crinfo.univ-paris1.fr/thesisSorbonne2013.pdf"><span
lang="EN-US">http://crinfo.univ-paris1.fr/thesisSorbonne2013.pdf</span></a></span><b><span
style="font-size:8.0pt;font-family:"Times","serif""
lang="EN-GB"><o:p></o:p></span></b>
<p class="MsoNormal"><b><span
style="font-family:"Times","serif""
lang="EN-US"><o:p></o:p>Funding</span></b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US">: French Government Research Grant <b>(gross
income: between 1850 € and 2000 € per month).</b><o:p></o:p></span></p>
<p class="MsoNormal"><b><span
style="font-family:"Times","serif"">Location</span></b><span
style="font-size:10.0pt;font-family:"Times","serif"">:
Université Paris 1 Panthéon-Sorbonne, Centre de Recherche
en Informatique, 90, rue de Tolbiac 75013 Paris, France<o:p></o:p></span></p>
<p class="MsoNormal"><b><span
style="font-family:"Times","serif""><o:p></o:p>Directors</span></b><span
style="font-size:10.0pt;font-family:"Times","serif"">:
Irina RYCHKOVA (</span><a moz-do-not-send="true"
href="mailto:irina.rychkova@univ-paris1.fr"><span
style="font-size:10.0pt;font-family:"Times","serif"">irina.rychkova@univ-paris1.fr</span></a><span
style="font-size:10.0pt;font-family:"Times","serif"">)
and Bénédicte LE GRAND (</span><a moz-do-not-send="true"
href="mailto:Benedicte.Le-Grand@univ-paris1.fr"><span
style="font-size:10.0pt;font-family:"Times","serif"">Benedicte.Le-Grand@univ-paris1.fr</span></a><span
style="font-size:10.0pt;font-family:"Times","serif"">
)<br>
</span><b><span
style="font-size:12.0pt;font-family:"Times","serif""
lang="EN-GB"><br>
To apply:</span></b><span
style="font-size:9.0pt;font-family:"Times","serif";color:black"
lang="EN-US"> </span><span
style="font-size:10.0pt;font-family:"Times","serif";color:black"
lang="EN-US">send a detailed CV (in English), a motivation
letter (in English), copy of official transcript of
student record (B.Sc and M.Sc) and letters of reference to
Irina Rychkova (</span><a moz-do-not-send="true"
href="mailto:irina.rychkova@univ-paris1.fr"><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US">irina.rychkova@univ-paris1.fr</span></a><span
style="font-size:10.0pt;font-family:"Times","serif";color:black"
lang="EN-US">) </span></p>
<u><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US">No application will be considered after
01/07/2013</span></b></u><br>
<h2
style="margin:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt" lang="EN-GB">Description<o:p></o:p></span></h2>
<p class="MsoNormal" style="text-autospace:none"><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB">The subject of this PhD thesis lies on <b>the
intersection of the three research areas</b>: <b>business
process modeling, formal methods and formal concept
analysis</b>. We propose to explore formal methods and
formal concept analysis (FCA) and to build a novel
approach for agile process modelling, simulation and
analysis. In particular we propose to apply these
techniques for unstructured processes such as case
management processes (CMP). Case management processes have
multiple applications, including licensing and permitting
in government, insurance application and claim processing
in insurance, patient care and medical diagnosis in
healthcare, etc.</span><span
style="font-family:"Times","serif""
lang="EN-GB"> </span><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB">The first challenge</span></b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB"> related to this PhD thesis is to find an
appropriate (mathematical) formalism for representation
and reasoning about case management processes (CMP) while
ensuring an appropriate level of agility. </span><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-US">We suggest that, instead of following a
predefined execution scenario, a process navigates in the
process “state space”, dynamically adjusting its path
based on the current state, current situation and
navigation rules. Initial navigation rules for process
guidance based on Formal Concept Analysis and Galois
lattices need to be defined. <o:p></o:p></span></p>
<p class="MsoNormal"><b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB">The second challenge</span></b><span
style="font-size:10.0pt;font-family:"Times","serif""
lang="EN-GB"> related to this PhD thesis is to explore the
opportunities provided by automated model checking,
theorem proving and formal concept analysis for process
model validation and for guided process execution.<o:p></o:p></span></p>
<span
style="font-size:10.0pt;font-family:"Times","serif";color:black"
lang="EN-US"></span><br>
</div>
</div>
-- <br>
Ce message a été vérifié par
<a moz-do-not-send="true" href="http://www.mailscanner.info/">MailScanner</a>
pour des virus ou des polluriels et rien de
suspect n'a été trouvé.
<br>
</div>
<br>
<br>--
<br>Ce message a été vérifié par
<a href="http://www.mailscanner.info/">MailScanner</a>
pour des virus ou des polluriels et rien de
suspect n'a été trouvé.
</body>
</html>