<html><body><div 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;">=======================================================================</span><br><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 Database Integration</span><br><br><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</strong> <strong>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>: As soon as possible/position open until filled</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 SPARQL, Cypher, G-CORE or GQL, the standard graph query</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">language. The aim of this project is to contribute to the design and</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">the implementation of a tool dedicated to the verification of graph</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">data integration operations by using verification methods specific to</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">graph transformations. The targeted tool 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 good</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">programming skills. Basic knowledge of First-Order Logic, program</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">verification techniques or graph databases would be a plus. S/he will</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">work in close collaboration with researchers at LIRIS lab (Lyon) and</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">LIG lab (Grenoble), in addition to ENS/ULM (Paris) in the context of a</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">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 angela.bonifati@liris.cnrs.fr</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 rachid.echahed@imag.fr</span><br><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;"><strong>Application</strong> : Please send the following documents to</span><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">angela.bonifati@liris.cnrs.fr and rachid.echahed@imag.fr</span><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 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><br><span style="font-family: lucida console, sans-serif;" data-mce-style="font-family: lucida console, sans-serif;">=======================================================================</span><br><br data-mce-bogus="1"></div></div></body></html>