<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div><br data-mce-bogus="1"></div><div data-marker="__QUOTED_TEXT__"><div style="font-family:'arial' , 'helvetica' , sans-serif;font-size:12pt;color:#000000"><div><span style="font-family:'lucida console' , sans-serif"> PostDoc position</span><br><span style="font-family:'lucida console' , sans-serif"> on</span><br><span style="font-family:'lucida console' , sans-serif">Verifiable Graph Data Integration</span><br><span style="font-family:'lucida console' , sans-serif">====================================================================</span><br><span style="font-family:'lucida console' , sans-serif"><strong>Location</strong> : Lyon/France (LIRIS Lab)</span><br><span 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"><strong>Starting date</strong> : Flexible (in 2023)</span><br><span style="font-family:'lucida console' , sans-serif"><strong>Application deadline</strong>: 3rd November 2023</span><br><br><span style="font-family:'lucida console' , sans-serif"><strong>Context/aim</strong>:</span><br><span 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">high flexibility. Various graph query languages are being proposed</span><br><span 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">standardize a graph query language, resulting in two separate</span><br><span style="font-family:'lucida console' , sans-serif">standards: GQL and SQL/PGQ.</span><br><br><span 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">of verifiable graph data integration operations by using verification</span><br><span 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">rewriting techniques. The targeted study will feature different kinds</span><br><span 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">when triggering update operators, processing graph-to-graph queries or</span><br><span 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">details, please contact the supervisors below.</span><br><br><span 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">Computer Science. The successful candidate should have a theoretical</span><br><span 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">First-Order Logic, program verification techniques or graph databases</span><br><span 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">researchers at LIRIS lab (Lyon, A. Bonifati) and LIG lab (Grenoble,</span><br><span 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">a larger grant supported by the French ANR agency.</span><br><br><span style="font-family:'lucida console' , sans-serif"><strong>Contact at LIRIS (Lyon)</strong>: Angela BONIFATI <strong>angela.bonifati@liris.cnrs.fr</strong></span><br><span style="font-family:'lucida console' , sans-serif"><strong>Contact at LIG (Grenoble)</strong>: Rachid ECHAHED <strong>rachid.echahed@imag.fr</strong></span><br><br><span 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">and no later than November 3rd, 2023 to</span><br><span style="font-family:'lucida console' , sans-serif"><strong>angela.bonifati@liris.cnrs.fr</strong> and <strong>rachid.echahed@imag.fr</strong></span><br><br><span style="font-family:'lucida console' , sans-serif"> 1. CV</span><br><span 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"> including full list of publications</span><br><span 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">======================================================================</span></div></div><br></div></div></body></html>