[TYPES/announce] Job: research associate in Oxford
Sam Staton
sam.staton at cs.ox.ac.uk
Fri Mar 17 13:19:10 EDT 2023
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.
More information about the Types-announce
mailing list