<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div> <!--StartFragment--><div><br></div><div><div style="font-family: 'arial', 'helvetica', sans-serif; font-size: 12pt; color: #000000;" data-mce-style="font-family: 'arial', 'helvetica', sans-serif; font-size: 12pt; color: #000000;"><div><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"> PostDoc position</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"> on</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">Verifiable Graph Data Integration</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">====================================================================</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong>Location</strong> : Lyon/France (LIRIS Lab)</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong>Duration</strong>: 12 months with a possibility of extension to 24 months</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong>Starting date</strong> : Flexible (in 2023)</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong>Application deadline</strong>: 3rd <span class="Object" role="link" id="OBJ_PREFIX_DWT62_com_zimbra_date"><span class="Object" role="link" id="OBJ_PREFIX_DWT68_com_zimbra_date">November 2023</span></span></span><br><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong>Context/aim</strong>:</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">Graph database systems are becoming increasingly popular due to their</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">high flexibility. Various graph query languages are being proposed</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">such as Cypher, PGQL, GSQL, and G-CORE, leading to an effort to</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">standardize a graph query language, resulting in two separate</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">standards: GQL and SQL/PGQ.</span><br><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">The aim of this project is to contribute to pin down the foundations</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">of verifiable graph data integration operations by using verification</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">methods specific to algebraic graph transformations and graph</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">rewriting techniques. The targeted study will feature different kinds</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">of property data graph transformations which may occur, for instance,</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">when triggering update operators, processing graph-to-graph queries or</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">performing more complex graph integration processes. For more</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">details, please contact the supervisors below.</span><br><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">We are aiming to hire a postdoctoral researcher, having a PhD in</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">Computer Science. The successful candidate should have a theoretical</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">background and good programming skills. Basic knowledge of</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">First-Order Logic, program verification techniques or graph databases</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">would be a plus. S/he will work in close collaboration with</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">researchers at LIRIS lab (Lyon, A. Bonifati) and LIG lab (Grenoble,</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">R. Echahed), in addition to IRIF (Paris, L. Libkin) in the context of</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">a larger grant supported by the French ANR agency.</span><br><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong>Contact at LIRIS (Lyon)</strong>: Angela BONIFATI <strong><span class="Object" role="link" id="OBJ_PREFIX_DWT63_ZmEmailObjectHandler"><span class="Object" role="link" id="OBJ_PREFIX_DWT69_ZmEmailObjectHandler">angela.bonifati@liris.cnrs.fr</span></span></strong></span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong>Contact at LIG (Grenoble)</strong>: Rachid ECHAHED <strong><span class="Object" role="link" id="OBJ_PREFIX_DWT64_ZmEmailObjectHandler"><span class="Object" role="link" id="OBJ_PREFIX_DWT70_ZmEmailObjectHandler">rachid.echahed@imag.fr</span></span></strong></span><br><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">Application : Please send the following documents as soon as possible</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">and no later than <span class="Object" role="link" id="OBJ_PREFIX_DWT65_com_zimbra_date"><span class="Object" role="link" id="OBJ_PREFIX_DWT71_com_zimbra_date">November 3rd, 2023</span></span> to</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"><strong><span class="Object" role="link" id="OBJ_PREFIX_DWT66_ZmEmailObjectHandler"><span class="Object" role="link" id="OBJ_PREFIX_DWT72_ZmEmailObjectHandler">angela.bonifati@liris.cnrs.fr</span></span></strong> and <strong><span class="Object" role="link" id="OBJ_PREFIX_DWT67_ZmEmailObjectHandler"><span class="Object" role="link" id="OBJ_PREFIX_DWT73_ZmEmailObjectHandler">rachid.echahed@imag.fr</span></span></strong></span><br><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"> 1. CV</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"> 2. Short description of qualifications and research interests</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"> including full list of publications</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;"> 3. List of two people who may be contacted for reference letters.</span><br><span style="font-family: 'lucida console', sans-serif;" data-mce-style="font-family: 'lucida console', sans-serif;">======================================================================</span></div></div></div><!--EndFragment--> </div></div></body></html>