[TYPES/announce] Call for PhD Students on the topics of MDE/Domain-specific Languages and Blockchains in Innovation and Entrepreneurship

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for PhD Students === Topics: MDE/DSLs & Blockchain University of Porto, Portugal https://web.fe.up.pt/~ffcorreia/grant-brpx/ = This grant is off

[TYPES/announce] Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (* Apologies if you got multiple copies of this email *) Funded Doctoral Positions in Computer Science [http://logic-cs.at/phd/] TU Wien, TU Graz, and JKU Linz are seeking exceptionally

[TYPES/announce] Call for PhD students

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I am writing to inform you that the IT University of Copenhagen is looking for outstanding PhD applicants in the areas of Programming languages, automated reasoning, logical