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=-0.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-yw1-xc40.google.com (mail-yw1-xc40.google.com [IPv6:2607:f8b0:4864:20::c40]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 5c26de6f for ; Sat, 5 Oct 2019 22:18:13 +0000 (UTC) Received: by mail-yw1-xc40.google.com with SMTP id p205sf9485320ywc.14 for ; Sat, 05 Oct 2019 15:18:13 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1570313891; cv=pass; d=google.com; s=arc-20160816; b=Ze8OtPFTBQDkAOFrBC3EcwABxKZTP78GdO8w6GfloDVhKDBL4YeudOcG41tv+6QiGZ d9A+7OQN1rFflHH65nZnTVTMk5v9/WOxvi1oxrlzZKqyoCaH5nFSRLD/2f3wP0qdTal+ BNXNg2GrjF6ZKQDmXIGuRIjo/R8xSHqhshMKqhGqSr7xUXqjQ8FnefEtOCxyQYQn1RZs 3W8bN3GBVgMOzHdEyYs4a4HPC6Wcby6T+mMfxELOQ4zaP6JS/ykWVzxdgEGuCH1Zljxg 42HDDiHJ/vBjUZs1fP+eadmGvFIseBgk819dKe3WV1Lfw4oAuSA0MbjX2OiOso/vMoAC Pecg== 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:cc:date:message-id:subject:mime-version :from:sender:dkim-signature:dkim-signature; bh=99sqTPCPBF94dfRmtc3aDfKt/fw3jlY+v+4FX+mj2Y4=; b=uS1KA702okS7ky5sxH4bCa7YKiHBLqrdtuy0NpZ1bIayZinb+6HrCK/5IVFgQCOBuq jzYnzrBUWZuvq7eVyuexHNNvjttI/zDp1NbUd6RdO07INBk7W1Q+34iIs/mX3blAuwuo Y+WPdAkvEnpE21JWp5JLQ5no/Q5i9ZQMOjghlpagCHdmyVsXiPIn+3b8iAl4jcHlE85N zCksuyA256gGT4dhJRGJzxrYtTBbIddGfC64iVTq+owCzDzMxWV3bd0q0Y7hjU/71P67 CoaClBRN4xaC21o7Q3/lasPgsW4kwC7enSvwI8w8V+C+wM6A4KijEBm6Gpnf+hnvF7Jq OIAA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=MTDwPwqH; spf=pass (google.com: domain of amr.sabry@gmail.com designates 2607:f8b0:4864:20::d29 as permitted sender) smtp.mailfrom=amr.sabry@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:cc:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=99sqTPCPBF94dfRmtc3aDfKt/fw3jlY+v+4FX+mj2Y4=; b=Yzj7ZHUkxb6qk3OeWX9uIxYSGt4AWEfi1r/OP6wfSmep5ekZ6/3CLIIGuv7hSeKfq4 B/9HQOSj2WZJcMuk9NQHntkS890L9ygHTSokLjDkFyQcYZ4VbaMWNOiW5bHY1J24zXE1 fJsGgHZyyd00TrccuaHw7j+CQryOxYrA58lZ+nHJOECeKkr9S7YF2oBUZwcwpR5Xs0tC VemzszUXvEAOa/W9vAanqUVj9Pb3Q4CKytSkARXSVS7dYDzfdn4l1VU58h0khSlX83QA 6Tebh435bwTEq9QqknzFGnlDHUh/hVGB6HZXOEz7g0qL2l3TLq6b+e2ZDgGhVpOioFR1 PNpg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:subject:message-id:date:cc:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=99sqTPCPBF94dfRmtc3aDfKt/fw3jlY+v+4FX+mj2Y4=; b=ZOyUtAB8bWLswHx330NmyhJpZeJiLDAlH5HMLsPx6U9bZ1KMNa9KVcNn2Lljmqh5Pw gC/THkjBk7dEcZnxSV0pR9HrG/dzwHJtNEgqozJKcxdG4LVltbwEyBURr2xSmi8nKVZp 4FEM4nyWotHSF/8d9XgCcs0YWtGOnQUOvUg9RG0/wHooMu9Ieyj2+7N2AE2ftdvL8xK6 6CdXczSYQg2mIdnGit2A/+SPmYrwwvBfYeuoKOfYq1utEUs/pjVDDircgvEzuep7Z6PN 0+qjTO/j3Dy4YbHSGvTkwdLvAIts/MBbc4Nvw5yAvLGGSbRCoAt7sk9sS9bSUgu1FE22 bY/g== 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 :cc: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=99sqTPCPBF94dfRmtc3aDfKt/fw3jlY+v+4FX+mj2Y4=; b=IbgzwPff8TPP3Xzw/KSFZ18OWEbQOa0aMAtTdpZyb3z7LudnJ3MNZ+x2qNelosejIm WVkdpGlEm1jnpU7Zprk69MeE3ObIOHlJM/vBwZHjLQ/3Ptz0avXgIsbOxWCNZ7V9SUUJ bzv3xy/dh/pJM9s9kkjlsCz7jdDB4+I6cdTiaZfO1u30U/Dx891OPgc1yKcFfriwYI0s aoSvcIaNnNDCzlxMeba+tSJKIMBk4+LWmBVIOG0TlQ0jR7XxxeLSs1H/wYKei24oEsU5 O99T3/BJZ4V+0jW8kCwgNQiVr0voHsYRA2pRR5AGko53oT54KavAVotcIT4rsTZZnSnP vuSQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUf57N5G0TRxlIb4C4EMr5tNclbi0L5KIBWB3ogw2Ue8kUn/qwG R2E+GVvPz3+MTFt0Vcc6ZO4= X-Google-Smtp-Source: APXvYqwWAoAgMPXZ7nt+3wXdmsgNuVMhHv+oCW89w1G/+cm1rQKcrRoX7eheT2IF1y8pMOf9fMwBFA== X-Received: by 2002:a81:6f8a:: with SMTP id k132mr15445226ywc.275.1570313891645; Sat, 05 Oct 2019 15:18:11 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a81:62c3:: with SMTP id w186ls1866053ywb.5.gmail; Sat, 05 Oct 2019 15:18:11 -0700 (PDT) X-Received: by 2002:a81:704e:: with SMTP id l75mr16595334ywc.507.1570313891250; Sat, 05 Oct 2019 15:18:11 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1570313891; cv=none; d=google.com; s=arc-20160816; b=nK2CVpm23j420Am2prWItsH2cFvYW8mqIiPLR2zsRB5xU67KsL78tRwKd8GdgmFzXm NchMwOwEXQt6KWfN+eqO5q4S8BEqVpoA5uLsgkgs59oHwx896PB6c8aLL+9yuiYzsZO4 x0OhQ4vMmAIFZJ95WPuH3rHFEPthT3cltv+HIeueEUBeLS8zypipcSbHy/49r8IzTP9P V8GyHf6h0dntKH40rG6rhSOWRLShZldbA+VYZDjM9OOeqOWXp89EM2wfHCGHuGolosit LLxAgr56HOgvMKkaY0f3CgCmuooE4tmi/ws5zwbNKbVIy4bFW/MfgkkRsxfSpchj+Sy9 ihTw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:cc:date:message-id:subject:mime-version:from:dkim-signature; bh=8BGDQZzoILjgIn4WhUXLfwaEzWS2Wdap+RQ0nqxjlsg=; b=Um8tpkj26CalQ1iYs2fC4V35GWOdwpC7pOp9YTP0lG413LJgOYOtJg8ZwZV5YbIz2m bUh5JSBG0boBjpyV3f7rppS4zQES3MTY/hBzoFWNV8Pmlb4wNE/1Ym62e/8J1xstWn8q 98wAs7ZGI9XT9L7FDvpCqzLOYlmNMibMtolcojqOMhahqfs9jDLGGT67WxIJq2+WATLB HQS2LntU+WQh5abjYcTBohyzVDK3Sb1b9JiOFzRB8Frn6DFuxShIJq6TkxoA2aMJFqXr FumZwTM993/7ZmSocFkx5fWCF2B948qzT32vp2XOs8l+RO7O+lXsrKxdo+BKBg6W9Ogl 3SJw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=MTDwPwqH; spf=pass (google.com: domain of amr.sabry@gmail.com designates 2607:f8b0:4864:20::d29 as permitted sender) smtp.mailfrom=amr.sabry@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-io1-xd29.google.com (mail-io1-xd29.google.com. [2607:f8b0:4864:20::d29]) by gmr-mx.google.com with ESMTPS id x188si408587ywg.0.2019.10.05.15.18.11 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 05 Oct 2019 15:18:11 -0700 (PDT) Received-SPF: pass (google.com: domain of amr.sabry@gmail.com designates 2607:f8b0:4864:20::d29 as permitted sender) client-ip=2607:f8b0:4864:20::d29; Received: by mail-io1-xd29.google.com with SMTP id v2so20969263iob.10 for ; Sat, 05 Oct 2019 15:18:11 -0700 (PDT) X-Received: by 2002:a92:520c:: with SMTP id g12mr21866886ilb.183.1570313890588; Sat, 05 Oct 2019 15:18:10 -0700 (PDT) Received: from [192.168.1.6] (c-68-57-232-183.hsd1.in.comcast.net. [68.57.232.183]) by smtp.gmail.com with ESMTPSA id t9sm3595162iop.86.2019.10.05.15.18.09 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 05 Oct 2019 15:18:09 -0700 (PDT) From: Amr Sabry Content-Type: multipart/alternative; boundary="Apple-Mail=_A617A291-46D6-477A-9368-72D3241F9C06" Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Subject: [HoTT] Position at IU Computer Science in Quantum Information Message-Id: <0A1B33C2-E05F-428B-A4B0-ACE5F2DB7C6D@gmail.com> Date: Sat, 5 Oct 2019 18:18:08 -0400 Cc: Amr Sabry To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.104.11) X-Original-Sender: amr.sabry@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=MTDwPwqH; spf=pass (google.com: domain of amr.sabry@gmail.com designates 2607:f8b0:4864:20::d29 as permitted sender) smtp.mailfrom=amr.sabry@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: , --Apple-Mail=_A617A291-46D6-477A-9368-72D3241F9C06 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" I expect many readers of this list would be qualified or know qualified res= earchers. Thanks! =E2=80=94Amr Job Title: Assistant Professor in Computer Science (Quantum Information) Apply at: https://indiana.peopleadmin.com/postings/8506 =20 Contact: Amr Sabry (sabry@indiana.edu ) The School of Informatics, Computing, and Engineering (SICE) at Indiana Uni= versity (IU) Bloomington invites applications for a tenure-track assistant professo= r position in quantum information to begin in Fall 2020. Duties will include research, te= aching, and service. Candidates with research interests in formal models of computation, algorit= hms, and information theory, preferably with connection to quantum computat= ion, quantum simulation, or quantum information science, are encouraged to = apply. This position is part of an initiative for significant growth in the= se areas through the IU Center for Quantum Information Science and Engineer= ing, bringing together researchers from multiple disciplines. --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/0A1B33C2-E05F-428B-A4B0-ACE5F2DB7C6D%40gmail.com. --Apple-Mail=_A617A291-46D6-477A-9368-72D3241F9C06 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
I expect m= any readers of this list would be qualified or know qualified researchers. = Thanks! =E2=80=94Amr

Apply at: https://indiana.peopleadmin.com/postings/8506 =
Contact: Amr Sabry (sabry@indiana.edu)

The School of Informatics, Computing, and En= gineering (SICE) at Indiana University
(IU) Bloomington invites applica= tions for a tenure-track assistant professor position in
quantum inform= ation to begin in Fall 2020. Duties will include research, teaching, and se= rvice.

Candidates with research interests in formal models of computation= , algorithms, and information theory, preferably with connection to quantum= computation, quantum simulation, or quantum information science, are encou= raged to apply. This position is part of an initiative for significant grow= th in these areas through the IU Center for Quantum Information Science and= Engineering, bringing together researchers from multiple disciplines.

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msg= id/HomotopyTypeTheory/0A1B33C2-E05F-428B-A4B0-ACE5F2DB7C6D%40gmail.com.=
--Apple-Mail=_A617A291-46D6-477A-9368-72D3241F9C06--