[TYPES/announce] Chancellor's Fellowships at the University of Edinburgh

2022-11-08 Thread James Cheney
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear types-announce, The University of Edinburgh is advertising up to 30 Chancellor's Fellowship posts across all areas, with 10 in the College of Science and Engineering, which the

[TYPES/announce] Fwd: Postdoc positions in Probabilistic Programming, in Singapore

2022-11-08 Thread Luke Ong
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite motivated and well-qualified researchers to work on Bayesian Statistical Probabilistic Programming, as part of a research programme funded by the National Research Foundations,

[TYPES/announce] PhD studentship at University of Oxford

2022-11-08 Thread Nobuko Yoshida
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fully Funded Doctoral Studentship in Foundations of Concurrent and Distributed Computing and Programming Languages Student fee status: Home Supervisor: Prof. Nobuko Yoshida, Christopher