<div dir="ltr"><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><br><div dir="ltr">Dear all,<div><br><div>I have a postdoc position at Oxford available:</div><div><br></div><div><a href="http://www.cs.ox.ac.uk/news/2042-full.html" target="_blank">http://www.cs.ox.ac.uk/news/2042-full.html</a><br></div><div><br></div><div>The ideal fit would be for a project with Milos Nikolic at Edinburgh on nested data.</div><div>Don't be scared if you don't know what nested data is, or if it has a frighteningly applied ring to it!</div><div>The project is quite broad. For theory, see the POPL 2021</div><div><a href="https://dl.acm.org/doi/10.1145/3434295" target="_blank">https://dl.acm.org/doi/10.1145/3434295</a></div><div><br></div><div>This part of the project relates to interpolation/Beth definability, </div><div>including ongoing work with Pierre Pradic at Swansea and Christoph Wernhard at Dresden.</div><div>Background in proof theory or model theory (not necessarily both) would be necessary.</div><div><br></div><div>On the applied side, the project relates to the Trance system, which</div><div>we have overviewed at VLDB (e.g)</div><div><a href="http://www.vldb.org/pvldb/vol14/p2727-benedikt.pdf" target="_blank">http://www.vldb.org/pvldb/vol14/p2727-benedikt.pdf</a> (related to query compilation)<br></div><div><br></div><div>and to a paper on applications to bio:</div><div><a href="https://www.biorxiv.org/content/10.1101/2020.12.14.422781v1.full" target="_blank">https://www.biorxiv.org/content/10.1101/2020.12.14.422781v1.full</a><br></div><div><br></div><div>Milos Nikolic also has a PDRA position on the grant; for someone who wants to work more</div><div>on the system side, we could discuss whether Oxford or Edinburgh is the best fit.</div><div><br></div><div>The PDRA position could also fit a researcher with a background relevant to other topics under investigation at Oxford, particularly:<br></div><div>--  neuro-symbolic reasoning (joint work with Zsolt Zombori),</div><div>-- embedded finite model theory (includes joint work with Udi Hrushovski and joint work with Anthony Lin), </div><div>-- decidable fragments of first-order logics (includes joint work with Boris Motik and joint work with Tony Tan).</div><div><br></div><div>The projected start date for the post is Sept 22, which I know is quite soon; but there is <span>flexibility</span> on that. </div><div>If you know anyone who might be interested, please forward; also happy to discuss with anyone who wants to drill down on the workplan.</div></div><div><br></div><div>Michael Benedikt</div><div><a href="mailto:michael.benedikt@cs.ox.ac.uk" target="_blank">michael.benedikt@cs.ox.ac.uk</a></div><div><a href="mailto:michael.benedikt@gmail.com" target="_blank">michael.benedikt@gmail.com</a></div></div>
</div></div>