[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.
[TYPES/announce] RDP 2015 Second Call for Workshops
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [apologies for cross posting] --- RDP 2015 Second Call for Workshops (Rewriting, Deduction, and Programming, June-July 2015, Warsaw, Poland) --- RDP 2015 is the eighth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences * RTA (Rewriting Techniques and Applications) * TLCA (Typed Lambda Calculi and Applications) Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen (Germany), 2005 in Nara (Japan), 2007 in Paris (France), 2009 in Brasilia (Brasil), 2011 in Novi Sad (Serbia), 2013 in Eindhoven (The Netherlands). We solicit proposals for satellite workshops of RDP 2015 that are related in topics to one or both of the RDP conferences. We plan the workshops to proceed for up to 2 days (possibilities of longer workshops should be discussed with the organisers). It is tradition at RDP that attendance to workshops is open to participants of parallel events, similar to the way FLoC workshops are run. There will be one day (Sunday, June 28, 2015) reserved for workshops only, however, it will also be possible to run workshops on the other days in parallel to one of the main conferences. RDP will provide the possibility to print workshop proceedings, details of the procedure will be posted later by the local organising committee. RDP will not be able to reimburse invited workshop speakers for travel or living expenses, though it may be possible to waive part of the registration fees for invited speakers. The priority of RDP will be to keep registration fees for the conferences and workshops low. If you want to organise a workshop, please send the following information to rd...@mimuw.edu.pl: * Workshop title and description of the topic * Names and affiliations of the organisers * Pointers to descriptions of previous editions of the workshop, if any * Proposed workshop duration (from one day to two days) * Proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.) * Plans for invited speakers or special sessions (round-table discussion, tutorials, etc.) * Estimate of the audience size * Procedures for selecting papers and participants * Plans for the publication of proceedings (informal proceedings distributed to participants, electronic journal, proceedings with separate selection process, etc.) * Other potential organisational issues IMPORTANT DATES Submission of workshop proposals: November 18, 2014 (Tuesday) Notification date: November 26, 2014 (Wednesday) Workshop dates: June 28-July 3, 2014 (Sunday-Friday) CONTACT INFORMATION Questions regarding workshop proposals should be sent to rd...@mimuw.edu.pl. RDP 2015 MAIN ORGANISER Aleksy Schubert http://www.mimuw.edu.pl/~alx/ Faculty of Mathematics, Informatics and Mechanics University of Warsaw