From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10101 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: "Sergiy Bogomolov" Newsgroups: gmane.science.mathematics.categories Subject: Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK Date: Wed, 15 Jan 2020 15:59:12 -0000 Message-ID: Reply-To: "Sergiy Bogomolov" Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="95848"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Fri Jan 17 16:02:37 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1isT8t-000Of6-Se for gsmc-categories@m.gmane-mx.org; Fri, 17 Jan 2020 16:02:36 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:41058) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1isT70-0000x2-Oo; Fri, 17 Jan 2020 11:00:38 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1isT7I-0007pa-Ne for categories-list@rr.mta.ca; Fri, 17 Jan 2020 11:00:56 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10101 Archived-At: At the School of Computing of Newcastle University (UK), I am looking = for a postdoc to work on algorithms and techniques to support scalable verification of hybrid systems. Candidates working on adjacent topics, = which contribute to the broad goal of ensuring safety of autonomous systems = such as synthesis of hybrid systems, are encouraged to apply as well. = Interest in investigating links between formal methods and areas of artificial intelligence such as AI planning and verification of machine learning algorithms is welcome. More information is available at the following link:=A0https://www.jobs.ac.uk/job/BXW951/research-assistant-associate-cy= ber-p hysical-system Sharing and forwarding of this note is very much appreciated. Thanks a lot, Sergiy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]