From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 2F2115D5 for ; Sat, 13 Mar 2021 01:37:59 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,245,1610406000"; d="scan'208";a="497692227" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Mar 2021 02:37:57 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F147DE1D3C; Sat, 13 Mar 2021 02:37:57 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 67A9DE0171 for ; Sat, 13 Mar 2021 02:37:52 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu@gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f173.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A4/56gxSVpjp1et+wNrXnQZQ3ZtpsouOYAWYlgqE?= =?us-ascii?q?Pu/d1aq2muq7aFwnh351FslbFUM3h5u5ejKKO6ua8AD1GuMza+ypSOLV3FDY9w?= =?us-ascii?q?f0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV?= =?us-ascii?q?6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjVu8UMnIduNKg8xhTXrnZLZ?= =?us-ascii?q?u9b2X5mKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQLJbETorLXk76NXkuhf?= =?us-ascii?q?fQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi86JmQwLmh?= =?us-ascii?q?SsbKzI09nzch8pth6xZvR2hvQRyzIHUbo+bN/RwY73Tcs8BSGpdQspcTTBNDp+?= =?us-ascii?q?gY4YNCecKIOZWr5P6p1sLtRazGQ+sC/71yjBWh3/9wLc00+M5EQ7YxwwvA88Ou?= =?us-ascii?q?2nTodrvMqcdTPq1w7fJzTnZb/Nawy/96I/Qch8/uvGDQa9wfNHeyUkqDQzFj1G?= =?us-ascii?q?QpZb5MDOS0+QAqm6W5PdvWuyzkWAosR1xoiSxycc2jInEno0Yx0zZ+Chkz4s4O?= =?us-ascii?q?cG1RVJ/bNOgDpZduT+XOotoTs88QmxkpSI3x7MEtJC0YCQG1psqyhzfZvGad4W?= =?us-ascii?q?E/g7vWuaXLDxlinxlf7e/iAyz8Uim0uD8VM60301RriZfiNbDqmoB1wHQ6sWBV?= =?us-ascii?q?/Bz/V+h1C6R2wzP7uxIO0M5mKrBJ5I8w7M8ioAfvVnBEyL4nkj9kbWYeV8++ue?= =?us-ascii?q?y7uTqerXmqYGYN49zkgz+N74hms27AeghKwgOQ3WX9f2y1LH+/0D0Tq9GjvIxk?= =?us-ascii?q?qnev5DaIdoUqrSlDA9S14Yv8xe/DzG439QEhXQLMk5JdRadg4XqO1zCOu30APa?= =?us-ascii?q?jj1i2jTtmxf7LMqXkAprXL3jDlLnhfax6605Z0Ac819Zf6I9OCr4fIfL/QE/xu?= =?us-ascii?q?MbADh8+Kwy73f3nB8lg1o4FVmKPB7WWMKLWsVOS+u0vJOyMaJcPuDnhM/gl++L?= =?us-ascii?q?ujXghlFABZ6ap2J8XZGm8HvRnOEWZfWHhgswBEGcPpgoxVvbmiFyEUT5JZna9R?= =?us-ascii?q?bgw5j8hCNHuMYCWT5i1m7GE9CO6BYFNIHxNERaNH3auc4CZHfsBLGqbPtQkljU?= =?us-ascii?q?CWv28UII7zjmhswj1z7doNO3J4jZevpXmkJB+7ujX0BUz7iBcDsKH0mjLQXsw1?= =?us-ascii?q?mMBXDw72KRXoUVmyVqH1e5/mfMLO8ZU4qZgVAsgOJ+U9+tiBsv5R0qVd9GFUlu?= =?us-ascii?q?nBNXgGTYpQ8k63vcBZk98H5OpiRWVjHniOKMci7HeXM98yanbxXWkf65V+zP9z?= =?us-ascii?q?KAkymIebI5KPGyiiLR48mD7CIvAkkHfnKGvJ/109B6Iz3+KyC+1hG8dSBR5OY3?= =?us-ascii?q?KWHkeYg3dqtGrvivqf/qVEb0idzB554uCJ69NAvXshFRCAe7/YZHQOj3q3Wi3A?= =?us-ascii?q?hmMy/WHa4+4Iw0g?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AmPV6rK7z0nBmJnyI9APXwHXXdLJzesId70hD?= =?us-ascii?q?6mlaTxtJfsuE0/2/hfhz726StB89elEF3eqBNq6JXG/G+fdOi7U5EL++UGDdyQ?= =?us-ascii?q?iVBa5464+K+V3dMgnf0sIY6qt6aah5D7TLbGRSqcrh+gG3H5IB7bC8gcKVrNzT?= =?us-ascii?q?xXtsUg1mApsIh2xEIzyGGU57ThQuP+tdKLOg4KN81l6dUEVSQMD+InUeReDMq5?= =?us-ascii?q?nwiZr6bXc9ayIP2U2hizWn7bK/Pjq5+lMlUz1Jyao/6mStqWHEz5Tmnfe8xBrR?= =?us-ascii?q?k1XW8o0Tot380dFObfbituElbg7hgAqpe4htMoftgAwI?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BiAwD0FExgf62gVdFaHQEBAQEJARIBB?= =?us-ascii?q?QUBQIFPAoMfVjoxgUqCd4gDihGEaoV9hTOLbgsBAwENKAwEAQERhjICHQcBBDU?= =?us-ascii?q?FDQIQAQEFAQEBAgEDAwQBEwEBDQsLCCeFag2COCKEAxEdARseAxIQDwImAiQBE?= =?us-ascii?q?QEFASMaGoJPglQBAy8Pn3uBBD2LLYEVBQEXgwUGhFsKGSgNYgOBHxoCAQYSfSo?= =?us-ascii?q?BhWSBGoFedIQYgQWBI4FHgjdsgQSBXAGEdoJfBIMUbYERkhCpRQeDBASBHJJ2i?= =?us-ascii?q?CEigysBoGSQMIRComcQI4FJgXkzGiOBAYI4UBkNVo1JFx+DOYd6gl9ELzgCBgo?= =?us-ascii?q?BAQMJk31aAQE?= X-IPAS-Result: =?us-ascii?q?A0BiAwD0FExgf62gVdFaHQEBAQEJARIBBQUBQIFPAoMfVjo?= =?us-ascii?q?xgUqCd4gDihGEaoV9hTOLbgsBAwENKAwEAQERhjICHQcBBDUFDQIQAQEFAQEBA?= =?us-ascii?q?gEDAwQBEwEBDQsLCCeFag2COCKEAxEdARseAxIQDwImAiQBEQEFASMaGoJPglQ?= =?us-ascii?q?BAy8Pn3uBBD2LLYEVBQEXgwUGhFsKGSgNYgOBHxoCAQYSfSoBhWSBGoFedIQYg?= =?us-ascii?q?QWBI4FHgjdsgQSBXAGEdoJfBIMUbYERkhCpRQeDBASBHJJ2iCEigysBoGSQMIR?= =?us-ascii?q?ComcQI4FJgXkzGiOBAYI4UBkNVo1JFx+DOYd6gl9ELzgCBgoBAQMJk31aAQE?= X-IronPort-AV: E=Sophos;i="5.81,245,1610406000"; d="scan'208";a="375612581" X-MGA-submission: =?us-ascii?q?MDENnH6aSD5EHfrR25009kGR2G6TIHi+hn0S0J?= =?us-ascii?q?E4vsMEgD9K+X2RPN18fA45dM6PVEFEhCHbd7D7+zY/Cz6C3hOn9E/I08?= =?us-ascii?q?JQm3dS1q9w3uUAI3BNWglDZkTIb63J7V4tBog0eVgCLJuHbyHXCJy+2C?= =?us-ascii?q?KPPjl0vTgx2+i2MV0jHa5YCg=3D=3D?= Received: from mail-qt1-f173.google.com ([209.85.160.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 13 Mar 2021 02:37:46 +0100 Received: by mail-qt1-f173.google.com with SMTP id f12so5344814qtq.4 for ; Fri, 12 Mar 2021 17:37:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=NIi3koWe3L1Ik/T2WC9kjz9emjvIS9BVjiUZKWdqUUA=; b=FI885Q6FsV4Vu6QZgN6olqgtgmjnpqVpTIYYZriVY4Oj1iP1QPDJjHoPNBJhchkt0A MMlQt/UK3sx31mpfTRwKQ8hCvoiSyG6f60od43EDlMk78a2MGQU2iQX9T5mR8deCkzre aON+YJjvRYjnfpQBZdHtKoOJZjngn2n1tqxsVcEM3SbwO/i8whEQvvTYZUjxdzCoIy4c Nh7JfXwu47pNHE4feap7X/kKpI8/cneIRNJiFOBv//64Jpi/8rsUL4CGja8dhKgnVkMg d7Hs2dfiItEzkNxnCkStQ62CQ0IfRutzFTpkWQshaeJwmQi+6iz+tjcnMg/xarvV4mbk L10A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=NIi3koWe3L1Ik/T2WC9kjz9emjvIS9BVjiUZKWdqUUA=; b=XeVJIeyiL4hpLAnp3SbzxuiWOCBrEsn9d0mjel1m9GvgJSfWHU/QaVl1xugWNyn14p x4mxE0oO/x1FS1/TPRkb7NVmJU0Y54xQFq44mDgJ7H2beZr1XScW4uBkoZt7XiphyNqA mLHkqcK2x2kZCqUECZDphkUY0IaRO+IAB2Hd3bGjP9zrtDHeQwtO8NlkV87VIcem4f3U e8CFT0DaOZbOsjCuD+c55LVOsfb7ZSyUbxpQfAuPlSB9Of1NDMxFqIT2X0sMqCUJ9KmS CN9+2AeS5JHBslS11vFWsOrdD0zYhNlolrEPKMG1yyXsr5pBF3xXswcGFKUfQJ3uF9wz ghyg== X-Gm-Message-State: AOAM533IBT6jt+VvvGg78LcRTDnUD1OlDQmuItOzhz4uViWAbnm+kAsM 62viDj775b+UWLKmcN1OVnG4U5NXrcclyFBTFug= X-Google-Smtp-Source: ABdhPJyXL0alE4rszmpWr9Guns0uHF86nI038CvRj9/a29BKvAVUBigkp/iG1MnJm7Hxnb19Hh88jMEvY6K7t2rTPxY= X-Received: by 2002:aed:2b47:: with SMTP id p65mr14538371qtd.284.1615599465404; Fri, 12 Mar 2021 17:37:45 -0800 (PST) MIME-Version: 1.0 From: Andrei Popescu Date: Sat, 13 Mar 2021 01:37:34 +0000 Message-ID: To: appsem@lists.tcs.ifi.lmu.de, ats-lang-users@googlegroups.com, caml-list@inria.fr, haskell@haskell.org Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021 Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18423 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Greetings, The Department of Computer Science at University of Sheffield has an open position of Lecturer in Verification. Details can be found here: https://www.jobs.ac.uk/job/CEF438/lecturer-in-verification Female applicants are particularly encouraged. Best wishes, Andrei