[PlanetKR] Fwd: postdoc at Oxford, a number of logic-related topics

Michael Benedikt michael.benedikt at gmail.com
Sun Jun 5 13:46:48 UTC 2022

Dear all,

I have a postdoc position at Oxford available:


The ideal fit would be for a project with Milos Nikolic at Edinburgh on
nested data.
Don't be scared if you don't know what nested data is, or if it has a
frighteningly applied ring to it!
The project is quite broad. For theory, see the POPL 2021

This part of the project relates to interpolation/Beth definability,
including ongoing work with Pierre Pradic at Swansea and Christoph Wernhard
at Dresden.
Background in proof theory or model theory (not necessarily both) would be

On the applied side, the project relates to the Trance system, which
we have overviewed at VLDB (e.g)
http://www.vldb.org/pvldb/vol14/p2727-benedikt.pdf (related to query

and to a paper on applications to bio:

Milos Nikolic also has a PDRA position on the grant; for someone who wants
to work more
on the system side, we could discuss whether Oxford or Edinburgh is the
best fit.

The PDRA position could also fit a researcher with a background relevant to
other topics under investigation at Oxford, particularly:
--  neuro-symbolic reasoning (joint work with Zsolt Zombori),
-- embedded finite model theory (includes joint work with Udi Hrushovski
and joint work with Anthony Lin),
-- decidable fragments of first-order logics (includes joint work with
Boris Motik and joint work with Tony Tan).

The projected start date for the post is Sept 22, which I know is quite
soon; but there is flexibility on that.
If you know anyone who might be interested, please forward; also happy to
discuss with anyone who wants to drill down on the workplan.

Michael Benedikt
michael.benedikt at cs.ox.ac.uk
michael.benedikt at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20220605/e3655cf5/attachment.htm>

More information about the PlanetKR mailing list