[TYPES/announce] PhD Topic at Inria: Distributed Query Analytics on Property Graphs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We are pleased to invite applications for a PhD position at Inria: Topic: Distributed Query Analytics on Property Graphs Supervisors: Angela Bonifati and Pierre Genevès

[TYPES/announce] Special Issue on Quantum Software: Theory and Practice - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Special Issue on ``Quantum Software: Theory and Practice” Journal: Quantum Machine Intelligence (Springer) Guest Editors: Alessandra Di Pierro and Margherita Zorzi Submission Deadline: June

[TYPES/announce] PhD student in Programming Languages at TU Delft

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, At TUDelft we have an open position for a PhD student in programming languages/formal verification. If you know suitable candidates, please refer them to the

[TYPES/announce] PhD position in Computational Mathematics at Stockholm University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Mathematics at Stockholm University invites applications for a PhD position in Computational Mathematics. A prospective student will have the opportunity to engage in