From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.2 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-wr1-x43c.google.com (mail-wr1-x43c.google.com [IPv6:2a00:1450:4864:20::43c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 5aa70525 for ; Thu, 23 May 2019 10:44:15 +0000 (UTC) Received: by mail-wr1-x43c.google.com with SMTP id r7sf2666101wrn.8 for ; Thu, 23 May 2019 03:44:15 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1558608254; cv=pass; d=google.com; s=arc-20160816; b=OiPzhcBkA42GGz1v2ifsJkuhs7BSrovLVH6pMXQI390iDsgvszIgnxlOjTknDjJzuD qNskmANPWJyO2Czqu1fDspwsDWkfTpeI43dLs7erbsp9O3JcbBOx411SjxP0aNPchyDg viUKU5vEKcXTDBLjgNDXZOuT5+fROJE85tDfIQ3sJsirPzaeu+TopTcbnqw+BlG0mhbj 4tp1CNUsU+hARGiceG8QP9QLn78eDSfb9mFUgfhx4bk/g703ILlkeNsWyBLS4/GXvZC/ ZvM0SM0jiBr/HbBEL1G9dhN3vlNH7K00F/qaZxyRhtsav1/toRjS5SiiwV3VMMiGeXgL YxmA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:date:message-id:subject:mime-version :from:sender:dkim-signature:dkim-signature; bh=osknC1ge42jtLFNjK2YEq+2v4fWz5YEIEpsaRoNoIyY=; b=tqBzFa6nm1zWDOBPZtpbVr/JhiUvxe+9j1Qgt9yjWJJGGoHFWB7lAknaNgJSVDlTk7 Ia2X7R3Sx4dMBNCeh5A5XDadE+L/4LWbiztCNdd7ETgF0dKajpzw7X7K63jmHSFSS5PI EwaJW6GC6H7Tj8zBV3tAF/U87XjOugZc5O5suhOUQ788V5p1RcnjgiF3kDFJPwGfzxhl lTcJNgSwl32p7RPexDK/IuVgXbhCiFcfNjT1MT6I8srozuqkbHEmh93BoA1fOkXb7lbw fTVi4F9Iqn+22b0/3XIai88wGqoxdvPwLQVAl/FhFw8dI2JLZhhW/zW2m9//+U3mpjvq MlrA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=gk74MQK6; spf=pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) smtp.mailfrom=sobocinski@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:mime-version:subject:message-id:date:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=osknC1ge42jtLFNjK2YEq+2v4fWz5YEIEpsaRoNoIyY=; b=HgSXcpVkmAXPSD+o0fnqJ1SUO9lH0xI/u3MI+hzFZcZqf8PjuPkBLp2l1EMfDg1M3c 31VWP4TCiz6KcqidPi3BZ235v/GavTuAJA8RxyU/FWIZghFAp0LGbBIqK+sV+w0va2N/ d5L1N6mUeXFeeG2D6Rji2MzLyI63QyphS2JzD6XIh84Nh5yK2TUiyX5ifcDiCtGWaTsa hgvNTE2VLOu7d7/bKB82ZV0S5Wjy7woI5TIc+YPQS3i8pXsokeFDVGMkEzdS7bZbkp34 5m6XlB+EpW7ysRgmYhL9pndpi3v2/R1jgzbzzYCZ/ayZ0z9Yr9/gPTAThKulZJ7++bNc K78g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:subject:message-id:date:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=osknC1ge42jtLFNjK2YEq+2v4fWz5YEIEpsaRoNoIyY=; b=X3BFwBw8e6F3tsK0gufyfk9p+G6T9cGMczIlEwq8ineQT8C+kBH9uyiB7fxkUXoJZJ UYDEDpZDIR5gYYIWsuLNkWkZITBXl//g4aOgAnk5vGCFo8DrK4yPeHktLTedg2NKOzGB 4uJG3p0bDiJNuVU/rxX3m//EHtfjgJgPr5o+GkiKMJ6OrdNJIClY0SQO3WX1hRD8vI54 Ud7zub43iBqoiDeUlP4c5LnzWyWYKka9WKKphuavKWSCJtuTiXyYXTmhfvM1vWcNV0lb xKpIzxUYBr0TNLCZZs3ytAyeDa5+PDb3w6+7DwcH/HBE8ocdmqxb70OqEiMYKBOaUtRp QI4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:subject:message-id:date :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=osknC1ge42jtLFNjK2YEq+2v4fWz5YEIEpsaRoNoIyY=; b=G5YYHOiu62QUjEwEq3Y5BhcIeh4SWtH1gpI6LKpczVlybyyBLAYUqkX3Ccya5MoqpR b5K83J+O1m+TmwnRwPvypq6KGx0MPCL64x3lqyjHeV2BzWZeG/oH/sKHxcUVAkCgdZme i/4CVmCD8qC9ekK0lauLmeAgVgxu68S8soLRbwUuhCNuVwyavDXB/ZhgaRNJsePBQHsI LlZ8MQBXfFLJB9JNmtVj7y1QOWl2nS+y95LUb5nYqGHkRu2X2xb2B++8XDv3jqakdm8T HduM2rxTStplr94macGv6f76PObW1F1ZF0R0tt277d+o69BKHeX9kBjWDBV/zinUZ088 nUBA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAULeXKGInhAARaQNuvyLG5VlAEWPDxedrVftClo3O0usgsMVG/m EpYdtaZfuqVaqIivFyHJnuY= X-Google-Smtp-Source: APXvYqwn3I+X0esYlwf3x9j4uBEU24Ir1HtfWThaogIU0A+3QPgua0jGl7YorNFBNEkAPK9SrZrU1g== X-Received: by 2002:adf:cd11:: with SMTP id w17mr24858397wrm.83.1558608254649; Thu, 23 May 2019 03:44:14 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:c18b:: with SMTP id x11ls1405526wre.15.gmail; Thu, 23 May 2019 03:44:14 -0700 (PDT) X-Received: by 2002:a5d:53c6:: with SMTP id a6mr34509252wrw.232.1558608254238; Thu, 23 May 2019 03:44:14 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1558608254; cv=none; d=google.com; s=arc-20160816; b=CsMM9Fr2/V+eL+UvaddDNRS8vzoSZrTXUyvuf5QsX5zhPbyw/UX6lFJICxTD3JS4aE jvOqoYXDAKl8ZrbGgnxqOs58OPEKu+9ih8e7g5VuiryD3yGJfLBDpgw64TsS99Xxq2Zt ZW+mLsHqZjPssYQSEeSL2EahO+3CiUSlLxWialZ8X+lo1LU9fsBtcBMNfrxQOpLL82Mo Aye6czKrwn6rU3d7xo7EhWY/R20awnUjr39JsjFMJ+Hcd2Wcxn7el0cOsIzz0nPgk9Uh ibbRgRnFwg7ZDM7/cOYJKxicVl1zeJdYT0FyyJ9aJD2buWrEAduvhJI4+/OV94WQh2ag OkfQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:dkim-signature; bh=RXOj6VBOeWK/GwjGDxMix7ZULII3SlbXYlCHh0E8qnk=; b=EaFmpMnvPgE0rLO6GnzqkF4OUJU745/wrnLxIFYd8Q8x4HL1ganvNLqqSGUsMykFsq hayY7QGInQcP4mByWYMZm0eKtr5Eq/W0XVbIUXAjVRhO4e+TawyWjHaiWhQXrw0/102N YMFfp9nZJ8KbMY2P0e7dLGuwRjWQZQJCr+OhQChj2brAhvm3GmDaFTAe5gQr2vfQlRUG p4IuHPNrvphd0eNezoFBy2plkCm8rFjQLR+UFBEzc6qnWJPK/jjBTJXQlUki1OL/hfsq VncCFAxmkXlOw3r+fUQtyek5NgCyJaaCgYF+fu/eCtgLTmYqvV1BQZPaOwqMq+fFXH31 P4RA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=gk74MQK6; spf=pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) smtp.mailfrom=sobocinski@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x42e.google.com (mail-wr1-x42e.google.com. [2a00:1450:4864:20::42e]) by gmr-mx.google.com with ESMTPS id h189si243649wmh.2.2019.05.23.03.44.14 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 23 May 2019 03:44:14 -0700 (PDT) Received-SPF: pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) client-ip=2a00:1450:4864:20::42e; Received: by mail-wr1-x42e.google.com with SMTP id t7so5403357wrr.10 for ; Thu, 23 May 2019 03:44:14 -0700 (PDT) X-Received: by 2002:a5d:4b81:: with SMTP id b1mr33340061wrt.217.1558608253532; Thu, 23 May 2019 03:44:13 -0700 (PDT) Received: from ?IPv6:2001:630:d0:8e0e:39d2:7a54:1c23:1d7d? ([2001:630:d0:8e0e:39d2:7a54:1c23:1d7d]) by smtp.gmail.com with ESMTPSA id b12sm17923772wmg.27.2019.05.23.03.44.12 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 23 May 2019 03:44:12 -0700 (PDT) From: Pawel Sobocinski Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\)) Subject: [HoTT] Postdoc positions in compositionality and applied category theory Message-Id: <03377C88-3B5D-47E5-9F0E-EF82126433A7@gmail.com> Date: Thu, 23 May 2019 11:44:11 +0100 To: "HomotopyTypeTheory@googlegroups.com" X-Mailer: Apple Mail (2.3445.104.8) X-Original-Sender: sobocinski@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=gk74MQK6; spf=pass (google.com: domain of sobocinski@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) smtp.mailfrom=sobocinski@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , Applications are invited for several postdoctoral researcher positions in the Department of Software Science at Taltech (Tallinn University of Technology) working with Pawel Sobocinski on compositionality and applied category theory. Compositionality describes and quantifies how compound systems can be assembled out of their constituent parts in a way that respects the underlying semantics. Compositional design is necessary for trustworthy software and leads to the development of correct and efficient data structures and algorithms. The inter-disciplinary group will work on compositional approaches to various application domains, including models of concurrency, control theory and cyber-physical systems, game theory, relational algebra and database theory, and machine learning. The language and techniques of category theory will serve as a connecting and unifying lingua franca, with an emphasis on the use of string diagrams and diagrammatic reasoning. The group will focus on theoretical as well as practical aspects, including tool development. The project is part of a research measure of the Estonian IT Academy programme, funded by the Estonian state and the European Social Fund. Qualifications -------------- The ideal applicants will have a PhD in Computer Science (or related field), strong background in at least one application area as well as in category theory. Experience in programming and software engineering is also desirable. In addition to research, the successful applicants will be expected to contribute to creating a fertile and exciting intellectual environment, participate and help with the organisation of a weekly seminar with invited external speakers from Europe and overseas, and help in organising and hosting regular international scientific events. There will also be opportunities to recruit and co-supervise masters and doctoral students, interact with local industry and with the general public through outreach activities. Tallinn and Taltech ------------------- Tallinn, a historically important Hansa trading port has its charming old town listed on the UNESCO World Heritage List. In recent years it has become one of the fastest-growing IT hubs and one of the most active startup scenes in Europe. The working languages at Taltech are Estonian and English. Further details and application procedure ----------------------------------------- Compensation will competitive wrt to European standards, and commensurate with experience. The positions will start on a mutually agreeable date from September 2019 and last for two years, with the possibility of an extension. Interested candidates are invited to contact Pawel Sobocinski (pawel@cs.ioc.ee) for any questions. To apply, the candidate should send a CV, a research statement (maximum 3 pages) and the names and contact details of two people who can be contacted for a reference to pawel@cs.ioc.ee by June 21, 2019. -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/03377C88-3B5D-47E5-9F0E-EF82126433A7%40gmail.com. For more options, visit https://groups.google.com/d/optout.