[TYPES/announce] Research position in Formal Verification at HENSOLDT Cyber in Munich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, A job opening for a "Researcher (in) Formal Verification" is being advertised at Hensoldt Cyber GmbH at the outskirts of Munich, Germany. If you would like to contribute to maki

[TYPES/announce] PhD position in HoTT/UF at TU Delft

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A PhD position [1] is open in the Programming Languages group [2] at TU Delft, in the area of HoTT/UF. The student will be supervised by Benedikt Ahrens [3]. Information about the positio

[TYPES/announce] Logic and Interactions 2022 (Marseille, France) -- Early announcement

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear announcements list, I'm sending this message on behalf of Lionel Vaux. [ Please distribute, apologies for multiple postings. ] =

[TYPES/announce] ACKERMANN AWARD 2021: 2nd and final Call for Nominations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACKERMANN AWARD 2021 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS (Note: there are no changes since the first call for nomination. However,

[TYPES/announce] Two PhD positions and Two Postdoc positions in Logic (Groningen) *15 June 2021 deadline*

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, Helle Hvid Hansen and Revantha Ramanayake have several PhD and postdoc positions available - please see below for details. Best regards, Jorge **

[TYPES/announce] TYPES 2021: Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation TYPES 2021 27th International Conference on Types for Pro

[TYPES/announce] PhD positions in Grenoble, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The VERIMAG laboratory in Grenoble (http://www-verimag.imag.fr/ ) is seeking several outstanding PhD candidates to fill 3-years funded positions on the followin