From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 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_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2110.outbound.protection.outlook.com [40.107.108.110]) by inbox.vuxu.org (Postfix) with ESMTP id 443652CACD for ; Sat, 16 Mar 2024 21:06:36 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Y7heWbd5sVhcbC0NmDY5tpJ5QeedembA6+zD5QP/rcieUUid8TssNmzoYFpLOUfvQiZP/eYyjVxEqtSv7TyHwylRcUX5XDmiLNSKL/VUU0F0NTTpcAVsd9hqJLdt6k4X1BuS4ju3ADcGi8zXZq0FRM9uIB0O0pbG5RT8kw1DV96bbrmLGVz4uYgyavR840lcum75GJKqW8go8Lbze6ln9m/b9IGlPHgAUZISwL2NJB/QZm1iWJuXEIOVY1JjHT9vR+n67qVVnITIao0qDJK8BSluco6KgrnK6lCiBa25olTFcdoy178iN7XCKYXisohZj55TxQ7crKptL5E7qGtCIw== 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=E5klJFsFciqYIdZJnCCZaAzQoIlqCFHCt6tlZISmn/A=; b=NzV/nCDrqgh4ltjahDX8/fRqOnXUB1zm7YENwSljSqMo7+fUYS9KNBWD1o9fqj8CCywDZtKKP3dX7aRXDt1zFP+NCq75rVdhmy4K/Cm7kJZvpXmU8kWrnj09PiaBf5cn7r9WyExJqXyTViDeUfWcDJU1CvaBj8okwjS+dz/9nR3+In1cryuJ6ZqQlAE0WnmmaE8grpEzzbXGNIPoHyMrnLr5T4WffJDKgJfo3GrDB6nXyXffus00EYjIRs2hbUcYs/H5UH82sJEV+eN8T+f5nx1X7R4Av02tB+EogVV81Up4bOVZO4rEF9+dRuM5xpMzMJ26U8NaTNYu21DvNHs/YQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 193.40.251.8) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ioc.ee; dmarc=bestguesspass action=none header.from=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee; 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=E5klJFsFciqYIdZJnCCZaAzQoIlqCFHCt6tlZISmn/A=; b=jQC4OoOzwxnFeoBPhSXvc3x7vi7JK7MnBpGjOx9Z2iXBtjXOH1Z2hW34PgY1qm4+m/NLkB5aD+/iJ0sjhyTN8BdKRllNd/XoT41sjTg0sXLrOShX8YNkvNIbz960KIrwr5bjqPR4Z7tG8f2mu91wOyiOxph4ANRztRFVbfebRR20w7lNAJLuGbuINCHC641H5tlbmQXU0t1F6zZ5a3d4Dr8Hq+bx4fBm4THPh7eHWOrw6/RSmzr0EibXHnxMksXKcWJLQVjgjdE5kuP8dyf2euUFF6WdlrEC4aJP9n7dvbGQ/dt/b0tDCLHIxVSSHlfaQGQgO2TBl2eUFDgeHbJb6Q== Received: from SmtpServer.Submit by ME3PR01MB5974 with Microsoft SMTP Server id 15.20.7386.25; Sat, 16 Mar 2024 20:06:34 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=D70qREC6QsmzRqcl93OK0XSqR1b4lz/N7pntpqTuaR5xZqb3rP7jqt706Ekse9H9fcO5IBmF63E3JMwXFAfXmv+rS6Jmr0aJOtor7v//iubMR3h9XM0vvl5M/deVOy5ZLlXF2NAD7w2f03FD4TtMLFQxicVlUPA7PoL/fau5BXgohskiJbqJqfodEv8KyO7swF8Phwd5TuIpSkWAFP4OnufFPjz//eBDYsBc2dQwO6nqupuQ2/IIWDHyOPMeYUwLiEC1meizYsjLJPRA039r/Q/WCmYbgUEzyqttpzR/k1yKJx+vIVC0JBRFzMUvT/MaaRnXKSSLxR1A578Y5kLjgw== 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=+MRkojSDoZg1kLqn/3lcEPLMIsM6A3ZUazqfWg8+ZhE=; b=CwbpqXXCeeYUR5/akAEJQJW9FzJlWQhgAMxbAMEwaoxwzIA3wNyuyfXJYfjASZUFGCkNFA9wN+F2holUSa7fAT3QMbPn8m4H1YDcxCSci78gyXpB7U/Xm1nYIyKiKkYPhV+EmADkOtvL3oM1pCK9hrUDM2fCrqWty7uhcSOQDGWuIexT6p8M9DaWOiK46zb1mtnhsTsqMqKfVzK+gTLT3H0fmllZXpsrUaXk8SB5GCUEKnXFWb+niurdvA2xmEktOIKcaDxAyKAVKGh4CZxMQ54w46Q+bATxuWGaZm5jcuLiKNNDAwkk19P+VQbvMJU93rbb7+DiPMZy0yGreVR4Hg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 193.40.251.8) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ioc.ee; dmarc=bestguesspass action=none header.from=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB7417.ausprd01.prod.outlook.com (2603:10c6:220:15e::23) by ME3PR01MB5974.ausprd01.prod.outlook.com (2603:10c6:220:e7::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.25; Sat, 16 Mar 2024 20:06:23 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by MEYPR01MB7417.ausprd01.prod.outlook.com (2603:10c6:220:15e::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.25; Sat, 16 Mar 2024 20:06:19 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::4d8e:cc68:e08b:d0e%6]) with mapi id 15.20.7386.023; Sat, 16 Mar 2024 20:06:19 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Svu07NDA1xGtiTD8hEvMU1wmqEj6SSDChGZhBI0V6cKMZyl2C9fiW/Fm/aXyg5v769zx6LwF3Wl0VJOlnoOu3gp60t8Z7684zDTfQOg87iFj2t8EyTYtQ5MbnCi4KhDJwitxdx1faiC8z/LuhH+D1TnpBKb9fkTwvA4HtzQ8Q4dxlv5luaUT8XXwjzMJgZn1nJ2nIPuPl+HITkL596MjMwYqiC7gcc7vLN9UdUi1Kp+WoeUYi1RDSfKXKxdr1bBReYPZbz7P/g93suBgcSm6T5yw//cgsHlD4PcyMkhTRkrjs4IgmiDjC4TepuZ3aovl9p0qE+Bv+zXD/hqjgcChOA== 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=+MRkojSDoZg1kLqn/3lcEPLMIsM6A3ZUazqfWg8+ZhE=; b=TSBRJF9FaekWIJ9MT89IVxlvKroI0V3evTqs3ZT4g7fRgzJIrGBoWq8WPnMwfUG53m6oYaBHFfltwlulzow5jhNqEaadCIFkKqLwVTkaOSjGoNfIHruxy62IzKI85uwLC7aVWDpHcXwJLAZGlgw7A4xZshwwoZbZlyfoMy8GIifQI0+ug0KmpqBJUZmSZnE9x/eSsRoT1RYEIga1rX4KwOLa3Ip6saaJdqvCvJ2ZjdwL486gW6153urEuAkslWRKXIlpC95GmN40V6KYf2Oy8vquHjH9sB6AJ4HbBlHTpxC6kuCFKYoXAMkk7/eHoOYdzGVwOJ/gzB+DycW8aasifA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 193.40.251.8) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ioc.ee; dmarc=bestguesspass action=none header.from=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0021.ausprd01.prod.outlook.com (2603:10c6:10:eb::8) by MEYPR01MB7965.ausprd01.prod.outlook.com (2603:10c6:220:17b::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.25; Sat, 16 Mar 2024 14:52:46 +0000 Received: from SY1PEPF00005A3D.ausprd01.prod.outlook.com (2603:10c6:10:eb:cafe::1e) by SY6PR01CA0021.outlook.office365.com (2603:10c6:10:eb::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.25 via Frontend Transport; Sat, 16 Mar 2024 14:52:46 +0000 Authentication-Results: spf=pass (sender IP is 193.40.251.8) smtp.mailfrom=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee;dmarc=bestguesspass action=none header.from=cs.ioc.ee; Received-SPF: Pass (protection.outlook.com: domain of cs.ioc.ee designates 193.40.251.8 as permitted sender) receiver=protection.outlook.com; client-ip=193.40.251.8; helo=webmail.ioc.ee; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY1PEPF00005A3D.mail.protection.outlook.com (10.167.241.36) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.12 via Frontend Transport; Sat, 16 Mar 2024 14:52:44 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1710600764; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=+MRkojSDoZg1kLqn/3lcEPLMIsM6A3ZUazqfWg8+ZhE=; b=S6RQ03bIYCVFyxbNDyfXy7nM3KjbWOOP5BUQePcSB6eX7GpKz/5TbjNKRW9TpMWL2FCvvt rpcPfuMbbtKEIQLwlX+YZlpsURzJWA92RvLHuRfYgiQSSpxjwpQ6Nn+pLR71RnPBoQ4LLu 9IPirYx3LF814ycERLZHL6OKhtQkyMGrBqv+jsdRZPfc2OYEt5LYzRAogvYvLIPZZbew0w 9fgI36g2HL0tPLWJQwNHYOSoGUCPdyAGxi0wZ3TECl5JATsd6tng+D8zTdEQUUayWSbiJr 4wOulqABnZ09JqHEbSZgMxi8+W/VJI+WP0ue/d6jjZIMFES1iGia/rSGHispFA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1710600764; a=rsa-sha256; cv=none; b=KJbJagDeh69g+yYRLSa2g6Uavv93aRSChdfVvJ21lXUpF1IGNxnoCjQ+a6nSgWHD6rOSDW DBW+NF/DKG2G5/COtJbTdJjkkf2ztr3kZCkJZFWhApA+Fyj1azAmu7P4b1/FdweM0Wk3TQ 476NMl92X8eQ/mknEKN5440u31vVMeOj7CvTXC/qFURc9reAY9dW0kGFCsbn/X1W+s81BF ioXc3z6SEEYBlRjvQT0F+ymGGXQat/yFnp/FCpj1ngN+Safq75faCCZks9W6Qd2jT0285O uCJHAAEC4qy+jPvcMQ6fDj6BCe+EfeVtzGzrPlIEw1C4GwDk5SgEHMSaBylrsA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=none ("invalid DKIM record") header.d=cs.ioc.ee header.s=mail header.b=ZsSEhTVd; dmarc=none; spf=pass (relay.mimecast.com: domain of tarmo@cs.ioc.ee designates 193.40.251.8 as permitted sender) smtp.mailfrom=tarmo@cs.ioc.ee Received: from webmail.ioc.ee (webmail.ioc.ee [193.40.251.8]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-102-IN2NT9CkMd6YeZbAgk1-Vg-1; Sun, 17 Mar 2024 01:52:35 +1100 X-MC-Unique: IN2NT9CkMd6YeZbAgk1-Vg-1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cs.ioc.ee; s=mail; t=1710600748; bh=QT6ahdUHOB2V6uSRVspLqXtZfcZP94mT2qUxmu8wTm0=; h=Date:From:To:Subject:From; b=ZsSEhTVdza4CghVtofv9PQMUY6caOmqpGbG4SMk14i826pQMNYFlExGVkOm80uHHf k7A3cdECLdiMolr+frMkVrQeo9fDjnZG6mqkeViNzM+VRI9tsbmfHlHPhwejxZHuZ3 FOHS4LxMr74d1pzVxSdM0N5njopKbeL2pm6qPktcl4RFY2QVHINTaVik7pMHdMQUL5 5yS972CAF8WV4MUqN2OGzFG27ybYjQTE6Urf4jjkq114AhmqH89EIGL37lLkZMTc7p D2Hci1cU+/8nzDXbMzwDhPTIsrdaMJzUbAOyKsygiyB7xYugLlT5/+k0YLGw9uIvtM 9HAdRgc0lLs6A== Received: from authenticated-user (webmail.ioc.ee [193.40.251.8]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by webmail.ioc.ee (Postfix) with ESMTPSA id D6C16BD1BB; Sat, 16 Mar 2024 16:52:27 +0200 (EET) Date: Sat, 16 Mar 2024 14:52:26 +0000 From: Tarmo Uustalu To: categories@mq.edu.au Subject: Postdoc positions in Reykjavik Message-ID: <20240316145226.715218c5@kan> MIME-Version: 1.0 Authentication-Results-Original: relay.mimecast.com; dkim=none ("invalid DKIM record") header.d=cs.ioc.ee header.s=mail header.b=ZsSEhTVd; dmarc=none; spf=pass (relay.mimecast.com: domain of tarmo@cs.ioc.ee designates 193.40.251.8 as permitted sender) smtp.mailfrom=tarmo@cs.ioc.ee 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=_12403170152430011" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[193.40.251.8];domain=webmail.ioc.ee X-MS-Exchange-ExternalOriginalInternetSender: ip=[193.40.251.8];domain=webmail.ioc.ee X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY1PEPF00005A3D:EE_|MEYPR01MB7965:EE_|MEYPR01MB7417:EE_|ME3PR01MB5974:EE_ X-MS-Office365-Filtering-Correlation-Id: 5608bec7-76b2-4549-f099-08dc45c8bcf2 X-Moderation-Data: 3/16/2024 8:06:17 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: CVUBwBaqpN3qthSrc/XY0Hcp0H+unp/1urNORJgu4Q6uQO9mJM8NaKHHRj1uLvcRujVNKdlVlra2SboYJJB5VCfEKIPOmQ0hzc2C31UO72v8vRO3yc/YiOMyxCqxSX5BwMEi19FGSL7s9xcL6LSIbGtI/O3K/kQmTT5d1Wjo5OrloGmWTrtT8QfsIVqCftHiRhfBdIfty2F+ogxjpFvhg2mzL/TSYYsBY+mYkg+iA2ORiXoezjXuDHpHKJwsWKVvZHFaWm8u9c3KCHFkyJJSzYk5f2nc+zQuPY8IlOlgUoLwzul4d0mOOMlmuup3VgljFmM9yfDkp9UYO0dTFsysbgHTL8966cL87/qDODKNf1tiG6Rp4Wi/lusiyYWVxBWRm66LUzx12C3QMTrnoW2qf2fVHV+vRVgGw5Pwk8a1TMv/do86eZE4oj1QScc1o9ZiRSOCrMjXbOJdo5OO5MVLUoMSViH6CYiH8pxwcR8Mhr9cEv/DMOOCO6CM4xkVXeaiCqtEEHTzhN7Bsp4l0ZwYbshfIfUwsxjyg2CoxmCc3zOqcF8CBtAiuZw8mmPlDN8hv3d7Qb6+r3bfL8dvDB2VFtYycOOPqBUWJBetxFlWHPe95sEemaa0VBJ0hURWIXrhHOHxgUbJI1DijWtXeKnibx8iM5zrI8E8ie3jHKc2tO+J8QeIxfTtN0xdWNCP5t51gS3rjFfMaO7vOXhiozCNiDeLK1bqXLuWY5gsnU44T8FErPuezYzoJoKDQiDGNfJrH3G8SIhGxPZyTDJTvdvVfAoz+RnfN1RJDOJgCXZ6x9c= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:EE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:webmail.ioc.ee;PTR:webmail.ioc.ee;CAT:NONE;SFS:(13230031)(32650700005)(35950700004)(82310400014)(376005)(7416005)(48200799009)(1800799015)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 5608bec7-76b2-4549-f099-08dc45c8bcf2 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF00005A3D.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Mar 2024 20:06:19.8045 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: eG0ho2jPeWBTQpr+OvbnD9FgcPaBG/nVOqc0OFtkE/O5v2Phqyq4pCbRcnGALv6Qj4+ApUGNkiOMis4OUNNsutRXlhbx2Z3PXyO3MHFgNwlvoXtJawlRWYAy1HSyQiZYjHwOcV/6iAMA/b/AiMDHmDs1nlioUCvD5ecjO3WPniTKB5mPkL7NYtDnl3bFBkSo X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB5974 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: <20240316145226.715218c5@kan> 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?/aw22LB4+x2n7zZ7rMSPNeCXekpIHSpqm/YWsYNpE3McO/t7YqDkRuGk?= =?Windows-1252?Q?6wjiC76NbNppf3GHYnHoAGXyTL4+z7zFeCG7FaSK5I0a7PW7T/uFMINc?= =?Windows-1252?Q?r63UcBn9DBFBMHc1K018Ob3i8346ArZHg/+jDf8hIC/NADut6yv6p+EF?= =?Windows-1252?Q?g8bGuuChw+H2BWx3ZUo9DP0ZQ5a6LL1wc21OQqNLnkq87vrB6DVs73i1?= =?Windows-1252?Q?RsN0h9ZfzdPQMu7Lw3fg/xgicpiLdYxTioeddf+BUDrBjqUn2GTtxtCx?= =?Windows-1252?Q?JhVol2HPv966gyBi9Ey7idxOEHdsSfZoAiUx4+gu0MEuLRqd0N1YAngt?= =?Windows-1252?Q?jVnZ6uNqnQLYT5isLI2bNC7nKu89Jq5L4xaNJiVIAZXuH07OZ7MKI37B?= =?Windows-1252?Q?c8q14fdJWC28Zq5RBl5u4ZcbzUL8Nmrt8rxPfFHKKifLCnrAbdyZrEyn?= =?Windows-1252?Q?Btmlp/THjaTIgTFr/0IRkhXATIMpHayznisTPxjTgJemyTI9XEkpW7sH?= =?Windows-1252?Q?sBYt7G86+tIXfljyqLsm3oFr6CD6DeWSNn6DBp2WxmOmrSPkrQG+kQxG?= =?Windows-1252?Q?XWlF+vH2HKf01WiNN6xo3mqHab2gls/aU6II24+t7yip161IN1dKcSnZ?= =?Windows-1252?Q?Ifi06QIgXM62QkypaYomEo0Fbm7hp/gR+mN/zNtMTdnmYExRHv7eJO/z?= =?Windows-1252?Q?ZO6Z0XRYKITSE9NaibUpo9OoYcfJoldjrCQ1MQpihX227RttxBld4Ck/?= =?Windows-1252?Q?XbN1ZDlmPAHrCUhwTKINvS6Za4yfRVyeW82xWmR/nUkusOEMY7wuCpNL?= =?Windows-1252?Q?nqvofdTRgbzO7RqatGbHfPGKkcHsaiRk3tE/5lUyr8SBDcDWKB3UNmBR?= =?Windows-1252?Q?Dyh2p8Fj+btEMKuK3EKvMV2YRlHM7kdzw0phzc+hbfdyG2CspzADGCvN?= =?Windows-1252?Q?ruzXhi+eUps6td9OyO8uoAxOmLi+HRCLn5JDoTRF1N/NBt4KhaK94IHx?= =?Windows-1252?Q?jHKlKLySj90kW+Xr7aXxPkmrIGn44iH5tFmmDwsEYNts/Y8QFK7yP9n/?= =?Windows-1252?Q?6VoarHaby0YBQZ2AH8LCN/h53cdk4IXSELju9vZoO6d3BaOeTZ8nW2DR?= =?Windows-1252?Q?5zuMcobM5jf6gJsyQvYZKVVjDO9YoE1jOqF3Nijq13h1IsGbkhu87LPo?= =?Windows-1252?Q?f8D0P2nb9jvdC8skfPC8LzsooyTC3FyVEPrYeYwRZXWyNOZBdAyGWiHi?= =?Windows-1252?Q?y8hsVHgj5Q6UiTikMCW/qWOOQjr3VWN4VtHKlqDdQYVIEhWWknuU5xwh?= =?Windows-1252?Q?XD6JNxVEVLEarpjVddtsJNPYxBYQhohkP+uDoKMEkQvr4FyZQnpvrfnW?= =?Windows-1252?Q?c5Ct0lZGUK3FPh7zQMkYTiFhBrTHhOiKqpy4Anqkxu80R32/n7h5mjg6?= =?Windows-1252?Q?Fx5BiF8Oso8qhQMGIcaG0Ir+y23Vp136IwQgP2NmaCnj/P/3TD3CbHuB?= =?Windows-1252?Q?U854lb8hUeM7X2VNR3T/MwtYkRXgfmRm2amshUbt+EoLLJfyJWTZVF9G?= =?Windows-1252?Q?FMGzWGZiNRoEq5a6?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12403170152430011 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Two one-year postdoc positions (one possibly extendible to 1.5 years) are available in the ICE-TCS lab of the Department of Computer Science of Reykjavik University (https://www.ru.is/). One position is in the Icelandic Research Fund research project on computational effects and high-level control. In this project, we study in particular effectful concurrency and event-drivenness. These are the topics where we expect the postdoc to make research contributions. The other is in the University Collaboration Fund project to advance and promote computer-assisted proof in Iceland, in particular to introduce this technology to CS and math teaching at Reykjavik University and the University of Iceland. The postdoc has to prepare teaching material on verification of algorithms and datastructures in a type-theoretic proof assistant and teach from it, but there is also room for research in this domain. Start date: soonest, summer/autumn 2024. The gross salary is 663000 ISK (~4420 EUR) per month which amounts to ~3210 EUR after tax, with tax relief for foreign experts ~3675 EUR after tax. For closer information on the two projects as well as the research environment and the conditions of the contract, please get in touch with Tarmo Uustalu, firstname at ru . is. To apply, please send me a motivation letter explaining your background and interests together with your CV (including the names of two references) and copies of degree certificates latest by 31 March 2024. 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=_12403170152430011 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252 Two one-year postdoc positions (one possibly extendible to 1.5 years)
are available in the ICE-TCS lab of the Department of Computer Science
of Reykjavik University (https://www.ru.is/).

One position is in the Icelandic Research Fund research project on
computational effects and high-level control. In this project, we
study in particular effectful concurrency and event-drivenness. These
are the topics where we expect the postdoc to make research
contributions.

The other is in the University Collaboration Fund project to advance
and promote computer-assisted proof in Iceland, in particular to
introduce this technology to CS and math teaching at Reykjavik
University and the University of Iceland. The postdoc has to prepare
teaching material on verification of algorithms and datastructures in
a type-theoretic proof assistant and teach from it, but there is also
room for research in this domain.

Start date: soonest, summer/autumn 2024.

The gross salary is 663000 ISK (~4420 EUR) per month which amounts to
~3210 EUR after tax, with tax relief for foreign experts ~3675 EUR
after tax.

For closer information on the two projects as well as the research
environment and the conditions of the contract, please get in touch
with Tarmo Uustalu, firstname at ru . is.

To apply, please send me a motivation letter explaining your
background and interests together with your CV (including the names of
two references) and copies of degree certificates latest by 31 March
2024.
 
 
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=_12403170152430011--