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 2E4A75D5 for ; Mon, 22 Nov 2021 11:34:23 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.87,254,1631570400"; d="scan'208,217";a="4981725" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Nov 2021 12:34:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 816FAE0280; Mon, 22 Nov 2021 12:34:20 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4D47FE0072; Mon, 22 Nov 2021 12:34:15 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f49.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3A6Gt6pBxGAjFXurjXCzKXwVBlVkEcU1XcAAcZ59I?= =?us-ascii?q?dhq5Udez7ptK+ZhWZuakm1g+BdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg?= =?us-ascii?q?94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZ?= =?us-ascii?q?oKujvFYPekdm72/q99pDcbAlEmjmwaq5uIRurqgncqtMYipZ4JKYrzRvJrHpIe?= =?us-ascii?q?+BIym5tOFmegRXy6Nqu8ZB66yhftO4v+MBGUaXhYqQ3VqdYAyg8M2A0/8Lkqx/?= =?us-ascii?q?ORhaS63QGU2UWlh1IAxXZ7Bz/Q5z8vDf2uvZ71SKHJsD9U6w6Viq+4KdqUB/oi?= =?us-ascii?q?TkINzgl8GHMl8d8iLtXrA+9qxBjxoLZZpyeOvhjcaPHZd4VSmpPUMhSWSJcHI2?= =?us-ascii?q?zc5ACAPAdMetCtYTxu0cCoBm4CAKxBO3v0DhIhnru0KM10OQuCx3G0xI6H9IPt?= =?us-ascii?q?nTbtsj+OqIVUeCw0qbIyyjMYOlQ2Tfh84jIcQouoPGWUrltdsfRyk4vFwbbgVW?= =?us-ascii?q?WtIPqJTWV1vgWs2iY9eVhVfighnUoqwF0uDevx8MshpPViYISz1DJ7CN0y5s6K?= =?us-ascii?q?tOkUkB0e8KkEIdOuCGAMYt7WscvTm5mtiok1LEItpy2cTUJxZk6yBDRZOKKfYe?= =?us-ascii?q?I7B/gSOufLyt0iX1qdr6hhBu/8lasx+/zW8e6zFpGsyVInsfKu3sQ2RLT7c2HR?= =?us-ascii?q?eF8/kenwTuP1w7S5vteLk8oj6bbNp0hzqY3lpoJq0vMAiv2l1vqg6+ScUUk5/W?= =?us-ascii?q?n5/77bbXho5+RMZJ/hALmMqk2hMCzHeA1PhINUmWb4+iwyqPv8VDjTLhFivA7l?= =?us-ascii?q?LTSvorAKsQBvKG5BhdY0oY95Ba7CDeryNEYkmMGLFJBYR6GgZLpN0zXLPD2Avq?= =?us-ascii?q?yh06gkDhsx/DBMb3hBovCImLfn7fmeLZx809cyAwtwtBD/59YFK0NLfbpVkLyt?= =?us-ascii?q?NHUFAE1PxKpz+r9B9hw0psSWWeVDa+YNKPSv0WI5uUqI+SUZ48VvzP9JOYj5/H?= =?us-ascii?q?zl3A5n0MdfbKq3ZQNaHG3BO9rI0qcYXX2g9cBFX0GsRY5TOzvkFGCSyJcZ26uX?= =?us-ascii?q?6Ig4TE2EJ6pAp3GRoCpmbCB2Ca7HoZKZm1dEVCNEXLod52eVPsWaSKSJNVhkj0?= =?us-ascii?q?eWrS7RY8hzwmktBXmxLp/MurU5ioYuIr/29hy/u3fjA099ThpD8uGyGyNVGF1n?= =?us-ascii?q?mYQRzAsxqx/oEp9yk2C0adimfBYG8ZTtLt1VVIXNpfAwvZ7Ddm6eQXEc9GFQVC?= =?us-ascii?q?6WdavEDh5Gt8ymo4mY1k7Et7kkxOVm2K2EqcYjPmPBYco2qbdxGTqYd1wwm2Ay?= =?us-ascii?q?bEsiV9gT8dScSWmj7V8+gzXQoXAnUixl6+xdqkY2GjK7mjHhXafpExDeApxSrn?= =?us-ascii?q?eG3sfb0/ToM7ioFjPC/elCL0gdxZaxNSZAqBOa8XthF8AQ+3sfJzVame103qrC?= =?us-ascii?q?AyTjueHZY/uPmEcxzn1CU4ekglV82zQcUAzHCOopW2bFSFjDk7uZEX32eRkrHq?= =?us-ascii?q?9QQkz1Q7OJ2Rb6P+e3TswpMCgZt472rMatT05rDJwWl+2mc/VT5KLo09gZ6xWb?= =?us-ascii?q?Nc57RJazm/DrCR5P4e8NOZpj1tYeg8xokCqnwl+Ba1djcwrt28xihduJLKRyxV?= =?us-ascii?q?Mey7clZr3PabLb2j04B21ZrXK8lXfy8qNvK0I7+8k7VL5s0XhP1E59H5m2sVU1?= =?us-ascii?q?H3U6JLQRDEDVJj2Vkc8vzx9qLDRKn00/If8y3R3KqCu9DLOxoRtTOAhxx+mOtN?= =?us-ascii?q?eK7+sDwTzHssRCo60NaosnxzhYwwJOvx69ahyI97jfP+PxbW3PO9k2j6rySxf+?= =?us-ascii?q?odyl0aF8SVURu/LwtAJwLXQ1wWcWjzUhVm6v8uxkJteIzoUBHH5xzKgTJVcbbB?= =?us-ascii?q?ofJoaIWmpOMS7gNJkiNqlVHJCsV+mL1wKwoqofFycdRi10hEVy0kNoHLigSaiy?= =?us-ascii?q?jVynjc1tYKQ0DaLwuGkegBDcnJCS0FplhHxPYWkhstcUUS1K0AxkBKj6Fr53YB?= =?us-ascii?q?YvuJ4NWaXCUlNfiPtB2BkSKq5sqKPeIhB8tdgtzpPTKG9Z16dYrr8uAcBlSLkF?= =?us-ascii?q?C1TyXRzazGnvY/omQBSjGOGMG1+tmSff8Z8zBSZ6dDBAbZa2T8DATV4hD7NF3C?= =?us-ascii?q?9MtSku9KOmNOLreGWXmOvXNtOdyiuzoqasDCh+G1nRxGy27iykdn/VBc9yyzg1?= =?us-ascii?q?95yTg3Togu6aYCvn4iBHqozckRwH07nw89zEZo4kpR2jZpWxHtMwt2O4WJPxXz?= =?us-ascii?q?vKf1e0KnlKnoSAzcAhcPWtkyt8ldiMnOSx8rdUXqcyYNKYN2+ZXoL2z84p5RAD?= =?us-ascii?q?Ky856cCmyxpvhyxpkTMYq451jwUxfYG6WIHxe0K/EItxz6eD7QWNUlRJi/hkxD?= =?us-ascii?q?O6Mqx6O1ea2qmWbyxz1Zl29uhBbWHrxtHHm30Pt8+DDd99YB2NlTLzXv456nge?= =?us-ascii?q?cLMdpQIuxSP1QrYgu5Tbp89i75Cji1+fGn5oHcNyughjBUo04v+9IyOKnso9aS?= =?us-ascii?q?/BQNePTDdYsoY4XftkuBXlYCL3MTnGptqAXAKWoflV/+zDBoTs/qhOgrIGTZ6t?= =?us-ascii?q?3TfUaHHGRS37EZ9s2mJGJ2tKzeYIHBfxN4kWRrOClZYhVU5Xzwmk4Q4EAni58v?= =?us-ascii?q?kfUF17zYN/V3xuxIEnuFvMhT5Xm7ZuByrYyY9YJeaJRtSqApF4hGGYoSl8utvE?= =?us-ascii?q?nQArdWapwuXJznePlwQZYnsckOBDlHneLKp4IuYmwB3LuW7JvrKJ76JrL4HPx9?= =?us-ascii?q?p7Zem048j4CzVc8vTbz9tCPo03kcFVnd8SZyxpg=3D=3D?= IronPort-Data: =?us-ascii?q?A9a23=3AFUtJhal0jhHbKwzxS0bvZn/o5gyGJ0RdPkR7XQ2?= =?us-ascii?q?eYbTBsI5bp2YOyGBMDGyAM6zcNjTyKNtwOY6woUlXv8WDyYdiTAdp3Hw8FHgiR?= =?us-ascii?q?ejtVY3IdB+oV8+xBpSeFxw/t512huEtnanYd1eEzvuWGuWn/SYUOZ2gHOKmUbe?= =?us-ascii?q?dYHopHGeIdQ944f5ds75h6mJXqYPha++9kYuaT/z3YDdJ6RYsWo4nw/7rRCdUg?= =?us-ascii?q?RjHkGhwUmrSyhx8lAS2e3E9VPrzLEwqRpfyatE88uWSH44vwFwll1418SvBCvv?= =?us-ascii?q?9+lr6WkgDQ7qXIhLXz3QKCu6thR9NoiF02aE+XBYeQR0P2nPZwpYrkowL6c3Yp?= =?us-ascii?q?QQBZsUgnMweVBxVFS13O7Fd+7bWKFCwtMWSywvNdH6EL/BGUBBmZNNFpI6bBkk?= =?us-ascii?q?XraBCQNwXVTiIjueyhba6UfVEndUmNMCtPYUFu3gmwyuxJf0hWNXIR7jAzcRJ2?= =?us-ascii?q?S85wMFIB/fXIcQDAQeDxjzUO0gVfAgDUcdm2r+83CynNWcJ+QuB/v9vpTXHk1l?= =?us-ascii?q?YzpzGNf75evirTONphGKmp0fSpjysUlVHILRz0hKA+3Oow/DVxGb1BNNUG7q/+?= =?us-ascii?q?fpnxlaUwwQu5NQtfQPTiZGEZoSWArqz6nD4+xbCaYA3/U2vC8bnBli2/C/CsRk?= =?us-ascii?q?bVN5dVeY97WlhD4K8DxmxXgA5ovxpMbTKd/PagRQl01aIm5XiAjkHXHi9VyeG7?= =?us-ascii?q?rnNxd+tEXF9EILBDBPoiSMK5tDipMc4iRenohNLeEKqpoWdJAwcCAxmYMTza3v?= =?us-ascii?q?/QCLLO2iGEYj7vg+R?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Aav5GCKoC6eFXRotZlN/JZUUaV5o8eYIsimQD?= =?us-ascii?q?101hICG9E/b1qynKpp4mPHDP6Qr5NEtMpTnEAtjjfZqjz+8R3WBhB9iftWDd0Q?= =?us-ascii?q?PCEGgh1+vfKlbbdREWmNQttpuIC5IObOHNMQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtAQD7fpthfzHdVdFaDoJUgSGBNUtWO?= =?us-ascii?q?zGER4EejVCCJYEWlHCINAsBAwENKgEMCgQBAYUEgnECHQcBBDMGDgECBBUBAQU?= =?us-ascii?q?BAQECAQMDBAETAQENCxAIMiSFaA2CNSkBg2YFARARHQETCAUMBAkDEgMNAy0HA?= =?us-ascii?q?gIiAREBBQEiARIIFAaCUIJUAQMvD5MEjxmBBD2LMoEVBReBAYIJBoE/AU8FgjQ?= =?us-ascii?q?KGSgNaYFXAgEGEoEohEWCZQEBgn6ECCccgg2BFTaCBTgFAm6BQQGBIQECARUDg?= =?us-ascii?q?XOCa4JlBI9KH1wDI0whE2gKL20LjnQBg2asO16CZgWDdIZZlDEyg2yLdZdNLJE?= =?us-ascii?q?XhFIfjFeTdIU4ECMSgUKBfnCBAYI4URkPjleDO4d6gh8IPUQwAgE1AgYBCgEBA?= =?us-ascii?q?wmPYC2CFwEB?= X-IPAS-Result: =?us-ascii?q?A0CtAQD7fpthfzHdVdFaDoJUgSGBNUtWOzGER4EejVCCJYE?= =?us-ascii?q?WlHCINAsBAwENKgEMCgQBAYUEgnECHQcBBDMGDgECBBUBAQUBAQECAQMDBAETA?= =?us-ascii?q?QENCxAIMiSFaA2CNSkBg2YFARARHQETCAUMBAkDEgMNAy0HAgIiAREBBQEiARI?= =?us-ascii?q?IFAaCUIJUAQMvD5MEjxmBBD2LMoEVBReBAYIJBoE/AU8FgjQKGSgNaYFXAgEGE?= =?us-ascii?q?oEohEWCZQEBgn6ECCccgg2BFTaCBTgFAm6BQQGBIQECARUDgXOCa4JlBI9KH1w?= =?us-ascii?q?DI0whE2gKL20LjnQBg2asO16CZgWDdIZZlDEyg2yLdZdNLJEXhFIfjFeTdIU4E?= =?us-ascii?q?CMSgUKBfnCBAYI4URkPjleDO4d6gh8IPUQwAgE1AgYBCgEBAwmPYC2CFwEB?= X-IronPort-AV: E=Sophos;i="5.87,254,1631570400"; d="scan'208,217";a="4981656" X-MGA-submission: =?us-ascii?q?MDGnyY5mCN54kMGYP3XgA/CfN+Q/DKq1x1Qgvp?= =?us-ascii?q?66CgvEYIT9MxZuN/k1HsOHXFZRNXcyXWHMtMqSNprgOcWM4c4BvQHvDG?= =?us-ascii?q?m58hkGRKnYg3xm3PatV1tQCzd6NQ+yKCuv8FAv48zky4RwkUWTOYgnfr?= =?us-ascii?q?6gX9bFLOcGA2Hg2+B+NK++Eg=3D=3D?= Received: from mail-wr1-f49.google.com ([209.85.221.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 22 Nov 2021 12:34:15 +0100 Received: by mail-wr1-f49.google.com with SMTP id b12so32079943wrh.4; Mon, 22 Nov 2021 03:34:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=NRbjNxds/VuNG+DjC7TiGhdeexorpgZfd9m2eyadxQ8=; b=Jhnh1+s+t0ikp0fhr6XquiWI49DcLz0PO0lWjc42hpQwea4x5/f4Zh2l1TwJXig6mO E3eSrnC3p0K6B4PspChXCoGg7on89IAk9s5J6siAQY1spH6MSjKkvoWFlS7Z81M9/Fgy Ap49o148z1cv9lDtu0/Rts3vpt3eIijMzTBknIRlnqmW+PUf3Fv9EDgSbU0Wqddi/hmX TFqcjNkPdOr23JVVP4iHYEcj3G2MjIEDx+iDiVGdmPUkVkFi8r9bypMp3FBz4TIFlTjZ NY4ozMDQcFgQhOrJYbeD+irL+2Tqjg+52yoz4IzvUS+Fb7+K8CQGH/LGfXS1quNxNuQI UwYA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=NRbjNxds/VuNG+DjC7TiGhdeexorpgZfd9m2eyadxQ8=; b=lP6uQxCNzrFN5UI5CMN+sjp3qRnnAyTryWPkLLu6/13/pLncZJlnOz/DdSnXtFtclB K6ac9l/JIXmGNwALGg0GTpQmbV9pRe0C/EM5G7hwXVqCOUGPsXc7DZDOsu4XdBMNs+0K cYSTzQYPvGcz98bfU2K27iLNNOrHPGWnXnr3gePjY6T4/zAfU5Mg9pHT/xd1hdpuISIa DKpFCXj1qCRzA8burhwzejdY/P9fqmEVWAD5xeNjH5XnRfeUYWdklCMe6mPYhxV1wPLm j/OFPWI8w9+j5EavEBD40YP79YeOC8UIV/9VPh+jtfPvsQlS2UZE3TqbFvUWzXEgfxHc aqaA== X-Gm-Message-State: AOAM530Lr7nAcWxR5/9RrX1p9wzmIZfVjOvcJkdtpmVgoqLMzdGxFkoy q6mZSZrH/ZXA9eJ6roJuBX3jvHXrSAwLtmzmXXM= X-Google-Smtp-Source: ABdhPJzwg371kt2veoO/4jaqnQChWF3aRyBHw5cOfdnTghsf8sFVmS9JlUWGNH7qasaRyVr5aJT0VfFjtnk9/rusI3E= X-Received: by 2002:adf:d1c2:: with SMTP id b2mr37370398wrd.369.1637580853919; Mon, 22 Nov 2021 03:34:13 -0800 (PST) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Mon, 22 Nov 2021 11:33:47 +0000 Message-ID: To: Ekaterina Komendantskaya , types-list@lists.seas.upenn.edu, haskell-cafe@haskell.org, types@lists.chalmers.se, ciao-users@cliplab.org, caml users , erlang-questions@erlang.org, ARW-COMMITTEE@liverpool.ac.uk, cl-isabelle-users@lists.cam.ac.uk, tag@utlists.utexas.edu, boost-interest@lists.boost.org, Association for Symbolic Logic , clean-list@science.ru.nl, event@in.tu-clausthal.de, prog-lang@diku.dk, afsec@afsec.asr.cnrs.fr, security@fosad.org, gdr-im@gdr-im.fr, gt-verif-permanents@gdr-im.fr, tag@cs.utexas.edu, planetkr@kr.org, fmics@inrialpes.fr, nwpt-info@lists.ioc.ee, theorynt@listserv.nodak.edu, comm-theory@ieee.org, wi@aifb.uni-karlsruhe.de, iclp-workshops@sfu.ca, DSG , stp , British Logic Colloquium , cade@itu.dk, haskell@haskell.org, agda@lists.chalmers.se, types-announce@lists.seas.upenn.edu, coq-club@inria.fr, laiv-announce@macs.hw.ac.uk, lfcs-interest@inf.ed.ac.uk, spls@lists.cent.gla.ac.uk Content-Type: multipart/alternative; boundary="00000000000016c31305d15f016b" Subject: [Caml-list] Permanent research-intensive academic post: Verification and Validation of Autonomous Systems, at the National Robotarium, Edinburgh, UK Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 18617 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: --00000000000016c31305d15f016b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *... Apologies for multiple postings, please help to distribute to potential applicants in your research area* ASSISTANT PROFESSOR / ASSOCIATE PROFESSOR in COMPUTER SCIENCE ("BICENTENARY RESEARCH LEADER") HERIOT-WATT UNIVERSITY, EDINBURGH, SCOTLAND, UK SALARY: =C2=A360,000 -=C2=A342,000 per annum START DATE: FROM MARCH 2022 (NEGOTIABLE) CLOSING DATE FOR APPLICATIONS: 15 DECEMBER 2021 JOB DESCRIPTION: Heriot-Watt University has established a reputation for world-class teaching and leading-edge, relevant research, which has made it one of the top UK universities for innovation, business and industry. To celebrate our bicentenary of pioneering research, we recruit outstanding research academics, *Bicentenary Research Leaders*, some of whom will be associated with the new National Robotarium (NR) and the Edinburgh Centre for Robotics (ECR). We welcome applicants for this post and in particular research leaders in the field of trustworthy autonomous systems. As both trust and autonomy can take many forms, we are interested in a range of research areas, leading examples being: - Verification (automated and interactive theorem proving, (probabilistic) model checking, SMT solvers), - Validation (programming languages infrastructure, integrated simulation), - Security for Complex Autonomous Systems (robustness against adversaries, security and autonomous cars) - Interpretable/Explainable/Property-driven Machine Learning. The "Bicentenary Research Leader" positions are permanent research-intensive posts, with the expectation that the successful candidates will devote most of their time to develop cutting-edge research ideas and lead large research projects. ABOUT OUR TEAM: The Department of Computer Science is internationally renowned for its world-class research across a number of areas, including artificial intelligence and machine learning, data integration, knowledge representation, visualization and analytics, natural language processing, formal methods, logic, type theory, programming languages, parallel computation, human-computer and human-robot interaction, and cybersecurity. Jointly with the School of Engineering at Heriot-Watt and the School of Informatics at the University of Edinburgh, we host the center for doctoral training =E2=80=9CEdinburgh Centre for Robotics=E2= =80=9D and the UK=E2=80=99s first National Robotarium, that together form a =C2=A3129M joint venture, a center of excellence for AI research on an international scale, and a research and innovation hub with >150 staff and PhD students. In RCUK=E2=80=99s recent Grand Challenges= Scheme: Trustworthy Autonomous Systems (TAS), our academics form core teams in 2 out of 7 TAS nodes (each node is supported by a =C2=A33M research grant). The two nodes stand for =E2=80=9CTrust=E2=80=9D and =E2=80=9CGovernance=E2=80=9D in Auton= omous Systems. Our grant funding in this area has also grown through being awarded, jointly with the School Of Engineering at HWU an EPSRC Industrial Strategy Challenge Strategy Fund for the Robotics Hub for Offshore Robotics for Certification of Assets (ORCA) worth =C2=A314.6M, which is one of the largest industrial strategy challenge funds awards in Scotland. The department has strong collaboration with Industry. Since 2014, we have undertaken 107 projects with industrial partners, through our doctoral training centers (40 industrial partners), the ORCA hub (30 industrial partners), and the TAS nodes. Among our collaborators are Amazon Research, BP, Chevron, FiveAI, Horiba Mira, Imandra, Kawasaki, Kuka Robotics, Lloyds, Schlumberger, and many others. The School of Mathematical and Computer Sciences has an Athena SWAN Bronze Award and is committed to an equality charter, which includes having a diverse and inclusive workforce, and to offering equality of opportunity to all (see https://www.hw.ac.uk/schools/mathematical-computer-sciences/about/athena-sw= an.htm ). We particularly encourage applications from women, and we welcome requests for flexible working arrangements and endeavour to accommodate them, whenever possible. For further information about this position, please consult the university job portal . For informal discussions about the position or the department of Computer Science please contact Prof. Ekaterina Komendantskaya (Head of Computer Science) at ek19@hw.ac.uk --00000000000016c31305d15f016b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
... Apologies for=C2=A0multiple postings, please help t= o distribute to potential applicants in your research area
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0ASSISTANT=C2=A0PROFESSOR=C2=A0/ ASSOCIATE=C2=A0P= ROFESSOR=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 in COMPUTER SCIENCE
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 ("BICENTENARY RESEARCH LEADER")
=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =C2=A0 =C2=A0 =C2=A0HERIOT-= WATT=C2=A0UNIVERSITY, EDINBURGH, SCOTLAND, UK
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0SALARY:=C2=A0=C2=A360,000=C2=A0-<= /span>=C2=A342,000=C2=A0per annum
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0START DATE: FROM MARCH 2022 (NEGOTIABLE)
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0 CLOSING DATE FOR APPLICATIONS: 15 DECEMBER 2021

JOB DESCRIPTION:
=

Heriot-Watt University has established a r= eputation for world-class teaching and leading-edge, relevant research,=C2= =A0
which has made it one of the top UK universities for innovati= on, business and industry.

To celebrate our bicentenary of pioneeri= ng research, we recruit outstanding research academics, Bicentenary Rese= arch Leaders,=C2=A0
some of whom will be associated with the = new National Robotarium (NR) and the Edinburgh Centre for Robotics (ECR). = =C2=A0
We welcome applicants for this post and in particular rese= arch leaders in the field of trustworthy autonomous systems.=C2=A0
As both trust and autonomy can take many forms, we are interested in a ra= nge of research areas, leading examples being:=C2=A0
  • Veri= fication (automated and interactive theorem proving, (probabilistic) model = checking, SMT solvers), =C2=A0
  • Validation (programming languages in= frastructure, integrated simulation),=C2=A0
  • Security for Complex Au= tonomous Systems (robustness against adversaries, security and autonomous c= ars)=C2=A0
  • Interpretable/Explainable/Property-driven Machine Le= arning.
The "Bicentenary Research Leader"= positions are permanent research-intensive posts, with the expectation tha= t the successful
candidates=C2=A0will devote most of their time t= o develop cutting-edge research ideas and lead large research projects.=C2= =A0
=C2=A0
ABOUT OUR TEAM:

The Department= of Computer Science is internationally renowned for its world-class resear= ch across a number of areas,=C2=A0
including artificial intellige= nce and machine learning, data integration, knowledge representation, visua= lization and analytics,=C2=A0
natural language processing, formal= methods, logic, type theory, programming languages, parallel computation,= =C2=A0
human-computer and human-robot interaction, and cybersecur= ity.

Jointly with the School of Engineering at Heriot-Watt an= d the School of Informatics at the University of Edinburgh, we host=C2=A0
the center for doctoral training =E2=80=9CEdinburgh Centre for Rob= otics=E2=80=9D and the UK=E2=80=99s first National Robotarium, that togethe= r form a=C2=A0
=C2=A3129M joint venture, a center of excellence f= or AI research on an international scale, and a research and innovation hub= =C2=A0
with >150 staff and PhD students. In RCUK=E2=80=99s rec= ent Grand Challenges Scheme: Trustworthy Autonomous Systems (TAS),=C2=A0
our academics form core teams in 2 out of 7 TAS nodes (each node is= supported by a =C2=A33M research grant). The two nodes=C2=A0
sta= nd for =E2=80=9CTrust=E2=80=9D and =E2=80=9CGovernance=E2=80=9D in Autonomo= us Systems. =C2=A0 Our grant funding in this area has also grown through be= ing=C2=A0
awarded, jointly with the School Of Engineering at HWU = an EPSRC Industrial Strategy Challenge Strategy Fund for=C2=A0
th= e Robotics Hub for Offshore Robotics for Certification of Assets (ORCA) wor= th =C2=A314.6M, which is one of the largest=C2=A0
industrial stra= tegy challenge funds awards in Scotland.

The department has strong = collaboration with Industry. Since 2014, we have undertaken 107 projects wi= th industrial partners,=C2=A0
through our doctoral training cente= rs (40 industrial partners), the ORCA hub (30 industrial partners), and the= TAS nodes.=C2=A0
Among our collaborators are Amazon Research, BP= , Chevron, FiveAI, Horiba Mira, Imandra, Kawasaki, Kuka Robotics,=C2=A0
Lloyds, Schlumberger, and many others.

The School of M= athematical and Computer Sciences has an Athena SWAN Bronze Award and is co= mmitted to an equality charter,=C2=A0
which includes having a div= erse and inclusive workforce, and to offering equality of opportunity to al= l=C2=A0
We p= articularly encourage applications from women, and we welcome requests for = flexible working arrangements and=C2=A0
endeavour to accommodate = them, whenever possible.

For further information about this p= osition, please consult the univ= ersity job portal.
For informal discussions about the positio= n or the department of Computer Science please contact
Prof. Ekaterina K= omendantskaya (Head of Computer Science) at=C2=A0ek19@hw.ac.uk=C2=A0

<= div dir=3D"ltr" class=3D"gmail_signature" data-smartmail=3D"gmail_signature= ">
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0



--00000000000016c31305d15f016b--