[TYPES/announce] 14 PhD positions in Austria within the SPyCoDe Special Research Program
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 14 PhD positions are available in Austria within the SPyCoDe Special Research Program (https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tfhrxegU$ ). SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design) is a special research program funded by FWF. The collaborating research institutions are * TU Wien * IST Austria * Universität Wien * TU Graz * Universität Klagenfurt The security and privacy (S) by design principle states that data protection should be considered since the early design of digital technologies, making S a cornerstone in digitalization. SPyCoDe aims at creating the technological foundations for designing complex, multi-layer systems with provable S guarantees. This goal is highly interdisciplinary, integrating computer-aided verification, system security, and cryptography, and touching on further fields, like networks, game theory, and blockchains. The cornerstone of our approach is the specification and enforcement of S at the level of the interfaces between layers in order to establish end-to-end S guarantees in a compositional way. SPyCoDe combines scientific excellence and interdisciplinarity. The team members are world-class researchers, whose prior work in the field led not only to groundbreaking theoretical contributions but also to immediate, large-scale industrial adoption. A unique feature of SPyCoDe is the combination of world-class basic research in a timely topic with immediate, large-scale industrial impact. Entry level salary as a predoctoral researcher is covered by level B1 of the Austrian Collective Agreement for university staff, and receives a minimum of currently EUR 2.196,75/month gross, 14 times/year for 30 hours/week and EUR 2.929,00/month for 40 hours/week (about EUR 28.675/year net). Relevant working experiences may increase the monthly income. The application for SPyCoDe is open until November 1st, 2022. The expected start is January 1st, 2023. For further details, please look at https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tfhrxegU$ . Applications are exclusivity to be conducted online at https://urldefense.com/v3/__https://tools.spycode.at/recruiting/call/1__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tPciOBRQ$ . In case of any questions, please contact Olha Denisova at recruiting-questi...@spycode.at .
[TYPES/announce] Two postdocs in Type theory for mathematics and computer science
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All The logic and types group at Chalmers and Gothenburg university is now recruiting two postdocs to work on type theory for mathematics and computers science together with Prof. Thierry Coquand and others in the group. The project is about the study of dependent type theory extended with univalence and higher inductive types. It can range from theoretical studies of models to actual formalisations of mathematics in a proof system (such as Agda), or working on design of proof assistants incorporating the advances brought by the connections with homotopy theory. Please consider applying for the position and help distributing this information to people you think could be interested. _Deadline for application: October 26th 2022._ For more information please visit https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7=UK=9b89bead79bb7258ad55c8d75228e5b7_id=27429__;!!IBzWLUs!Re9hqrNB4c-BkvGJSLkR1AHtxIomQzO792WzHdrfO4BWbuWs0HC01Nu0Ifcw5Gn65QwVGuNhNdrBTZP8X2bagTybL3AuwA$ Thanks! -- -- Ana Bove, Docent Phone: (46)(31) 772 1020 https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!Re9hqrNB4c-BkvGJSLkR1AHtxIomQzO792WzHdrfO4BWbuWs0HC01Nu0Ifcw5Gn65QwVGuNhNdrBTZP8X2bagTysSF-ojg$ Department of Computer Science and Engineering Chalmers Univ. of Technology and Univ. of Gothenburg
[TYPES/announce] [Deadline Extension] The 33rd Nordic Workshop on Programming Theory, NWPT '22
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 33rd Nordic Workshop on Programming Theory, NWPT '22 2-4 November 2022, Bergen, Norway https://urldefense.com/v3/__https://nwpt.w.uib.no/__;!!IBzWLUs!Q_sKy6_znmQAQkD_dF9EtE2k9MMyw5YPFHf7GPfQ1XBd5PohyKNUIdWIF5mRgrVo-Cwav9XopExDPBD9cc7IaQWRcKj1ekbAlS8$ -- Important dates (AoE) Submission of abstracts: 2 October 2022 23:59 AoE 9 October 2022 23:59 AoE Notification: 17 October 2022 Early bird registration: before 17 October 2022 Regular registration: before 24 October 2022 Final versions: 31 October 2022 Conference dates: 2-4 November 2022 -- NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2022, the workshop will take place in Bergen, Norway. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute. Topics of interest include (but are not limited to) - semantics of programming languages, - programming language design and programming methodology, - programming logics, - formal specification of programs, - program verification, - program construction, - tools for program verification and construction, - program transformation and refinement, - real-time and hybrid systems, - models of concurrency and distributed computing, - model-based testing, - language-based security. Contributed talks Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by 02 October: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=nwpt22__;!!IBzWLUs!Q_sKy6_znmQAQkD_dF9EtE2k9MMyw5YPFHf7GPfQ1XBd5PohyKNUIdWIF5mRgrVo-Cwav9XopExDPBD9cc7IaQWRcKj1YKYOEcU$ Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content. Organizers Mikhail Barash, Crystal Chang Din, Håkon Robbestad Gylterud, and Magne Haveraaen Contact the organisers at nwpt...@uib.no