From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
To: types-list@lists.seas.upenn.edu, haskell-cafe@haskell.org,
types@lists.chalmers.se, ciao-users@cliplab.org,
caml users <caml-list@inria.fr>,
erlang-questions@erlang.org, ARW-COMMITTEE@liverpool.ac.uk,
cl-isabelle-users@lists.cam.ac.uk, tag@utlists.utexas.edu,
boost-interest@lists.boost.org,
Association for Symbolic Logic <asl@vassar.edu>,
event@in.tu-clausthal.de, prog-lang@diku.dk,
afsec@afsec.asr.cnrs.fr, security@fosad.org, gdr-im@gdr-im.fr,
gt-verif-permanents@gdr-im.fr, tag@cs.utexas.edu,
planetkr@kr.org, fmics@inrialpes.fr, nwpt-info@lists.ioc.ee,
theorynt@listserv.nodak.edu, comm-theory@ieee.org,
wi@aifb.uni-karlsruhe.de, iclp-workshops@sfu.ca,
DSG <depsys@macs.hw.ac.uk>, stp <stp@macs.hw.ac.uk>,
British Logic Colloquium <blc@cs.nott.ac.uk>,
cade@itu.dk, haskell@haskell.org, agda@lists.chalmers.se,
types-announce@lists.seas.upenn.edu, coq-club@inria.fr,
laiv-announce@macs.hw.ac.uk, lfcs-interest@inf.ed.ac.uk,
spls@lists.cent.gla.ac.uk
Subject: [Caml-list] PhD and Postdoctoral positions in Formal Methods for AI
Date: Sun, 31 Jul 2022 08:37:24 +0100 [thread overview]
Message-ID: <CAEQEJxJ-v6FiTBrEysEMwYBueM-Ji+_xAfLAzQxfT7J=4kj6=w@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1141 bytes --]
The Lab for AI and Verification (laiv.uk) at Heriot-Watt University,
Edinburgh is looking to fill one PhD post and one postdoctoral post. We are
looking for candidates with solid knowledge of Theorem Proving and/or
Functional/Logic programming, and enthusiasm to apply this knowledge in the
domain of Artificial Intelligence.
The PhD post is for 4 years, starting in October 2022. It covers full
stipend and PhD fees and is sponsored by the UKRI (ukri.org) and
Schlumberger Cambridge (slb.com). The company will provide additional
training and support during the PhD studies. This post needs to be filled
in as soon as possible.
We are also looking to employ a postdoctoral researcher for a 6-12 months
project to formalise Criminal law in the Functional Language Catala
<https://catala-lang.org/>. Formalising criminal law for autonomous cars is
of particular interest. This project will be in collaboration with Jonathan
Protzenko, Microsoft Research and the School of Law, Edinburgh University.
This project has a flexible starting date.
Please direct all queries to Ekaterina Komendantskaya (ek19@hw.ac.uk)
Best wishes,
Ekaterina
[-- Attachment #2: Type: text/html, Size: 6477 bytes --]
reply other threads:[~2022-07-31 7:38 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAEQEJxJ-v6FiTBrEysEMwYBueM-Ji+_xAfLAzQxfT7J=4kj6=w@mail.gmail.com' \
--to=komendantskaya@gmail.com \
--cc=ARW-COMMITTEE@liverpool.ac.uk \
--cc=afsec@afsec.asr.cnrs.fr \
--cc=agda@lists.chalmers.se \
--cc=asl@vassar.edu \
--cc=blc@cs.nott.ac.uk \
--cc=boost-interest@lists.boost.org \
--cc=cade@itu.dk \
--cc=caml-list@inria.fr \
--cc=ciao-users@cliplab.org \
--cc=cl-isabelle-users@lists.cam.ac.uk \
--cc=comm-theory@ieee.org \
--cc=coq-club@inria.fr \
--cc=depsys@macs.hw.ac.uk \
--cc=erlang-questions@erlang.org \
--cc=event@in.tu-clausthal.de \
--cc=fmics@inrialpes.fr \
--cc=gdr-im@gdr-im.fr \
--cc=gt-verif-permanents@gdr-im.fr \
--cc=haskell-cafe@haskell.org \
--cc=haskell@haskell.org \
--cc=iclp-workshops@sfu.ca \
--cc=laiv-announce@macs.hw.ac.uk \
--cc=lfcs-interest@inf.ed.ac.uk \
--cc=nwpt-info@lists.ioc.ee \
--cc=planetkr@kr.org \
--cc=prog-lang@diku.dk \
--cc=security@fosad.org \
--cc=spls@lists.cent.gla.ac.uk \
--cc=stp@macs.hw.ac.uk \
--cc=tag@cs.utexas.edu \
--cc=tag@utlists.utexas.edu \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
--cc=types-list@lists.seas.upenn.edu \
--cc=types@lists.chalmers.se \
--cc=wi@aifb.uni-karlsruhe.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).