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 935085D4 for ; Tue, 16 Feb 2021 13:33:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,183,1610406000"; d="scan'208,217";a="493276035" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Feb 2021 14:33:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 08B89E037E; Tue, 16 Feb 2021 14:33:42 +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 7233EE020F; Tue, 16 Feb 2021 14:33:36 +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-wm1-f42.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A4ur8wRM0JTkv0flHe/4l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/X/osbcNUDSrc9gkEXOFd2Cra4d2qyJ6+u7AiQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Nhe7oRneusQYj4ZpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoQAD+QPM+VWoZTjqVQSthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDvn?= =?us-ascii?q?vXrNrvKKcdT/q1zKjOzTrZcvhY3DD96I3WfRAnvP6DR7RwcdbKyUksDQzEjk+f?= =?us-ascii?q?opHiMjOW0eQNtnaU7+x9Wu21jW4ntxpxoju1ycYskIbEnY0VylXe+iV4xIY5P8?= =?us-ascii?q?G3SEl+YdO9FpZbqi6VOZdsTMw4X2FopDg1yqcAuZOjYCUG1psqygPCZ/GZfYaG?= =?us-ascii?q?7BLtWeKQLDp5mn5reL2xihes/UWjxeDxUsq53llKoCZbktTBtHEA2hzR58WDS/?= =?us-ascii?q?Zz/kGs0iuB2QDU7+FLO0E0lazDJp4hzL88jIAcvljZEi/rm0X7irKdeEY8+uWw?= =?us-ascii?q?9ejrfrHrqoWfOoJ0kA3yL7oil8+lDek3LAQDWXWQ9/6m273550L5Ra1Hjv0ona?= =?us-ascii?q?ndt5DXPcEbqbS4Aw9Ry4oi5RO/Ayq/3NQWknQLMkhJeB2Aj4juNFHOJO73Ae2j?= =?us-ascii?q?jFSrlTdn3/HGPrv/DZXRNnXPjqvtcLJn50NfyAc/181T64xXB70bL///RFf9tN?= =?us-ascii?q?nCAR84Nwy0zfznCNJ41o4GWmKPBaqZP73UsVCV/O0vJfWMZJQWuDnnK/kq/eXj?= =?us-ascii?q?jXA8mVAHfKmp2YEbZ2y/HvRjO0mZe2bjgs8dEWcWuQozVPDlh0eHUT5XfnqyW6?= =?us-ascii?q?M85ionCI+9FofCRoWtgKSb0yuhH51WYHpGClGWHnvyeYWEQe8GaDiOLc95jjwE?= =?us-ascii?q?Sb+hRpc92hGprQ/20qZoLu7J+iIDrp/jz9h05+jLlR4o7zB0DsKd03uMT25uhG?= =?us-ascii?q?8ISSU2j+hDphlh20+Oyu18gudEPdhS/O9SFBw3PIWa0vR3Dda0Vw7cOp+JQU2l?= =?us-ascii?q?T9GiRDo4QN8Zw9YVYEt5H5OllB+Hlza7G7IOv7iKH4AvtKnc1nz0KtxmjW3LkO?= =?us-ascii?q?EqjlAhB9ZUOHe9rqV79hDXDoSPlF+W0+6hfKEYlDPW+X2YhT6FtURcFQpxSrnt?= =?us-ascii?q?XHYFZ0KQo86vogvPVbunD7tiKxZM0tKDLa1RQtDziVxAS7HkItuaK0uLpCKbIj?= =?us-ascii?q?Ot54+wQafCf2QD0T/FD08A1QkYu2uFcUA1AmKguGvUAThqGBfyeE726sF6qWin?= =?us-ascii?q?VQk/xgTMZkYnyrnxsgIcitSBV/cSxa4f/jo9piV9BxCw08+SQ9CHoBF9OaRafd?= =?us-ascii?q?4n7Uxb/WbYrBBmeJanKLt+wFkEfEA/llj10B52A5lBls5ionQwhDFjLKif1FJK?= =?us-ascii?q?Pxef0pH7cuneMW3a4hm0cKfMnFzSzYDSsqwL5f0+7lHipx2BDUEj/nNs3p9Pzj?= =?us-ascii?q?2a4tGCARQfV47ZU0Bx6wU/rLXTfzIh54rQk3FhdeGsqDjNntYgAuQNxhejYpFT?= =?us-ascii?q?M+fMHQHpHsYyDsa1JedskkOzKBkCJvsU+rRwd9irfOac2bK6FOhnhzuqy2Nd78?= =?us-ascii?q?Q13U6Wsit5YuHExdMExreWxE/PWCu5klq7s86ygY1eYDgUE2yj0gDrCJQUZ6g0?= =?us-ascii?q?c5xPQXunLOW83ZNjm5P9UmUe+VK+Qxse3MavdAaRdXT+x0tXz0tT6XKimCCj5z?= =?us-ascii?q?1yiTAgqrKSx2rA2aCqcgUfJitKQmdlpVPtOpSvydEdVw6lYkxhiBuo4lzrwbRz?= =?us-ascii?q?oKVkM3LeW1kOeS/6JmIkX6et8vKJZMtKrY8ovCJNQcy9bF2XDLnnrF9SzCLLFm?= =?us-ascii?q?pQznYmcTDvuZzjmwdglWKQanp+6DLYcsVogAjY/t/HRflJxRIdSjQ+gjCTTnSH?= =?us-ascii?q?EJH98diMjIbYmuW3XHnnVoIVeCKt0IDW8GOA3UlRSUmEp9SIstHsCk411Sa93t?= =?us-ascii?q?IsSCae6F7nfpGjg7+mKcpid0JzQl/jrcNxXJx9xM94rosRxXkBht2x+nUGmi/Y?= =?us-ascii?q?NtFf3rvjbWcIDWoBx9X96xOj3kp/MjSAzMTkVSPZisBoa9SSY38LnC4+q4hKAb?= =?us-ascii?q?yX4bhAtSt8uVm1qQaXZuJy2n8UxvcnwHobmP0S/gEtxyGYD6oJW1JVeWTwhgyF?= =?us-ascii?q?9JW3qqNQeWCkfJC01VFihpa6AbiZ5BxEVXD/PJouAGs45cJmdVnIzXfb64f+ed?= =?us-ascii?q?CWY8hX/hmdkgmFhu5TL483nfcigCNsIiT9ojsswKgmjlgm2Z+xp82GLXlg5q+i?= =?us-ascii?q?HjZZMDOzas9V8zqrkKUNsNyR2tWCHZx9Fy8KWpKgbvWtHTQevPL7LAWHATR0/n?= =?us-ascii?q?ScHLfZEQaZ9FxlpmPGO5+uPnCTYnIeyIMxF1GmOEVDjVVMD30BlZkjG1XvnZS5?= =?us-ascii?q?KRYr1nUq/lf97yB05KdtPhj7XH3YoV7xODgxQZmbahFR61MbvhuHAYml9ut2Wh?= =?us-ascii?q?pg0Ni5tgXUcz6UYg1JCScCXUnWXwm+bInr3sHJ9q2jPsT7L/bKZu/T++lXVvPN?= =?us-ascii?q?2pf2l4U6pXCDMcKAOnQkBPo+iBJO?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BTHgAVyStgfyqAVdFiDg8BATwBBQUBA?= =?us-ascii?q?gEJAYFmgSFTBloBSlY6MYRBgR6CX41WgQiKJ4h+iB0LAQMBDQUBARYBDAoEAQG?= =?us-ascii?q?ETYILAh0HAQQ0EwIQAQEFAQEBAgEDAwQBEwEBDQsLCCeFPQglDYI4KQGDZQUBE?= =?us-ascii?q?BEdARMIBQoCBAkDEgMNMAcCAiIBEQEFASIBEhwGgk4BglQBAy4PkTWPEoEEPYs?= =?us-ascii?q?0gRUFAReDBQaETwoZKA1lgTgCBxKBJgGEIIJaAQGCUYQaHIICNF02gXg3BQJsg?= =?us-ascii?q?UABgRwBAoE1VoJpgl8EgXMfXAMjMRMIIRM8LAoMWjQBC0mNGAGDMKhRVYIvgyu?= =?us-ascii?q?YYAMfgzGKSJU0LI9ZhDWdDhCEdxAjgUmBenCBAYI4CUcZDY1CgRRuAQeCRId6g?= =?us-ascii?q?h4FPEQvAjUCBgEJAQEDCYlPgkQBAQ?= X-IPAS-Result: =?us-ascii?q?A0BTHgAVyStgfyqAVdFiDg8BATwBBQUBAgEJAYFmgSFTBlo?= =?us-ascii?q?BSlY6MYRBgR6CX41WgQiKJ4h+iB0LAQMBDQUBARYBDAoEAQGETYILAh0HAQQ0E?= =?us-ascii?q?wIQAQEFAQEBAgEDAwQBEwEBDQsLCCeFPQglDYI4KQGDZQUBEBEdARMIBQoCBAk?= =?us-ascii?q?DEgMNMAcCAiIBEQEFASIBEhwGgk4BglQBAy4PkTWPEoEEPYs0gRUFAReDBQaET?= =?us-ascii?q?woZKA1lgTgCBxKBJgGEIIJaAQGCUYQaHIICNF02gXg3BQJsgUABgRwBAoE1VoJ?= =?us-ascii?q?pgl8EgXMfXAMjMRMIIRM8LAoMWjQBC0mNGAGDMKhRVYIvgyuYYAMfgzGKSJU0L?= =?us-ascii?q?I9ZhDWdDhCEdxAjgUmBenCBAYI4CUcZDY1CgRRuAQeCRId6gh4FPEQvAjUCBgE?= =?us-ascii?q?JAQEDCYlPgkQBAQ?= X-IronPort-AV: E=Sophos;i="5.81,183,1610406000"; d="scan'208,217";a="493275986" X-MGA-submission: =?us-ascii?q?MDF3odmcV5kj7WG+Z2i0rmkPId+3zRxNX59mXE?= =?us-ascii?q?gYD33v3LcwSu7/exPgnqlrc9/yYxdVm0Wc4BgoDM6ONJ14h8Vi2br9XA?= =?us-ascii?q?J44yA5rs4hP7KsrL+f0f2DGB+RYhl300eY59Yg7+4fb3Y0/rSmNxEGhT?= =?us-ascii?q?zer/dr6kI96uRVGA/IwyVQPA=3D=3D?= Received: from mail-wm1-f42.google.com ([209.85.128.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 16 Feb 2021 14:33:34 +0100 Received: by mail-wm1-f42.google.com with SMTP id l17so9164692wmq.2; Tue, 16 Feb 2021 05:33:34 -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=KssLTS7ARc06AuodFCGBPjvoy2aARJVZ2l+ypPSL2OM=; b=bf2rm3U3/bzR3+7uIvAKQfy116bH6iFN+wlGnarmBS251iGSMfSASTmVn0SflKLgSG OK0a9ZpXnz1xjEnr1xJIenFq0cSkBPkNy5ac3ZquIbD2rfnFc+uILPYNzW6/MjXy3ltR FB2S3o+GoTJQyAixseiuDaMKCUT3ZHkLCpJm6rffnyYbZEvXzV2RHOzRSJmwIBD+PJF3 OQW+n7fkFx11e0QvpLqR9cn120TPofK0enpBia1PgPxg6BOfXksnMWBZFsRIi5xhS5Uc K3enEfYTvr2t4zFXbttNwCbbDY/CnxC5Hu8Xytk0TCC/dj7t3qgUPKYE/KnY4XzFt8AQ anug== 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=KssLTS7ARc06AuodFCGBPjvoy2aARJVZ2l+ypPSL2OM=; b=bcVB7B7Dl8JrPgm7YldXYcBkqt0vhXfEzPEWLov4mebay6J1fCeO9B7YrAcbkX6pQk roaZvdML9oJwr1i7+SwJLNeuUoXsILEzcc8kFWpCmxGqSzlTp7SHfqh9s1bpK88DJvEj X5G9LKEA09SpRGiqHMQ9bJkJRSLDNRkKjuhOoT1j2BfZ51kdPoh5u1CnDoqbYsmQIcJz tVnZ64sO7RaLxRcxx6lrkYj6EHA+pFu0CRF/xeu41HaxyUxtOFrs+ZDn5D0kEZXpnUbP UsY8x8YLxAywwc2Bbfs92qnqLT5rBF2cz1HfnHtUEXSIzYvSKNtbbmfHaqLRqgQO4voS +8PQ== X-Gm-Message-State: AOAM532Tz1bM924/pVDs/QeNjWhgMY4tB/eYjs68PEvKybvRlkQHfNY5 EbJM1L7DNu3ILTOktaAFIGyptx33B0EcxmCfavI= X-Google-Smtp-Source: ABdhPJyg5eSQpdcuvoWWrcr3e7M5nV/2jeIIpj4KgL7xE75pGz+oTBDaUer5bTk8vaORAyGRGlABU3W7t7du99PnzAw= X-Received: by 2002:a05:600c:430a:: with SMTP id p10mr3360927wme.142.1613482414423; Tue, 16 Feb 2021 05:33:34 -0800 (PST) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Tue, 16 Feb 2021 13:33:08 +0000 Message-ID: To: 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 , SPLS , 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 Content-Type: multipart/alternative; boundary="00000000000029c15705bb7426e6" Subject: [Caml-list] Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 18400 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: --00000000000029c15705bb7426e6 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 / PROFESSOR in COMPUTER SCIENCE HERIOT-WATT UNIVERSITY, EDINBURGH, SCOTLAND, UK SALARY (for ASSISTANT/ASSOCIATE PROFESSOR LEVEL): =C2=A359,135 -=C2=A341,526 per annum START DATE: FROM SEPTEMBER 2021 (NEGOTIABLE) CLOSING DATE FOR APPLICATIONS: 11 April 2021 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 2021 bicentenary of pioneering research, we have set ourselves the target of recruiting one hundred outstanding research academics between 2018 and 2021. As part of this prestigious programme, the School of Mathematical and Computer Sciences (MACS) welcomes applications for the posts of Assistant / Associate Professor / Professor in Computer Science. We particularly welcome applicants with expertise in either: (i) Artificial Intelligence and Robotics (which includes pervasive and ubiquitous systems, planning, data science and semantic web, autonomous agents, human-robot interaction, human computer interaction and multimodal interaction); (ii) Security and Verification (including verification of system safety and security, cybersecurity, automated reasoning, theorem proving, programming languages and semantics, foundations of computer science). In addition, and as part of the School=E2=80=99s on-going plans to open new= joint Mathematics-CS and Statistics-CS posts, we encourage applicants who have interdisciplinary training or experience linking one of the outlined CS priority areas and topics in Mathematics and Statistics (including, but not limited to, algebra and category theory, discrete mathematics and logic, financial risk, cyber risk, actuarial and statistical data science, statistical machine learning, Bayesian computational methods). The School strongly encourages and supports the generation of industry impact from research, and we welcome candidates with experience of working in industry on AI, data science, robotics, autonomous systems, verification or security projects or a strong track record of collaborating with industrial partners. Exceptional candidates possessing an extensive track record of internationally excellent research and leadership may be considered for appointment at Chair level; candidates interested in the position at Chair level should in the first instance contact the Head of School, Prof Beatrice Pelloni, b.pelloni@hw.ac.uk. The School of Mathematical and Computer Sciences is committed to support family friendly work practices and part-time working options as part of our Athena Swan Bronze award (see https://www.hw.ac.uk/schools/mathematical-computer-sciences/about/athena-sw= an.htm). We especially encourage women and members of underrepresented groups to apply for this position. We welcome and will consider flexible working patterns e.g. part-time working and job share options. ABOUT OUR TEAM: The Department of Computer Scienceis 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 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 7TAS 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 Autonomous Systems. Our grant funding in this area has also grown through being awarded jointly with another school 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. For further information, please consult the university job portal (h ttps://www.hw.ac.uk/uk/about/work/job-opportunities.htm ). 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 Alternatively, you may like to approach one of the members of the recruitment committee: James McKinna (Logic, Semantics of Programming languages, Verification), Ron Petrick (AI planning, Symbolic AI), Sasa Radomirovic (Security) --00000000000029c15705bb7426e6 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

=
ASSISTANT PROFESSOR= / ASSOCIATE PROFESSOR / PROFESSOR
=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 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=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 HERIOT-WATT UNIVERSITY, EDINBURGH, SCOTLAND, UK
<= div align=3D"left" style=3D"color:black;font-size:12pt;font-family:Calibri,= Arial,Helvetica,sans-serif">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 SALA= RY (for ASSISTANT/ASSOCIATE PROFESSOR LEVEL):
=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=A359,135= =C2=A0-=C2=A341,526=C2=A0per = annum
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0 START DATE: FROM SEPTEMBER 2021 (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: 11 April 2021

Heriot-Watt University has established= a reputation for world-class teaching and leading-edge,
relevant resear= ch, which has made it one of the top UK universities for innovation, busine= ss and industry.
To celebrate our 2021 bicentenary of pioneering researc= h, we have set ourselves the target of recruiting
one hundred outstandin= g research academics between 2018 and 2021.

As part of this prestigi= ous programme, the School of Mathematical and Computer Sciences (MACS)
w= elcomes applications for the posts of Assistant / Associate Professor / Pro= fessor in Computer Science.
We particularly welcome applicants with expe= rtise in either:

(i) Artificial Intelligence and Robotics (which inc= ludes pervasive and ubiquitous systems, planning,
data science and seman= tic web, autonomous agents, human-robot interaction,
human computer inte= raction and multimodal interaction);

(ii) Security and Verification = (including verification of system safety and security, cybersecurity,
au= tomated reasoning, theorem proving, programming languages and semantics, fo= undations of computer science). =C2=A0

In addition, and as part of t= he School=E2=80=99s on-going plans to open new joint Mathematics-CS and Sta= tistics-CS posts,
we encourage applicants who have interdisciplinary tra= ining or experience linking one of the outlined CS priority
areas and to= pics in Mathematics and Statistics (including, but not limited to, algebra = and category theory, discrete
mathematics and logic, financial risk, cyb= er risk, actuarial and statistical data science, statistical machine learni= ng,
Bayesian computational methods).

The School strongly encourag= es and supports the generation of industry impact from research, and we wel= come
candidates with experience of working in industry on AI, data scien= ce, robotics, autonomous systems, verification
or security projects or a= strong track record of collaborating with industrial partners.

Exc= eptional candidates possessing an extensive track record of internationally= excellent research and leadership
may be considered for appointment at = Chair level; candidates interested in the position at Chair level should in=
the first instance contact the Head of School, Prof Beatrice Pelloni, <= a href=3D"mailto:b.pelloni@hw.ac.uk">b.pelloni@hw.ac.uk.

The Sch= ool of Mathematical and Computer Sciences is committed to support family fr= iendly work practices and
part-time working options as part of our Athen= a Swan Bronze award
(see https://www.hw.ac.uk/schools= /mathematical-computer-sciences/about/athena-swan.htm). =C2=A0
We es= pecially encourage women and members of underrepresented groups to apply fo= r this position.
We welcome and will consider flexible working patterns = e.g. part-time working and job share options.

ABOUT OUR TEAM:
The Department of Computer Scienceis internationally renowned for its wor= ld-class research across a number of areas,
including artificial intelli= gence and machine learning, data integration, knowledge representation, vis= ualization and analytics,
natural language processing, formal methods, l= ogic, type theory, programming languages, parallel computation, human-compu= ter
and human-robot interaction, and cybersecurity. =C2=A0

Jointl= y with 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 fir= st National Robotarium, that together form a =C2=A3129M joint venture, a ce= nter of excellence for AI research on
an international scale, and a rese= arch 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 7TAS nodes (each node is suppo= rted by a =C2=A33M research grant).
The two nodes stand for=E2=80=9CTrus= t=E2=80=9D and =E2=80=9CGovernance=E2=80=9D in Autonomous Systems.=C2=A0 Ou= r grant funding in this area has also grown
through being awarded jointl= y with another school at HWU an EPSRC Industrial Strategy Challenge Strateg= y Fund for
the Robotics Hub for Offshore Robotics for Certification of A= ssets (ORCA) worth =C2=A314.6M, which is one of the largest
industrial s= trategy challenge funds awards in Scotland. =C2=A0

The department ha= s strong collaboration with Industry. Since 2014, we have undertaken 107 pr= ojects 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, a= nd many others.

For further information, please consult the universi= ty job portal (https://www.hw.ac.uk/uk/about/work/job-opportunities.htm<= /span>).
For informal discussions about the position= or the department of Computer Science please contact
Prof. Ekaterina Ko= mendantskaya (Head of Computer Science) at ek19@hw.ac.uk=C2=A0
Alternatively, you may like= to approach one of the members of the recruitment committee:

James= McKinna (Logic, Semantics of Programming languages, Verification), =C2=A0<= br>Ron Petrick (AI planning, Symbolic AI), =C2=A0
Sasa Radomirovic (Secu= rity)=C2=A0=C2=A0



--00000000000029c15705bb7426e6--