From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10710 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Bernhard Reus Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Lecturer Positions in Computer Science at Sussex Date: Fri, 1 Apr 2022 15:06:29 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12859"; mail-complaints-to="usenet@ciao.gmane.io" To: "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Fri Apr 01 22:23:28 2022 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-00390e01.pphosted.com ([148.163.137.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1naNns-00037t-27 for gcst-types-announce@m.gmane-mx.org; Fri, 01 Apr 2022 22:23:28 +0200 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 231G9VSQ015739; Fri, 1 Apr 2022 16:22:51 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-00390e01.pphosted.com (PPS) with ESMTP id 3f64nt41fq-1; Fri, 01 Apr 2022 16:22:51 -0400 Original-Received: from RHIZOME.seas.upenn.edu (rhizome.seas.upenn.edu [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 231KMh1X034156; Fri, 1 Apr 2022 16:22:43 -0400 Original-Received: from rhizome.seas.upenn.edu (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 231KMgAP021561; Fri, 1 Apr 2022 16:22:42 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 231F6YxY125473 for ; Fri, 1 Apr 2022 11:06:34 -0400 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 23193QE1027668 for ; Fri, 1 Apr 2022 11:06:34 -0400 Original-Received: from eu-smtp-delivery-173.mimecast.com (eu-smtp-delivery-173.mimecast.com [185.58.86.173]) by mx0a-00390e01.pphosted.com (PPS) with ESMTPS id 3f5f74fhbw-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 01 Apr 2022 11:06:33 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sussex.ac.uk; s=mimecast20190531; t=1648825591; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=mUtNU4O3MFtWXFXUcz4A53eJuTjjQ3DHeRuEeCaj/08=; b=S11gSBp3Fr65IvE7FWDG7m7hy48/jKNr9s/VW4pSY1DievAcn3tifpqhIWkOShzniDzDeg 8JVFJfnpaXj+mpgY2lyEk4EgyF4Po5BSFwI0JLhx/pDtZZ8Jiv6gWqb9BPWBvsl8UCyMtn bKrxLjhenVbCEO+PEA7IoXmTENaWB8M= Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (mail-cwlgbr01lp2052.outbound.protection.outlook.com [104.47.20.52]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id uk-mta-171-2pH3XLPLONSCPPNPc6vvww-1; Fri, 01 Apr 2022 16:06:29 +0100 X-MC-Unique: 2pH3XLPLONSCPPNPc6vvww-1 Original-Received: from CWXP265MB4796.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:153::12) by LO2P265MB3546.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1a2::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5123.25; Fri, 1 Apr 2022 15:06:29 +0000 Original-Received: from CWXP265MB4796.GBRP265.PROD.OUTLOOK.COM ([fe80::c056:ad93:6bbd:d277]) by CWXP265MB4796.GBRP265.PROD.OUTLOOK.COM ([fe80::c056:ad93:6bbd:d277%4]) with mapi id 15.20.5123.025; Fri, 1 Apr 2022 15:06:29 +0000 Thread-Topic: Lecturer Positions in Computer Science at Sussex Thread-Index: AQHYRdoQMqHW4F7/qUiNVZ3ic/ch9w== Accept-Language: en-US x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 6c96a01c-25b9-43c0-7b7a-08da13f13329 x-ms-traffictypediagnostic: LO2P265MB3546:EE_ x-microsoft-antispam-prvs: x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0 x-microsoft-antispam-message-info: 7CUXG932eHpfVCQB40nDLRaw3xF74GwLDgnx+WXdoxrpKK51ry5j/t0JICHgq+XNRxkg5kwszfVjzIvL9GH/rf94FXwVzjXTHag/5Ygp6lcasg2vILds+AOGZ7fiOVrCPD/azO2LR+Km02AZ1Ld265t/6R8ghTPE4Qw9zxKfOBO+rTpRiimv5TxYomFu0xgmHADYG8O+xDZSLuUUjiVRvYOc0c2ELQ3NRVyNUS3vT7hWEsOImpzECoMIhKY2Xf5DGjAhFXscT+sVFZXdkgIm8KbGcMmFBYZIw1JlMk6S45z6yMNzd8IfMXObwBEIHPD5SU3VOskW14izN+O4Ot717LjNl9Cs2DL+kRPVYKofp0wPUj+KNehBrIbnsWpzf4JV1n+5OltGLQOKV56j8MaAJEodh36DhYwoCJAZGFLvCwsNQTooOIkM6ae96HwNoLWYgC/5ME9pbsoBJeNTaMJ4Dq7R+9SWXEpoboXu9sozhEfApA43nePNG0dNTrSHsCQfcfCyQ/Q9/f9qxBoCcKDXG0WcFz6LDZ7WIpR9dopfEgQGejGFtmuu1bgn1iR6CqWWlI0WC6+guxlr96ucXvC+Mpu3k+DsHsE9kXRwWamZjeNf8BBnWxY3Mp8SNYc2vF23JkYS3xD5kOeZfraPBkjUutYf9mcypcpX1ur+Yl/oQVOdsmoDGzHMbkngE6MHuT4qJ2cdvs2MTs03Kgg4A1WVNgDfi/szqg7ozr7kMmCCEvDvZNiasLd9SPZDfAO9r GsZfLoo1jfOBG/4JZQHkIYuzO62sFV2nGoCevasJ/1+vH4rujjGKoOWxDG+/b0NuO/+ x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:CWXP265MB4796.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(13230001)(4636009)(366004)(4744005)(6512007)(2906002)(33656002)(186003)(966005)(6486002)(8936002)(508600001)(86362001)(5660300002)(6506007)(786003)(2616005)(316002)(38070700005)(38100700002)(66446008)(110136005)(122000001)(76116006)(66946007)(36756003)(66556008)(8676002)(66476007)(64756008)(71200400001)(91956017)(45980500001); DIR:OUT; SFP:1102 x-ms-exchange-antispam-messagedata-chunkcount: 2 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?iyE4meUEi05rJpQ3uATWYwMvQ5QRz16t8lBxG7LV6ubnXDbbFg8ssKQ6BVF1?= =?us-ascii?Q?zFzptxMwbk2W5ZVppnAwZnjUVd3g7VbJ3vb0sqSCbGqWJv75SjaUJpbtDNe+?= =?us-ascii?Q?/xvFKmPqOUoDvCsoCJ7u4ZJW/X+UAW/1XxVWGyXH/IjBavPZHw4rIyNxTRnY?= =?us-ascii?Q?E3/A9PBnKLiCpQWfPlrVUgVHXcDEqlwNlrOuPP29hJyJZu9Y+zz6vOV+hReY?= =?us-ascii?Q?NJcE7dDfUI7QL4Y87DxaGqve6E16OcSYPW6SypId00ou2Lgs6opcSCCyB1Z1?= =?us-ascii?Q?K7pv43f1BfUWpXt/woCrinxA1Gcft6Ci9pjGbi/WNJ6ZyjDIhBxdRRP/qbQS?= =?us-ascii?Q?2CMga8+ocJdVoYGqaA5Nxrs63WS+4I7HpSxfTxse77Wwexk3oszz8R9oaGu9?= =?us-ascii?Q?o+8Z6b/lPmfIl744C2gxyUNHipJIFLXlMGsBeZzM7U189B6ng88LZsFdGhmt?= =?us-ascii?Q?rCHP0J1l5HQbQpct0Kik7G8si2WV6dhLgI+Qb/+dtOfERLOgGJ1AfcUKIolY?= =?us-ascii?Q?n7GGjdxcLeetBA/8nou5jr3Bx42O14M/Ok90C+UP0zq2SdP6x4BsACFzncok?= =?us-ascii?Q?RzrRsYaVX40Fgz55OlXs73wOjuES5Yej+woq2MfC4HKGgo+DWavL9b0ElN/+?= =?us-ascii?Q?Ox x-ms-exchange-antispam-messagedata-1: hnIzJ2+wr3XYZR7sZwdWB6YuTUUrOrurZRs= X-OriginatorOrg: sussex.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: CWXP265MB4796.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 6c96a01c-25b9-43c0-7b7a-08da13f13329 X-MS-Exchange-CrossTenant-originalarrivaltime: 01 Apr 2022 15:06:29.2280 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 1888e824-febb-4e67-b443-2f33261bc7e4 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: VAMyB81WVpqX0oqmIuy8q5IgScKTKAblu07SOcHAIp5tum6p8yR6Cfu0yXKW0OAlKl3J1erMxFEobQqUtNt42A== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO2P265MB3546 Authentication-Results: relay.mimecast.com; auth=pass smtp.auth=C73A247 smtp.mailfrom=bernhard-AzqoChGEdPuFxr2TtlUqVg@public.gmane.org X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: sussex.ac.uk Content-Language: en-US Content-ID: X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.850,Hydra:6.0.425,FMLib:17.11.64.514 definitions=2022-04-01_05,2022-03-31_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 clxscore=343 adultscore=0 impostorscore=0 phishscore=0 spamscore=0 suspectscore=0 priorityscore=0 mlxlogscore=874 malwarescore=0 bulkscore=0 mlxscore=0 lowpriorityscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2204010072 X-Mailman-Approved-At: Fri, 01 Apr 2022 16:22:40 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.35 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-ORIG-GUID: KmA9XUov21XDL4CTP7eTWPo7NgbEYxnF X-Proofpoint-GUID: KmA9XUov21XDL4CTP7eTWPo7NgbEYxnF X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.850,Hydra:6.0.425,FMLib:17.11.64.514 definitions=2022-04-01_05,2022-03-31_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 suspectscore=0 lowpriorityscore=0 clxscore=1011 priorityscore=1501 spamscore=0 phishscore=0 mlxlogscore=999 adultscore=0 malwarescore=0 impostorscore=0 bulkscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2204010097 Xref: news.gmane.io gmane.comp.science.types.announce:10220 gmane.science.mathematics.categories:10710 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Informatics at the University of Sussex (UK) is advertising four lectureship positions (equivalent to Assistant Professor) in Computer Science and Artificial Intelligence. Applications are welcome from academics with experience in _any_ area of Computer Science. Lecturers are expected to teach at undergraduate an postgraduate level and will be associated with one of our research groups: Artificial Intelligence, Creative Technology, and Foundations of Software Systems; the latter being the natural home for Theoretical Computer Science - including type theory and logic. More details can be found at: https://urldefense.com/v3/__https://www.sussex.ac.uk/about/jobs/lecturer-com-sci-8058__;!!IBzWLUs!FKHCVCFtjSAPqLictNb3zEuwmQjmijVjUvI6ebglXGD9dF8C1YLHgo6L5aSCCggKa8teYdCvsgxSNQ$ Closing date is May, 9th. Best, Bernhard