From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10884 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Sammartino, Matteo" Newsgroups: gmane.science.mathematics.categories Subject: Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 20 Jan 2023 Date: Wed, 21 Dec 2022 10:17:09 +0000 Message-ID: Reply-To: "Sammartino, Matteo" Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17978"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Sat Dec 24 02:11:23 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1p8t4N-0004Rm-HO for gsmc-categories@m.gmane-mx.org; Sat, 24 Dec 2022 02:11:23 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:37760) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1p8t3b-000271-TB; Fri, 23 Dec 2022 21:10:35 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1p8t3D-0008Fz-Fm for categories-list@rr.mta.ca; Fri, 23 Dec 2022 21:10:11 -0400 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10884 Archived-At: Applications are invited for the post of Post-Doctoral Research Assistant i= n the Computer Science Department at Royal Holloway, University of London. The post holder will have an exciting opportunity to work on the EPSRC-fund= ed "Verification of Hardware Concurrency via Model Learning" (CLeVer) proje= ct, led by Prof. Alexandra Silva (UCL/Cornell) and Matteo Sammartino (RHUL), in= collaboration with ARM, world-leading designer of multi-core chips. For an informal discussion about the post, please contact Matteo Sammartino= on matteo.sammartino@rhul.ac.uk. # Brief description of the project Digital devices are increasingly complex, therefore there is a pressing nee= d to automate the assessment of their correctness. Formal verification prov= ides highly effective techniques to assess the correctness of systems. Howe= ver, formal models are usually built by humans, and as such can be error-pr= one and inaccurate. The project aims to develop a novel verification framework for hardware, wh= ich combines learning, testing and model-checking. Not all models are suita= ble for this purpose and hence specific classes of models will need to be d= eveloped, depending on the task at hand. Subsequently, learning and verific= ation techniques for these classes need to be devised and tested in realist= ic case studies. We have an industrial partner, ARM, that will provide valu= able guidance on the design and development of the aforementioned tasks. # The ideal candidate We are looking for candidates with a PhD in one of the following areas: mod= el-based testing and verification, model learning, automated analysis of ha= rdware systems. Experience in multiple areas will be valued. Candidates ide= ally should also have strong programming skills. # Where to apply Additional details and a link to the application can be found here: https://jobs.royalholloway.ac.uk/0922-411-R-R The deadline is 20 Jan 2023 (midnight). Best wishes, Matteo Sammartino =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D Matteo Sammartino, Lecturer Royal Holloway University of London Department of Computer Science Tel.: (+44) (0) 1784 44 3690 Office: 2-07, Bedford Building https://matteosammartino.com/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]