[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We are recruiting a postdoc to work on probabilistic and differentiable
programming. The closing date for applications is 12.00 noon on 10th April
2020.
Oxford is a great place for programming languages research in general, but
especially in probabilistic and differentiable programming.
Interested candidates are welcome to contact me for further details.
Luke Ong
l...@cs.ox.ac.uk
Full details:
http://www.cs.ox.ac.uk/news/1791-full.html
Current faculty:
http://www.cs.ox.ac.uk/people/faculty.html
