[TYPES/announce] Postdoc Position in Testing AI Ethics at King's College London
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Associate in Testing AI Ethics at King's College London Vacancy terms: Full time, fixed term contract for 18 months Salary: £38,826 per annum, including London Weighting Allowance Deadline : 15 September 2022 Application link: https://urldefense.com/v3/__https://jobs.kcl.ac.uk/gb/en/job/049688/Research-Associate-in-Testing-AI-Ethics__;!!IBzWLUs!Wd037xsBfW7AStKnlyn6V4K1dYt3j8c9j1azBFKGMHsKFEqdL6ib8P0r1H9XvTdhrKbudbtLF28t6DVMEMgZtH0hY-pATf-DQBU$ Job description Within the UKRI Trustworthy Autonomous System Node on Verifiability, we have an exciting opening for a postdoctoral researcher on testing ethical aspects of AI. These include testing aspects such as fairness and bias, as well as privacy and explainability. You will be working within a vigorous multi-disciplinary environment of the Trustworthy Autonomous System program with researchers across many disciplines designing and verifying the autonomous systems of the future. You will be using and advancing the state of the art in testing (validation and verification) methods to provide assurances of ethical decision making i n sub-symbolic AI components, such as neural networks and statistical machine learning techniques. This post will be offered on a fixed-term contract for 18 months This is a full-time post - 100% full time equivalent Key responsibilities Developing world-leading research results in collaboration with the team, on testing ethical concerns on AI; Developing a comprehensive and rigorous set of requirements for such ethical concerns; Developing public benchmarks and datasets for evaluating the developed techniques and their future alternatives; Coordinating the related activities within the team and within the larger project and program. The above list of responsibilities may not be exhaustive, and the post holder will be required to undertake such tasks and responsibilities as may reasonably be expected within the scope and gradin g of the post. Skills, knowledge, and experience Essential criteria A doctoral degree in Computer Science, Software Engineering, or closely related fields (also candidates with their dissertations submitted or under submission will be considered). Solid track record of study and research in software engineering and software testing (validation and verification) Proficiency in programming; familiarity with AI frameworks Possessing analytical skills; basic knowledge of statistical methods Desirable criteria Affinity with ethical theories and their formalisation Affinity with formal verification and mathematical modelling techniques
[TYPES/announce] Last CfP: FM 2023 - 25th International Symposium on Formal Methods (strict deadline: Sept. 4, 2022)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross-postings] Call for Papers FM 2023: 25th International Symposium on Formal Methods Lübeck, Germany, March 6-10, 2023 https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/__;!!IBzWLUs!T9o6OwGXhaIfnKOz28gHtZ-U4Ts8Hsry67J2dw5V2pUSfmXzo3eExxppM_9s7VkUMHhtwluV2HbzIHXbVWukHwekxJdOC27f3Sz5nA$ == FM 2023 is the 25th international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia have been successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2023 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences. =Important Dates= Abstract submission: September 4, 2022, 23:59 AoE (firm) Full paper submission: September 11, 2022, 23:59 AoE (firm) Notification:November 15, 2022 Artefact submission: November 20, 2022, 23:59 AoE (firm) Camera ready:December 11, 2022, 23:59 AoE (firm) Conference: March 6-10, 2023 =Topics of Interest= FM 2023 will highlight the development and application of formal methods in a wide range of domains including trustworthy AI, software, computer-based systems, systems-of-systems, cyber-physical systems, security, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, healthcare and biology. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of applying formal methods in industrial settings, and on the design and validation of formal method tools. The topics of interest for FM 2023 include, but are not limited to: Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. We explicitly welcome submissions to the special FM 2023 session on "Formal methods meets AI", which is focused on formal and rigorous modelling and analysis techniques to ensuring safety, robustness etc. (trustworthiness) of AI-based systems. =Submission Guidelines= Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=fm2023__;!!IBzWLUs!T9o6OwGXhaIfnKOz28gHtZ-U4Ts8Hsry67J2dw5V2pUSfmXzo3eExxppM_9s7VkUMHhtwluV2HbzIHXbVWukHwekxJdOC26ba7T_hg$ Each paper will be evaluated by at least three PC members. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers and tool demonstration papers should explain enhancements made compared to previously published work. A tool demonstration paper need not present the theory behind the tool, but can focus on the tool’s features, how it is used, its evaluation, and examples and screenshots illustrating the tool’s use. Authors of tool and tool demonstration papers
[TYPES/announce] FoPSS 2023 - Preliminary Announcement and Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are very pleased to spread the first information about the 4th edition of the School on Foundations of Programming and Software Systems, to be held in Bertinoro on February 13-17, 2023. This will be the first edition of the school after the beginning of the COVID pandemic. The previous editions of the school took place in Porto [1], Oxford [2], and Warsaw [3]. The school is oriented to Master and PhD students, and to young scholars. It will be held at CEUB [4], which can be reached from Bologna in about 90 minutes. (We are considering, depending on the number of participants, to organize bus transfers to and from Bologna Airport on February 12 and 18, 2023). The main theme of this edition of FoPSS are the quantitative aspects of program semantics, verification, and transformation. The following researchers have accepted to give short courses or seminars as part of the school: Deepak Garg (MPI-SWS), on "Resource Analysis Using Types" Marco Gaboardi (Boston University), on "Relational Reasoning for Security and Privacy" Benjamin Kaminski (Saarland University), on "Quantitative Verification, Transformer-style" Delia Kesner (Université de Paris), on "Quantitative Types for Higher-Order Programming Languages" Aleks Kissinger (Oxford), on "Picturing Quantum Software" Damiano Mazza (CNRS), on "Introduction to Differentiable Programming" Prakash Panangaden (McGill), on "Bisimulation Metrics and Variations with Applications to Representation Learning" Christin Tasson (Sorbonne Université), on "Probabilistic Program Semantics" Valeria Vignudelli (CNRS), on "Equational Theories for Probabilistic Effects" Registration will cover participation to the school and accommodation at CEUB with half board. Thanks to the help of sponsors (including ETAPS, SIGLOG, SIGPLAN, the University of Bologna, and the DIAPASoN Project), we plan to keep the registration fee as low as possible. The reception capacity of the CEUB is big, but subject to limits. We therefore encourage those interested in participating to the school to pre-register by following the link below [5] and fill the form *by September 22, 2022*. This we will us to keep track of the numbers. A web page with more detailed information will soon be ready and accessible via [5]. We would be happy to answer any questions about the organization of the school. Just send us an email! Looking forward to seeing you in Bertinoro. Best Regards, Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone. [1] https://urldefense.com/v3/__https://probprogschool2017.di.uminho.pt/__;!!IBzWLUs!QKTVEoBmwAruU5WiIIQ6HCZ7hKhPYNyQ6W0U21W3qdfAtre-Cg3WFMkBOxIf_3fCqg7fAEplu6ZLo9wQfG6bSVGL3zX1uS0BtEGj$ [2] https://urldefense.com/v3/__https://www.floc2018.org/fopss/__;!!IBzWLUs!QKTVEoBmwAruU5WiIIQ6HCZ7hKhPYNyQ6W0U21W3qdfAtre-Cg3WFMkBOxIf_3fCqg7fAEplu6ZLo9wQfG6bSVGL3zX1ub660Obb$ [3] https://urldefense.com/v3/__https://www.mimuw.edu.pl/*fopss19/__;fg!!IBzWLUs!QKTVEoBmwAruU5WiIIQ6HCZ7hKhPYNyQ6W0U21W3qdfAtre-Cg3WFMkBOxIf_3fCqg7fAEplu6ZLo9wQfG6bSVGL3zX1uUPgRwgv$ [4] https://urldefense.com/v3/__https://www.ceub.it/?lang=en__;!!IBzWLUs!QKTVEoBmwAruU5WiIIQ6HCZ7hKhPYNyQ6W0U21W3qdfAtre-Cg3WFMkBOxIf_3fCqg7fAEplu6ZLo9wQfG6bSVGL3zX1uU0IUt_E$ [5] https://urldefense.com/v3/__https://forms.gle/Z5sinvogkApZrgqaA__;!!IBzWLUs!QKTVEoBmwAruU5WiIIQ6HCZ7hKhPYNyQ6W0U21W3qdfAtre-Cg3WFMkBOxIf_3fCqg7fAEplu6ZLo9wQfG6bSVGL3zX1uSFuRCmM$