[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hello, I'm looking for up to three research associates (postdocs) here in
Oxford, UK. There are two job adverts, please apply to both.
https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2143-full.html__;!!IBzWLUs!Ri9uaxL4QivRmXduRPhuQJoxUf3ZCTQyCy3KrREZKgNbTh_aTpjIRIppXa_UcLaqMTQS4jXaUVXuSNY6DSMgbS-KPim0B3qVBhjB3g$
https://urldefense.com/v3/__https://www.cs.ox.ac.uk/news/2144-full.html__;!!IBzWLUs!Ri9uaxL4QivRmXduRPhuQJoxUf3ZCTQyCy3KrREZKgNbTh_aTpjIRIppXa_UcLaqMTQS4jXaUVXuSNY6DSMgbS-KPim0B3quP1oBeA$
The funding is based around probabilistic and quantum programming, but the work
topics are fairly flexible. As part of the essential criteria I have put:
* Expertise in one or more of the following areas (in alphabetical order):
category theory, measure theory, probabilistic programming, programming
language theory, quantum theory, statistical machine learning, or theory of
statistics, evidenced by published papers.
Oxford is a lively place. Here's a list of some of the people here involved in
Programming Languages,
https://urldefense.com/v3/__https://www.cs.ox.ac.uk/research/pl/people.html__;!!IBzWLUs!Ri9uaxL4QivRmXduRPhuQJoxUf3ZCTQyCy3KrREZKgNbTh_aTpjIRIppXa_UcLaqMTQS4jXaUVXuSNY6DSMgbS-KPim0B3qrYX8uHA$
.
There is lots of interaction, with various informal seminars etc..
The closing date is 19th April 2023 noon UK time. Let me know if you need
longer. And as always, let me know about any questions, if you're interested,
or if you know people who might be.
