[TYPES/announce] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a strong PhD-candidate at Aarhus University (DK). There may be possibilities for a postdoc position. Please contact me for more information. Project “Verified voting

[TYPES/announce] Researchers, Computer Science, Aarhus University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] https://cs.au.dk/research/centers/concordium/vacancies/ Concordium Blockchain Research Center Aarhus (COBRA) is looking to fill several full-time research positions to work at Computer

[TYPES/announce] Assistant Professors (tenure-track) or Associate Professors in Computer Science at Aarhus University, Denmark

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science (http://cs.au.dk/) at Aarhus University is looking for excellent and visionary tenure track Assistant Professors or Associate Professors to push the

[TYPES/announce] Concordium is hiring

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Concordium is the first ID/KYC ready blockchain network. Concordium focuses strongly on software quality and uses languages such as haskell, rust and Coq. There are a number of positions

[TYPES/announce] Research positions in cryptography, blockchain, and formal verification at Aarhus

ård, i...@cs.au.dk - Jesper Buus Nielsen, j...@cs.au.dk - Claudio Orlandi, orla...@cs.au.dk - Bas Spitters, spitt...@cs.au.dk

[TYPES/announce] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming

/august-2018/type-theory-probabilistic-computation-and-computer-aided-cryptography-proofs/ Application deadline 1 August 2018 at 11.59 PM MET Related publications include: * Florian Faissole and Bas Spitters, Synthetic topology in Homotopy Type Theory for probabilistic programming http

[TYPES/announce] Book: Homotopy Type Theory: Univalent Foundations of Mathematics

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I am very happy to announce the first public release of: Homotopy Type Theory: Univalent Foundations of Mathematics by Univalent Foundations Project at Institute for Advanced

[TYPES/announce] Announcement: Fourth Workshop on Formal Topology (4WFTop) and Workshop on higher dimensional algebra, categories and types (HDACT)

of Science and Technology) * Davorin Lešnik (TU Darmstadt) * Claudio Sacerdoti Coen (University of Bologna) * Alex Simpson (University of Edinburgh) * Bas Spitters (Radboud University Nijmegen) * Paul Taylor (United Kingdom) PROGRAM COMMITTEE * Andrej Bauer (chair, University of Ljubljana) * Thierry