From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,T_FILL_THIS_FORM_SHORT,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 19966 invoked from network); 17 Nov 2023 19:10:10 -0000 Received: from mail-sy4aus01on2115.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.107.107.115) by inbox.vuxu.org with ESMTPUTF8; 17 Nov 2023 19:10:10 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=krcIZKg95Es2/OqmNrBDGpsyzFzzo1UnOaiclkIagyeyDscLSHUf3W12z/C1sqB3jRVsvC3QNVJ9y1qOVSbMSf6DJXnHyHelClrhpeU8B8tmX0RfPU01S2d7XVY5Ys+anuL6A7poQUXvo7te5Wp0FdS/Lrq7leptfRZr3cxQPHybE3mYQ0WUrTngC4bCKh8Gvixo1Zs4tu7RelTuzqcN47Q1xVa6je15u5sVoEAZWAjgVmFbnZH3dH4gReu4Cq2WA9+Gdc3ZnFyAUxCsvAzfHdo9BWGu7jdD5SzDVymJa2er3YRS50Jf7DOue9p5a/W8RSVTG7J9XKPQuY0G+24NOA== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=YUjy7TarATfgZhbDYdfZ2deTWWyZbcv0ZwSX2g8InnE=; b=MUbPG6XvsylZa1KFRkLfZVb7jG05qg8+H2S+EanwGLz7DzP1tgVozGtxJwnUU6CDYIe0i/sDfIYxVerPAx8RjVbKBQVHSrkw1bQqZ4UAYpoI4IILeE/p7j9gX+FEQvmnRHB2eXnvrfJMgWQnLy9pvS3BZ6nGpE7RJ5MRFZ95FroVA+50ozRywia3ygat+Mqh5Dghkmre5QtOKTE8klCtBG7WpAJOi0SpllGDdAXsVbIiy8meFIpHWiLsTGpD65hga9vrQRGYmD5Z5Qu5AGWlQR94iIEsAwzHpvVgCetMxpZ8OwnqeZ/Y+9phAnqvIbyhdhoTFA+OkMfcUqL5+bSTCw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 216.71.147.222) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=appstate.edu; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=appstate.edu; dkim=fail (signature did not verify) header.d=appstate.edu; dkim=fail (body hash did not verify) header.d=appstate.edu; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=YUjy7TarATfgZhbDYdfZ2deTWWyZbcv0ZwSX2g8InnE=; b=Y/GwzspP2MSnHK3GKfZSuJOUI1bW3yTjh/BvDH4puJP6CaRX01YWbMmO7etR2c3rptdzSeCCXDi1ZT9gZfhl6o8CsjJBOFLQsEcw9dXG3+i/3CtTmBpznk0R2UyFqZDA+2cntAluk5ezDnrmFyUZaQvEYRCuzl0qkGJhMC2SRqbvaCWDv+HnOtTJtEe4s6YtT+iEcMWM0YH5E2KdOv/wNz+CWrMRRE5jjaZv9pEHx7cpt5fDjU//1ZRv34RimQeebQqoyn8SlgL0l8+eosYfUMWlwS3ZYeLxwIktrwdUnuz+E/B+A+c6ttx/YAEXPZlkAMGm5/1MOFsM99wqTnTt4Q== Received: from SmtpServer.Submit by SY7PR01MB9215 with Microsoft SMTP Server id 15.20.7002.25; Fri, 17 Nov 2023 19:10:07 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=DJCKDLFcGMPb8biaNunUEmicRK4EcK5KZLqqi74YgN7cR6g1JMv6YlinmW7l1KcaZGpk/PdTmrsCL+odfOnBKkG9lcLcbG8XNnhJZ1cdXzOuwZwBGFudQmlLnRkFQskwEEUYyToNc6r4DFJAdMud3jKjLgSjl5xKAmZ9FrUEdXaQn+o0LXQt6i5HnKbTEVrqVrCuTtKCx8r7SU237NRFObM3ZH2ekpHqXPM4p3Bp1JGRgY6wB60Dsl7FS4hywzrO9m/V+AD3Ku8PhOyS0ps2gYivk7BjjnT9/xI+slq2QikWaissdDXV+x0eO8UAMULlzt+mzfrZNf/IbrD119kH2A== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=4BFMmKaGyUVMk9YlZJhTN6tXz+nuc12avUm4fRRn0bE=; b=Wm3T9H01L/9MiRAyv1ZW4j1Cl8EdGxLwCFMgzXm8pwmFIb4FqJLWUxD2LQ6rW9hnr6DKiApgUZF2Cslc5aWpYwOjGgAk18SS3s8EMsO9zCBSycAqirAJUMBfKRIBky/d1N1rwgqhgfBba+tvvFS0uUlUhejpCE4h55SyIRoeiX3nKfL+/94fPSxLVay3cq2Pf9ZOR7+/r6RsR4UL0gOLQIpX6GWaMfO/gJbuAFWWojcUZawEtYadhX9Cp5YtCXqJhEGCjUg8p81TYSXeUxHTg5F5DnqGPK1iMch64cbOGNxHRVpgdnFyyhBBLoh09xOCVmq/erH8jg/vTzcucqcLkQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 216.71.147.222) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=appstate.edu; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=appstate.edu; dkim=fail (signature did not verify) header.d=appstate.edu; dkim=fail (body hash did not verify) header.d=appstate.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB6171.ausprd01.prod.outlook.com (2603:10c6:10:10d::7) by SY7PR01MB9215.ausprd01.prod.outlook.com (2603:10c6:10:218::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.25; Fri, 17 Nov 2023 19:10:03 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com (2603:10c6:220:2a::17) by SY4PR01MB6171.ausprd01.prod.outlook.com (2603:10c6:10:10d::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.25; Fri, 17 Nov 2023 19:09:59 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98]) by ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98%5]) with mapi id 15.20.7002.022; Fri, 17 Nov 2023 19:09:59 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Jfk7DQjbmOSf0n9C86Af7kUDzp/LnO3ry11vvpg44hFIzNf/VfdlAzg3aAey+WeKza6Ga4Y8kzZQDahvhvX8RJD9dbKv76ESI//4JYjaBnJYMt/phfI6UmHe5IWr5+PJDlGs2qcyi+D7jS5OToetjHBUxGOJyv9n2nhrgfv0hh22JbBk//E2bUaTRxsK/hPx+IrApNOfs/BnIn5DP+/fZx980A/a0K0E3vvVFBQV0J2leWKYM4B1tju0ASpTzVpswe74wl5n4Mhjq4EzpZHyZrOLLS7/IzumwAxopxGBkZgyW/ysIIIlAH7tv7jVlurKViGZfG/lrMAKnpkZ+1hAlQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=4BFMmKaGyUVMk9YlZJhTN6tXz+nuc12avUm4fRRn0bE=; b=kVcrv4rlkLpI81AHEifFVp8VtyaoVHgc/U5haS2rlXGvHFdD1sIqItEhtOetuj030yr1wY6aR/z8vO2o1WCV9eLTnANNkW/AqFOK8ZBPit3c41hfiBEJOzHwjtbvUfuv3PeVnbiaS7eyaBJoVhPdycfif1Yi2hMlxzOC5EnY0TsIbMUbz0lu2mAozUu/y708UfjqZStMk8pjb7LsbPjJfTNujDQDbkkzU+xf9M7f9wMep3uvN0AQLz60zhAHGW7ErGH7k0ZTmAB9WbrdaTbS4lzjQXFuV94meDRMm7TYwG1TcLUmPo/YltFgB7LGYTpXlY1WIL5Om7jAP92NH5zrLA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 216.71.147.222) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=appstate.edu; dmarc=pass (p=reject sp=reject pct=100) action=none header.from=appstate.edu; dkim=fail (signature did not verify) header.d=appstate.edu; dkim=fail (body hash did not verify) header.d=appstate.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWP282CA0108.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:1d4::18) by SYZPR01MB7667.ausprd01.prod.outlook.com (2603:10c6:10:16e::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.23; Fri, 17 Nov 2023 17:27:19 +0000 Received: from ME3AUS01FT011.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:1d4:cafe::93) by MEWP282CA0108.outlook.office365.com (2603:10c6:220:1d4::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.23 via Frontend Transport; Fri, 17 Nov 2023 17:27:19 +0000 Authentication-Results: spf=pass (sender IP is 216.71.147.222) smtp.mailfrom=appstate.edu; dkim=fail (signature did not verify) header.d=appstate.edu;dmarc=pass action=none header.from=appstate.edu; Received-SPF: Pass (protection.outlook.com: domain of appstate.edu designates 216.71.147.222 as permitted sender) receiver=protection.outlook.com; client-ip=216.71.147.222; helo=esa.hc5806-20.iphmx.com; pr=E Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT011.mail.protection.outlook.com (10.114.155.81) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7025.13 via Frontend Transport; Fri, 17 Nov 2023 17:27:18 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1700242037; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=4BFMmKaGyUVMk9YlZJhTN6tXz+nuc12avUm4fRRn0bE=; b=fv6TJcbyYYk0pmnsvQH5LAKPYktREbkQ7F6nWb360/N3W17kkwuAdST3NP7H86uV2F8LHP 1AnKErmZfuJ0MU7h33RPmAJQQEP+FMdlvbRQRul0Lw2Ypc8iqffXzE5MJXsnIFGvUUSaU8 q62Lu0etQWws4YIOAbiJLuyY+0GSR8+cm+HDCey13/TKBd94h6ubZyzqxkrAyaWl53t+ny ToWZBdGz3/RQKaqT3/JuUHH5jJmYWWOzkFKRclcwO/Yr8ikPb/5MsUxnq8qW7LPFd/l0Hg XSuSL+Q4K8gybtPEcXlxj+e3XtVKaQTV39R6ydV84f1u2J15ARZtEHz6GF+j+A== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1700242037; a=rsa-sha256; cv=none; b=KJ7kCBGuWb2YbvgZGvj0+ZsKS9Mpo8wC3H5XG/RQASOv+KxadtDSMf594YFT3fjttFCt7d ub/R3trsH0t+UY/z8VTHEXuGnHUTmY9EUXJUhLykVh3bxzEr8a9vkdmpRsWGw/OmDxwBZv bjCRjqSxVBAOKbqKGPeaAIc41JmL1dPT/i0J6HEiK/citFUL8MgYlU+PQhS5rw5dN4735z FuvjNSx0Laa8Td36P9IZ792QwUFY8cRWH7KxAigg6ceXhGP8yVhXzxk3JiOdWMab9cNrcC uIA0n/nJJgIpAD/69/8dyvHN7gc08OBy12bzptyYP1eGYhxXJGSy9a3HwsS/xA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=appstate.edu header.s=appstate-ces header.b=hkonXxfL; dkim=pass header.d=appstate.edu header.s=google header.b=NNFTk6nC; dmarc=pass (policy=reject) header.from=appstate.edu; spf=pass (relay.mimecast.com: domain of johannp@appstate.edu designates 216.71.147.222 as permitted sender) smtp.mailfrom=johannp@appstate.edu Received: from esa.hc5806-20.iphmx.com (esa.hc5806-20.iphmx.com [216.71.147.222]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-42-DcybYvCjO76gOJrnlX7j-Q-1; Sat, 18 Nov 2023 04:27:09 +1100 X-MC-Unique: DcybYvCjO76gOJrnlX7j-Q-1 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=appstate.edu; i=@appstate.edu; q=dns/txt; s=appstate-ces; t=1700242028; x=1731778028; h=date:from:to:cc:subject:message-id:mime-version; bh=Fed+Ry+VxHOMSB9qsQl1Jx6JElXqziB9wFnCXtJuId0=; b=hkonXxfLKYucvM+50wTV6md/K2AnGvDrZGyopcONJbg5Cro8tu2A7F0k c60ddjUENdYZINNbO8YNCt/MTRLXvQ6J2Ab7n5buAa40VD7hiF3UNJaAx 5FuuJRr183t3FUqlJkJ5khvB8hKN7R02ytNSvOHMjLz0bK6ZKAoXQ6CmF WxHUW5C9s6mB3qQKm5LQ/rtH33bv4DyiAHG5FgA3IEhSQ5rH66bWpy6/T nmsMjpePckJwcpIqoRGHMlrOfZSu39nud43+Gqx0OAuYL5DuXLJWShPQU qU77b7kP3uSSsiALT0uufeFy+Y/kOpM7+B8TwqIYH/dlKjg54Ays7obV8 Q== X-CSE-ConnectionGUID: ttbe4MKjSr6AaBAgooI1jA== X-CSE-MsgGUID: tZFDULGISF++vgCIow5bzQ== X-IronPort-RemoteIP: 209.85.219.72 X-IronPort-MID: 30988351 X-IronPort-Reputation: None X-IronPort-Listener: OutgoingMail X-IronPort-SenderGroup: RELAY_GMAIL X-IronPort-MailFlowPolicy: $RELAYED X-ThreatScanner-Verdict: Negative Received: from mail-qv1-f72.google.com ([209.85.219.72]) by ob1.hc5806-20.iphmx.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 Nov 2023 12:26:01 -0500 Received: by mail-qv1-f72.google.com with SMTP id 6a1803df08f44-67049a2c8b3so25816396d6.0 for ; Fri, 17 Nov 2023 09:26:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=appstate.edu; s=google; t=1700241960; x=1700846760; darn=mq.edu.au; h=mime-version:user-agent:message-id:subject:cc:to:from:date:from:to :cc:subject:date:message-id:reply-to; bh=Ir+0ZAUxKVeeeKf3GOygEufY/cXYzmIOvWma/ZwbpHE=; b=NNFTk6nCfMtz0a66yOuoRgnB+MbkXjIf21ekw21YeiMN2/gNrXS+K4iAowqJ5vgsBr 3k614V6lkzdq0GkSrvUWYBmuV/2K8e5lzQkjDVc+wMs6jytzoHuxlx1wdlRV2BQ+spZk 835j9PeaJmRQY63TTHmg/meJJ8JjHW8jEvDH8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700241960; x=1700846760; h=mime-version:user-agent:message-id:subject:cc:to:from:date :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=Ir+0ZAUxKVeeeKf3GOygEufY/cXYzmIOvWma/ZwbpHE=; b=rOxFSYRleSO2O+h77aLIiPW71Dq1lCVlTj6a+kdKABnWKiKhurG4ZjpBcAd/j+W0Ea CRliYaZ1hbimtVBy7ExQ+VUxh75xvfDHa86a/4hZjeYI6Tx/HNl1W3cwAL2fgJ2TC0vw bydDehYe20e+DH5qa5+pjBZa2jZ0qSCCgAEizeChhuJ5m53kykz4o83ibjm/LIjCosG0 aL9Ewjkaly0n62XP839UPx9Uf9MZiqN29mWb2W3KPtKSn5GFBIijlMH8osLPHKpp2oAM v+4GdemSqrt86tdxp3nBXgEyAicPcFIS9dY71lHhIQ3vqvKSS5PzU2OTBpyM/+DIdJH9 9H4Q== X-Gm-Message-State: AOJu0YzWxfKPGf05a883VkgnSOhtqyPb4zZRyDyacswgl9ojFLmMG1zB UTEjpkhZng8HbjkzPMXLmuZNBw1vyo9+hH+KVV511F7QN3Uq7jMvIi6v6SPwFJXrg8L9tip59gn 5sHafohjVUwOsGLwoXupNDRgA07X029aaYezQow== X-Received: by 2002:ad4:4509:0:b0:66d:4b1f:e121 with SMTP id k9-20020ad44509000000b0066d4b1fe121mr12290186qvu.40.1700241960260; Fri, 17 Nov 2023 09:26:00 -0800 (PST) X-Google-Smtp-Source: AGHT+IGSjVzMAT2nbmtfFO0RlT8NIAInWuM2rsCdfiGpx+0nSAHne96YvPcm0wp5Ud67Fllnd4nigg== X-Received: by 2002:ad4:4509:0:b0:66d:4b1f:e121 with SMTP id k9-20020ad44509000000b0066d4b1fe121mr12290165qvu.40.1700241959844; Fri, 17 Nov 2023 09:25:59 -0800 (PST) Return-Path: <> Received: from ip-152010151201.cs.appstate.edu (ip-152010151201.cs.appstate.edu. [152.10.151.201]) by smtp.gmail.com with ESMTPSA id mn4-20020a0562145ec400b00677fba2d9a0sm273399qvb.97.2023.11.17.09.25.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 17 Nov 2023 09:25:59 -0800 (PST) Date: Fri, 17 Nov 2023 12:25:58 -0500 (EST) From: Patricia Johann To: categories@mq.edu.au CC: Patricia Johann Subject: Postdoc opening in categorical semantics Message-ID: <65de735f-9f72-24db-b2f3-87b576195c27@appstate.edu> User-Agent: Alpine 2.25 (OSX 592 2021-09-18) MIME-Version: 1.0 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=appstate.edu header.s=appstate-ces header.b=hkonXxfL; dkim=pass header.d=appstate.edu header.s=google header.b=NNFTk6nC; dmarc=pass (policy=reject) header.from=appstate.edu; spf=pass (relay.mimecast.com: domain of johannp@appstate.edu designates 216.71.147.222 as permitted sender) smtp.mailfrom=johannp@appstate.edu X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12311180427150281" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[216.71.147.222];domain=esa.hc5806-20.iphmx.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[216.71.147.222];domain=esa.hc5806-20.iphmx.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT011:EE_|SYZPR01MB7667:EE_|SY4PR01MB6171:EE_|SY7PR01MB9215:EE_ X-MS-Office365-Filtering-Correlation-Id: 9aa41c91-0a62-4474-7ea7-08dbe79272f2 X-Moderation-Data: 11/17/2023 7:09:57 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: uDa/xt0iMn+8Gm+9vaejAArw0b5FwFJnJxosa+KShE6eTZ0XbIj3FKKmw1UwvBULw/eRuB53Hj1bCZeUCgeIcvI64RPMsBMv3sIZ4kd224HGSukEFVXAaRItBF9b2iPOcKUNHE3ugmnW3fjW0A7QEOP3mdJqzr6CqYb2tjNMpQEVMm0p7kmzmt7ddTJ+jBXCLJ19CPoFGzRfFMhNMHTOatuSlAMqKPQev5OKfVyY6GxZP7PV5mSoNC9a9e4oVN5ZisloGOvgtAP+yNTf/aS4NgJ43yrR1AieWuXADbJoOWFdliA5FIEn6pYmUXU2JtcE2XvaEEkw+wGETdIPEjUl08gFe06nN78s3tjx3k7ldC5U3/3GvoCgCxm49+IcAwMZ5MGXR/rDnQcv8tef2vVhAqxZl9uheQF4JqzTb6ZZTWOTxloXRXmwnJ0iy5kXQOCJna62CUcnsRrTf+Syd1gzs+LgcvugxC2w2j4swy72K0CQjYTLNHyxqnkwYudNcDas/K65DbaRl+1h3vWZK1q7uAXixkEPB0xo0QE4s2FM6YHVjp/taqhBgtu433ZuUD27iL1Q+rLZ07s3E0O/IHAhOPHx7PAourKSYZ3JzcbRRoBbwm8pCvKj+UBdNXkIb70wC2B6roun/q2nZgbadQb+oqw5o7qHiBbrmt50qkrX4Vcldc4P+ghKSCZ/v+uO7JKn5gi3mZ/Jz/523d/BX/vExO9O6EBwn1gH+KnvufZThLHe1QN55FcZwbdkRdKFkPxFVnTwLLEn1LUJtUYmxqdIW0OITLL9V7GDOgHNMkHjYaOybqGaGm0lq+JyK/kWvxjQEjip7MElZwmeMFcTBKJHkLu8iqve6f/lzKHD+NQOgNo= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:esa.hc5806-20.iphmx.com;PTR:esa.hc5806-20.iphmx.com;CAT:NONE;SFS:(13230031)(4636009)(376002)(346002)(39860400002)(136003)(396003)(8000799017)(451199024)(48200799006)(64100799003)(82310400011)(40470700004)(40460700003)(107886003)(83380400001)(2616005)(956004)(7696005)(26005)(336012)(156005)(32850700003)(32650700002)(35950700001)(4326008)(5660300002)(8676002)(8936002)(2906002)(34206002)(41300700001)(7276002)(7366002)(7406005)(7416002)(76576003)(88732003)(89122003)(966005)(498600001)(316002)(786003)(7336002)(68406010)(70586007)(75432002)(86362001)(31696002)(82740400003)(36756003)(166002)(7596003)(7636003)(40480700001)(31686004)(66899024)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 9aa41c91-0a62-4474-7ea7-08dbe79272f2 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT011.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 17 Nov 2023 19:09:59.3907 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: mSukv6dLpAdyJEArTSygj9e6TQUeSLHTTloWtniTsAUXO7v5GBMzC3us5fI7yqAiz85DZZpGq+532ozu53Y8WM1F+zg0XxDPBi96NmKJ+NMD801QAS4/5svcKeZzMp2dcP/BctVIeKUDqBHRV7zSfoViZvaqmn+wSSmpl2MauTlaRpCbq+2q3mgutgY4SbSc X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY7PR01MB9215 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: <65de735f-9f72-24db-b2f3-87b576195c27@appstate.edu> Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?Windows-1252?Q?pT61eputvdl81fvkFePe3iCqVGjNK8geW3fa8U6Joxgii7uOPjl3tTQO?= =?Windows-1252?Q?ipG5IoxJAx5iDapdjWpeEwnkmWJfurqon3HJKFQJ6nTicJGL2uJbaG7j?= =?Windows-1252?Q?LSqy0rgkddijqBaroFpINtCOLr3pTiAN/4xy0AWygKo/MKclJxe/di9l?= =?Windows-1252?Q?ipBnxi5YXNHR0lduQi5exS//QCHXR/84+1qRvd1m12lob24Eqji8USaQ?= =?Windows-1252?Q?2Kic9DZ9yVSrbhjA3ZZwSWRHcr3d8lhVfJhVGiGYAOSm1wWE1IBazBke?= =?Windows-1252?Q?+4PzVhhs486bKaaZfwBFvMlwb68HnG4E5laQmTfAQdoH9IJSzttu9YfV?= =?Windows-1252?Q?kFUf1aXd2Fpu6oxNnkubwJsm1gYF1bmrdTuH5wBsLpDPcx981M2N1CWc?= =?Windows-1252?Q?QyoaQL2fQsQq6YG+hz5zt+mm2Lq2fHE5EqymtY+zsOXrmBnhPwbVcTbi?= =?Windows-1252?Q?sAjc/ExVJwOwZ0dlEQCdPABeXvgH35kxdaVGWepuw4ztKswC/SQxk2Lr?= =?Windows-1252?Q?rN+xUJXlcOvY/PlgSAdJKsrOSBUprOE1SuaqOAO0pLXJxxEEtfhXe6Ho?= =?Windows-1252?Q?c28uu7pjmKNGZdlhbUfIgrCRfmc5a+5SIX+MXgzb95P5s+2QpexOKJej?= =?Windows-1252?Q?d7n3zsP8EqVvd0qsAgFwG/H+ktykS0qMENv+iud/l64/omg7mjDz49+y?= =?Windows-1252?Q?xoStDS/3CKEEuRNuN9+T5dv0RjVLrcfgFlynkWwhhffPsOlB1BJDLb0H?= =?Windows-1252?Q?jPcLS1LNlujlHlQTo+JWIEjBCOt//OX5AjA2PvvU8IYcMNvuerewx4N9?= =?Windows-1252?Q?Q9F5EwQDUQK5+4lyCExlOXDc+CrO1U/+r6kIJ01cwF0S4pLLIoqKC7cF?= =?Windows-1252?Q?3Tg1KOc+6QYPG3qRK/qsdkibSwUOJRsy4VNgdIPLEwMLUFVgwCzS+Yr3?= =?Windows-1252?Q?LAEnw7m4Pt9lK8VHMoYHFJ3emSx6y0dizRqSqvoaEjVtBKgMm5nfnDlv?= =?Windows-1252?Q?Rd+hrCsd3NPVXouEQYa3egRjZX7/rVzf/v10ZxRRgkjaAyisgm9hZj7F?= =?Windows-1252?Q?UWNUy1NyiMtqA7UtjHPN2VeH2QKi63GhqlT0jQWseQebQ5NvALFTm2MM?= =?Windows-1252?Q?sdiGRJtqi1f30U3QPxGauoeI/dGefL/kx+MP19N4ERGVwUsVBzCw8j2m?= =?Windows-1252?Q?38cjzV8FLrIZ0ONrWQFlJY2IzChrQ1bXqXJ4tZ3O6/B8VsF+s7G9/4yr?= =?Windows-1252?Q?2bP1rjmkRUNy4iiyLhnn/+QzK0mtvcFzewYg+HJRXwbKRoHS4aPTeztA?= =?Windows-1252?Q?hxNKyy/HLGoKZghljIH5zHfqjF5wr7asNtjbRYveBDsuI1K2?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12311180427150281 Content-Type: text/plain; charset="Windows-1252"; format=flowed Content-Transfer-Encoding: quoted-printable Dear Folks, I have an opening for a postdoc, as described in the ad below. In addition to accepting applications, I will be very happy to respond to informal enquiries about any aspect of the position, from technical ones to ones about life in a beautiful "alternative" mountain town in western North Carolina. Best wishes, -patricia -------- Applications are invited for a postdoctoral researcher position in the Computer Science Department at Appalachian State University. The position is part of an NSF-funded project on deep induction rules for advanced data types, specifically GADTs and inductive families. The project aims to build on recent work on GADTs to understand the settings in which they have well-defined initial algebra semantics, to give well-defined such semantics for them in such settings, and then to use these semantics to derive deep induction rules and parametricity properties for them. A key goal is to understand what deep induction rules and parametricity for GADTs look like. Another is to understand what deep induction rules for inductive families look like --- and, in particular, how they differ from deep induction rules for corresponding GADTs. The ideal applicant will have a strong background in functional (ideally dependently-typed) programming, type theory, and category theory. However, more expertise in one area, coupled with a commitment to developing the required competencies, may compensate for less expertise in the others. The successful applicant will also be excited about working on fundamental research questions on the themes of categorical semantics of advanced data types, and deep induction rules and parametricity for them. Interests in applications and/or formalizing computer science theory in, e.g., Agda, are also very welcome. The successful hire will work on the funded project with Prof. Patricia Johann at Appalachian State University, her students, and collaborating researchers. The duration of the position is initially one year, with guaranteed continuation by mutual agreement. (Previous postdocs have continued in their positions an average of about two years.) The position will start at a mutually agreeable date, ideally on or around 1 September 2024. Compensation will be competitive and commensurate with experience. Interested persons should first contact Patricia Johann at johannp@appstate.edu, briefly outlining their academic background and research interests, and why they are interested in the position. A complete application will consist of a cover letter and CV, including contact information for three academic references. Complete applications should be made online at https://appstate.peopleadmin.com/postings/43078 Review of applications will begin on 15 January 2024 and will continue until the position is filled. Appalachian State University is an Affirmative Action/Equal Opportunity Employer. The University does not discriminate in access to its educational programs and activities, or with respect to hiring or the terms and conditions of employment, on the basis of race, color, national origin, religion, sex, gender identity and expression, political affiliation, age, disability, veteran status, genetic information or sexual orientation. Individuals with disabilities may request accommodations in the application process by contacting Patricia Johann. Any offer of employment to a successful candidate will be conditioned upon the University's receipt of a satisfactory criminal background report. You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12311180427150281 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252
Dear Folks,

I have an opening for a postdoc, as described in the ad below. In addition =
to accepting applications, I will be very happy to respond to informal
enquiries about any aspect of the position, from technical ones to ones about life in a beautiful "alternative" mountain town in western = North
Carolina.

Best wishes,
-patricia

--------

Applications are invited for a postdoctoral researcher position in the
Computer Science Department at Appalachian State University. The position <= br> is part of an NSF-funded project on deep induction rules for advanced data =
types, specifically GADTs and inductive families. The project aims to
build on recent work on GADTs to understand the settings in which they
have well-defined initial algebra semantics, to give well-defined such
semantics for them in such settings, and then to use these semantics to derive deep induction rules and parametricity properties for them. A key goal is to understand what deep induction rules and parametricity for
GADTs look like. Another is to understand what deep induction rules for inductive families look like --- and, in particular, how they differ from <= br> deep induction rules for corresponding GADTs.

The ideal applicant will have a strong background in functional (ideally dependently-typed) programming, type theory, and category theory. However, =
more expertise in one area, coupled with a commitment to developing the required competencies, may compensate for less expertise in the others. The successful applicant will also be excited about working on fundamental =
research questions on the themes of categorical semantics of advanced data =
types, and deep induction rules and parametricity for them. Interests in applications and/or formalizing computer science theory in, e.g., Agda, are also very welcome.

The successful hire will work on the funded project with Prof. Patricia Johann at Appalachian State University, her students, and collaborating researchers. The duration of the position is initially one year, with
guaranteed continuation by mutual agreement. (Previous postdocs have
continued in their positions an average of about two years.) The position <= br> will start at a mutually agreeable date, ideally on or around 1 September <= br> 2024. Compensation will be competitive and commensurate with experience.
Interested persons should first contact Patricia Johann at
johannp@appstate.edu, briefly outlining their academic background and
research interests, and why they are interested in the position. A
complete application will consist of a cover letter and CV, including
contact information for three academic references. Complete applications should be made online at https://appstate.peopleadmin.com/postings/43078

Review of applications will begin on 15 January 2024 and will continue
until the position is filled.

Appalachian State University is an Affirmative Action/Equal Opportunity Employer. The University does not discriminate in access to its
educational programs and activities, or with respect to hiring or the
terms and conditions of employment, on the basis of race, color, national <= br> origin, religion, sex, gender identity and expression, political
affiliation, age, disability, veteran status, genetic information or
sexual orientation.

Individuals with disabilities may request accommodations in the
application process by contacting Patricia Johann.

Any offer of employment to a successful candidate will be conditioned upon =
the University's receipt of a satisfactory criminal background report.
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12311180427150281--