[TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University is looking for candidates interested in conducting independent research in the area of formal analysis of autonomous cyber-physical systems (ACPS). The candidate will work on developing a new generation of design and verification techniques, rooted in formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under uncertainty. This position is funded by the Wallenberg AI, Autonomous Systems, and Software Program (WASP https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jnbinv8vw$ ). WASP is Sweden’s largest individual research program and provides unique opportunities for achieving international research excellence with industrial relevance. More information can be found under the following link: https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=11984=UK__;!!IBzWLUs!SFoj_UDcs-9bO1QusW4oue17NGOr7VteYUBZDlGkNur53j6-BZmV8AHjbDzdWJQPB6H5sFIwAX_pwCEtRw8EgZVk2Jmmntkfew$ -- Hazem Torfah Assistant Professor Computing Science Division Chalmers University of Technology EDIT building | Floor 6V Office 6476 412 96 Gothenburg, Sweden haze...@chalmers.se
[TYPES/announce] Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are seeking a postdoc researcher, who works at Kyoto University, Japan for a project "Zero-Trust IoT Systems by Collaboration of Formal Verification and System Software" by Japan Science and Technology Agency. This is a great opportunity for programming language researchers who wish to pursue novel real-world applications. We'd appreciate you spreading the word to interested candidates. * Project Description The project aims at the construction of formally verified secure IoT systems that follow the concept of "zero trust architecture", dubbed ZT-IoT systems. It consists of four research teams, and one of the teams is led by Atsushi Igarashi, Kyoto University, investigating applications of formal verification or programming language techniques to the construction of secure IoT systems: more concretely, the design and theory of security policy engines for ZT-IoT systems, including the design of a language to describe security policies and policy enforcement algorithms and the techniques for verifying policy enforcement algorithms against given security policies. Other team members are Kohei Suenaga and Masaki Waga at Kyoto University. The team closely collaborates with another team, led by Taro Sekiyama, National Institute of Informatics, Japan (NII), together with Ichiro Hasuo and Shin-ya Katsumata at NII. The appointment can start as early as May 2023 (the starting date is negotiable). The contract will initially run until the end of March 2024, with the possibility of annual renewal until the end of the project, which is March 2027 at maximum. The salary will be about 360,000–550,000 JPY/month. Applicants should have a Ph.D. in computer science or related fields, and have a strong background in formal verification and/or programming language theory. Due to the project's nature, they are required to have strong interests in applying theory to practice; they should also be (self-)motivated, dedicated, and able to work both independently and collaboratively. Strong communication skills in oral and written English are required. * Workplace Kyoto University, Kyoto, Japan. (Living costs in Japan are not very high nowadays. An estimate is found here https://urldefense.com/v3/__https://www.numbeo.com/cost-of-living/in/Kyoto__;!!IBzWLUs!RZqosDtp4fKwCflk3IWqWczBNvdhApfQEp9FN69OPcnJVccw86R-k5hllnI5Ae1xdn3s9q60aTOFQAZKrDSWTKF7qN6L5FPagwEO4XIgOg$ .) * Applications and inquiries Inquiries can be sent to application-zt-iot [at] fos.kuis.kyoto-u.ac.jp, with the subject CREST Job Inquiry. Feel free to ask us any questions on relevance, topics, compensation, etc. We will reply when we see enough relevance. Applications should be made electronically via the following JREC-IN Portal websites. https://urldefense.com/v3/__https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3=D123010461_jor=0__;!!IBzWLUs!RZqosDtp4fKwCflk3IWqWczBNvdhApfQEp9FN69OPcnJVccw86R-k5hllnI5Ae1xdn3s9q60aTOFQAZKrDSWTKF7qN6L5FPagwFcTzOomw$ Please upload a pdf, including - your brief CV, - short description of research interests (can be very informal and short), - the list of papers (a dblp or Google scholar link will do, for example), - a couple of representative papers (in pdf), and - (preferably) the contact of two references. We will contact you for further material and an interview, provided that we find sufficient relevance in your application. Starting dates are negotiable. The positions will remain open until filled. Best, Atsushi Igarashi
[TYPES/announce] Postdoc Position in Formal Verification
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers a fully-funded Postdoc position in formal verification The successful candidate is expected to work on tool-supported formal verification of security-critical systems and security protocols. The position is available immediately with an internationally competitive salary (German public salary scale TV-L E13 or TV-L E14, depending on the candidate's qualification, ranging from about 4.600 Euro to 6.200 Euro monthly gross salary). The appointment period follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging from one year to up to six years. The Institute of Information Security offers a creative international environment for top-level international research in Germany's high-tech region. The successful candidate should have a Ph.D. (or should be very close to completion thereof) in Computer Science, Mathematics, Information Security, or a related field. We value strong analytical skills and - solid knowledge of logic, proofs and/or formal verification techniques (Theorem Proving, Type Checking, etc.), - solid programming experience. Knowledge in security is not required, but a plus. Knowledge of German is not required. The University of Stuttgart is an equal opportunity employer. Applications from women are strongly encouraged. Severely challenged persons will be given preference in case of equal qualifications. To apply, please send email with subject "Application: Postdoc Position Formal Verification" and a single PDF file containing the following documents to ralf.kuest...@sec.uni-stuttgart.de: * Cover letter (explaining your scientific background and your motivation to apply) * Curriculum Vitae * List of publications * Copies of transcripts and certificates (Bachelor, Master, PhD) * Names of at least two references The deadline for applications is October 31st, 2021. Late applications will be considered until the position is filled. See https://urldefense.com/v3/__https://sec.uni-stuttgart.de/__;!!IBzWLUs!Go5GoU6GW0_u-STe-GsXubd-ARSgxsdKHQlSHfAeOTwWGrUX-iBX4zVsts8ItYoc7loZnIPpW48uow$ for more information about the institute. See https://urldefense.com/v3/__https://www.sec.uni-stuttgart.de/institute/job-openings/__;!!IBzWLUs!Go5GoU6GW0_u-STe-GsXubd-ARSgxsdKHQlSHfAeOTwWGrUX-iBX4zVsts8ItYoc7loZnIN7yBIyHw$ for the official job announcement. For further information please contact: Prof. Dr. Ralf Küsters, ralf.kuest...@sec.uni-stuttgart.de. -- Prof. Dr. Ralf Küsters Institute of Information Security - SEC University of Stuttgart Universitätsstraße 38 D-70569 Stuttgart Germany https://urldefense.com/v3/__https://sec.uni-stuttgart.de__;!!IBzWLUs!Go5GoU6GW0_u-STe-GsXubd-ARSgxsdKHQlSHfAeOTwWGrUX-iBX4zVsts8ItYoc7loZnIP-YlExvA$ Phone: +49 (0) 711 685 88283
[TYPES/announce] Postdoc Position in Formal Verification
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers a fully-funded Postdoc position in formal verification The successful candidate is expected to work on tool-supported formal verification of security-critical systems and security protocols. The position is available immediately with an internationally competitive salary (German public salary scale TV-L E13, or TV-L E14, depending on the candidate's qualification, ranging from about 4.600 Euro to 6.200 Euro monthly gross salary). The appointment period follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging from one year to up to six years. The Institute of Information Security offers a creative international environment for top-level international research in Germany's high-tech region. The successful candidate should have a Ph.D. (or should be very close to completion thereof) in Computer Science, Mathematics, Information Security, or a related field. We value strong analytical skills and - solid knowledge of logic, proofs and/or formal verification techniques (Theorem Proving, Type Checking, etc.), - solid programming experience. Knowledge in security is not required, but a plus. Knowledge of German is not required. The University of Stuttgart is an equal opportunity employer. Applications from women are strongly encouraged. Severely challenged persons will be given preference in case of equal qualifications. To apply, please send email with subject "Application: Postdoc Position Formal Verification" and a single PDF file containing the following documents to ralf.kuest...@sec.uni-stuttgart.de: * Cover letter (explaining your scientific background and your motivation to apply) * Curriculum Vitae * List of publications * Copies of transcripts and certificates (Bachelor, Master, PhD) * Names of at least two references The deadline for applications is August 1st, 2021. Late applications will be considered until the position is filled. See https://sec.uni-stuttgart.de/ for more information about the institute. See https://www.sec.uni-stuttgart.de/institute/job-openings/ for the official job announcement. For further information please contact: Prof. Dr. Ralf Küsters, ralf.kuest...@sec.uni-stuttgart.de. -- Prof. Dr. Ralf Küsters Institute of Information Security - SEC University of Stuttgart Universitätsstraße 38 D-70569 Stuttgart Germany https://sec.uni-stuttgart.de Phone: +49 (0) 711 685 88283
[TYPES/announce] Postdoc position in formal verification for formal compositional contracts
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deon Digital and DIKU are looking for a postdoc in formal verification for formal compositional contracts in a domain-specific language specifying rules (obligations, permissions, prohibitions) without conflating these with specific execution strategies (as done in smart contracts). Contracts are hosted on a variety of blockchain/distributed ledger systems. The postdoc is to develop proof-assisted semantic foundations and verification technology (for example--but not necessarily--in Coq) for guaranteed sound contract analysis and reasoning, ranging from basic security and privacy properties to quantitative analysis of resources and time constraints to guard against both errors and traps in (smart) contracts. Application: Now until June 10th, 2018. Position: The postdoc is a 2-year position co-funded by Deon Digital and the Danish Innovation Foundation; it carries a competitive salary, advantageous tax status for researchers moving to Denmark, and shares in Deon Digital; it is automatically converted into a permanent position at Deon Digital after the postdoc period. The postdoc will work with Prof. Fritz Henglein and his colleagues at the Programming Languages and Theoretical Computer Science section at DIKU; and with Dr. Jesper Andersen at Deon Digital Denmark and his team at Deon Digital Denmark (all of whom are computer scientists with a background in semantics-based programming language theory and technology). Requirements: Relevant Ph.D. in computer science, awarded by end of June 2018, with documented high research quality. Maximum 6 months of work in private sector since start of Ph.D. studies (requirement by funding agency). Interest in working in congenial, self-organizing environments at both Deon Digital and DIKU. Flexible remote work from home is possible in the beginning, but an eventual move to Copenhagen is expected. Application: If you are interested in the position, please send your CV, 1-3 papers, and (links to some of) your open source software contributions (if any) by email to Fritz Henglein, hengl...@diku.dk. The position is open now. Applications will be accepted from now until June 10th, 2018; they will be processed on an ongoing (first-come) basis. DIKU (diku.dk) is the Department of Computer Science at the University of Copenhagen with 40+ junior and senior faculty researching fundamentals and applications of algorithms, programming languages and systems, data science, machine learning, image processing, human-computer interaction, and more. DIKU's research is consistently ranked highly. Its newly formed section on Programming Languages and Theoretical Computer Science is located on the North Campus in Copenhagen, 15 minutes (by bicycle or public transportation) from Deon Digital's R center. Deon Digital (deondigital.com) is a rapidly growing Zürich-based start-up developing domain-specific language technology for blockchain/distributed ledger-hosted contracts, with applications in finance, insurance, pensions, mobility (transportation), logistics, supply chain, commodity trading and more. Its research and development center is located in the Christianshavn section of Copenhagen, close to DIKU, the city center and 10 minutes from Copenhagen airport.