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 0531F5D5 for ; Thu, 17 Dec 2020 15:03:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,428,1599516000"; d="scan'208,217";a="483561958" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Dec 2020 16:03:24 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9CED2E025E; Thu, 17 Dec 2020 16:03:24 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 67CAAE020B; Thu, 17 Dec 2020 16:03:23 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f43.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AmSoMBhL4NNdiCQlxU9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXKP36rarrMEGX3/hxlliBBdydt6sbzbOH6Ou5AT1IyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfLF/IA+roQjVuMQajpZuJro1xxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjg0+3zVhMNtlqJWuB2uqRxxzYDXfY+bKuZxc7jHct8GX2dMRNpdWzBDD466?= =?us-ascii?q?coABD/ABPeFdr4TlqFUOrgGxBRWyC+P1yz9IgGX51rA/3eQmFAHJwgogEM8Uv3?= =?us-ascii?q?TSsNX1L6QSXvq1zabS0D7OaPBW2TD46IfWdBAuvOuDXbRsccrKykkgDQPEgU+L?= =?us-ascii?q?pIzqOjOazOUNs2yB4+V8UuKvjncqpgdsqTeg2skikJPGhp4Jyl/a7yV5xp44Kc?= =?us-ascii?q?C7RUNlYdOpH5tduz+GOoZoXM8uXm9mtScmxrEbtpC3YigHxYokyhDQdvGKb4eG?= =?us-ascii?q?7xD/WeuMPTt1mHJrdrKjixu07EOuxOr8Vsyu31ZLqCpIisfDuW0M1xzV8ceHV+?= =?us-ascii?q?F9/kih2TqWzQDT7fpLIUcolaraN5Eh2aQ8lp0JsUTMBiP2mEv3gLWMeUo44OSo?= =?us-ascii?q?9ufnbq3ippCGNo90lBvyPb4ylcClHOQ4MQ4DVHWY9+SkzLDv41H1TbFQgvA1kq?= =?us-ascii?q?TVqo3WKdoYq6KjDAJY3IAu4AulATi8ytQXh3wHIUpFeB2Zi4jpPEnDIPXiAve+?= =?us-ascii?q?h1SgiTlqx/XbMrH4DJXAIXbOnK3ufbZ67E5cxw4zws5F651IDbEBJer/Wk73tN?= =?us-ascii?q?PGEh80KxK4z/rjBdln1Y4TWXiDDrKHPK7Rq1OF6ewiL/GJZIAPuTb9L/Yl5+Tp?= =?us-ascii?q?jX88gVIdfq6p3Z4JZ3C+A/tpOUOZYWb3gtcCC2gLvhAxQffliF2HSzFTZnKyU7?= =?us-ascii?q?gg6TE8DYKqFZ3DSZy1gLydwCe7GYVbaXxBClCVCHvna4GEW+oXZy+JOc9gkjkE?= =?us-ascii?q?VaC7RIM71BGushX6y7t9IebO9C0Yr4rp1MJp6O3LiREy6Tt0AtyB3G6XSmF0mn?= =?us-ascii?q?oERzs33KBkvUxw0UyD0Kh9g/xAD9Nf/fJJUgEgNZ7d1eN2Ed7yWhiSNuuOHU2+?= =?us-ascii?q?Rs6OBTAqUsl3yNIIfwByH9zkhxuFwinuS6QJj/TfH4As2qfV1GO3J9k7wn2Aya?= =?us-ascii?q?p3yxEiS8pRcGSggKli8QPeL4vAmF7fl7nsfK9awS2JvGyE1C+FuFxSeA92S6TM?= =?us-ascii?q?G34FIgPfotjwzkfDVKO1T78nOw9ExNSZbLBHLpX1nE1LX7LnOc/CS2awgHurQw?= =?us-ascii?q?2Fz6jKcZLnfWNb0SnATAAPmgUXtWudOBIlTnOqqmfaSThvDk7HYkX28OA4pmnt?= =?us-ascii?q?Cgc0xhqJYkllkrG89BM9hfWHSP4X2vQDoihyhS9zGQOQ3NvKBsCBoQMpX6JZbN?= =?us-ascii?q?Ux6VFbzmHQpgU1ap+nKq1kilcYbx90tlLn/xpyA4RE18MtqSV5n0JJNauE3QYZ?= =?us-ascii?q?JHuj1pfqN+iPczWgzFWUc6fTn2rm/pOO4K5WsaY3rlziuEeiEU9wqyw6gekQ6G?= =?us-ascii?q?OV49DxNCRXUZ/1VRxqpR1zprWffSxkoo2IjjtjNq67tjKE0NUsVrN8m0SQOuxH?= =?us-ascii?q?OabBLzfcVsgTBsygMusvwgH7YRcNPeQU/6kxbZqr?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A6AgAJcttffyuAVdFfAw4ICAEBCxIMg?= =?us-ascii?q?zKBMQFKVzMuhD+BHpAKiyiPKYFoCwEDAQ0FHgwEAQGESoF1Ah0HAQQ0EwIQAQE?= =?us-ascii?q?FAQEBAgEDAwQBEwEBDQsLCCeFagyCNyKDMgsGHQEbEAENAwoIAw0tCgIYDAERA?= =?us-ascii?q?QUBIgEuBoMFglQBAy4Pkg6PE4EEPYs0gRUFAReDBQWEXgoZKA1lgTYCBwUNgSa?= =?us-ascii?q?EH4UUg3ImG4IAgUeBdzcFgi4BgRGBMgQNNRUMGoJQgl8EgmwhbAESPDYGTAohG?= =?us-ascii?q?wyQKKZ4FHtSgiyDJZgmIppOggmFZ5QHkSaBd44mDyOBSoF6cFAxgjgJRxkNjiG?= =?us-ascii?q?DcYUUgmaCHkBEMAI1AgYBCQEBAwmKKYJGAQE?= X-IPAS-Result: =?us-ascii?q?A0A6AgAJcttffyuAVdFfAw4ICAEBCxIMgzKBMQFKVzMuhD+?= =?us-ascii?q?BHpAKiyiPKYFoCwEDAQ0FHgwEAQGESoF1Ah0HAQQ0EwIQAQEFAQEBAgEDAwQBE?= =?us-ascii?q?wEBDQsLCCeFagyCNyKDMgsGHQEbEAENAwoIAw0tCgIYDAERAQUBIgEuBoMFglQ?= =?us-ascii?q?BAy4Pkg6PE4EEPYs0gRUFAReDBQWEXgoZKA1lgTYCBwUNgSaEH4UUg3ImG4IAg?= =?us-ascii?q?UeBdzcFgi4BgRGBMgQNNRUMGoJQgl8EgmwhbAESPDYGTAohGwyQKKZ4FHtSgiy?= =?us-ascii?q?DJZgmIppOggmFZ5QHkSaBd44mDyOBSoF6cFAxgjgJRxkNjiGDcYUUgmaCHkBEM?= =?us-ascii?q?AI1AgYBCQEBAwmKKYJGAQE?= X-IronPort-AV: E=Sophos;i="5.78,428,1599516000"; d="scan'208,217";a="367979648" X-MGA-submission: =?us-ascii?q?MDF9TZrheBmUvXDL2YqpGHl8Q9E92dkLVFIfP+?= =?us-ascii?q?tNiMEzwxUmO872ZiiUWim+KUmw1LNsIiMmKanz7/u97Sq/2wrr8/Wha/?= =?us-ascii?q?8+vuO83KIpLs7sS69n1vBbImp28y9mGQJv7KZMYO4WtbVJvgY4iyJ0QE?= =?us-ascii?q?bpnVwAQ1hFBSXh87856w1r4w=3D=3D?= Received: from mail-wm1-f43.google.com ([209.85.128.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Dec 2020 16:03:21 +0100 Received: by mail-wm1-f43.google.com with SMTP id v14so5834136wml.1; Thu, 17 Dec 2020 07:03:22 -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=1Efn8CPcrInhiDAqp/9ZM/BdLVGN/kIlUW7PC6M8Ug8=; b=TatYHhWb0xbGi6ZdEN8eTcwBoW82P6YSYoa5TuCVFhqg5kae6mJR72WUg4cH8nP32L Y7COO0Jz/JhJvJtaVvhIPTW63Eqyj5uw+k41W/f79iqm2MZQzz8g8HtelmQY76r0Ei63 knGgSJnUu8RokWh/H7Ak8UHP50ylaK+Frlf2qHyLe/pBI+LYuqj+R5T3Sj+S+GY4UD5X U3TTVgu+V44cn40R5KLh6NCdY1TIhsVd0dPk0tVGMSaatY+M1WwiX71UVXO2d9yEhY+w YHEhXlcOF8zWfN+AAmhAcr09aFXrMRC80/rtJrcDKgpS8YRUUPPl7ZFT+AK1zuQl4OXX +bsw== 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=1Efn8CPcrInhiDAqp/9ZM/BdLVGN/kIlUW7PC6M8Ug8=; b=rtLveIbW2fnsFkHEDTZZtdrb0CdDYc9xve3conpA0DDw0qJ68dlGVX/fDH+S4V5D8G d/BxcfYd8Cvt0CVCV39q16PGYwoRWPM24NWgf0PYbvr8sz+crtwlU7n3xOWon9xF1zP3 EDI27ah9FELht+9rlYl0xv6AlXnuOKZ8rWSj7Qaz/hT0KdxK8qbWTQsPoXK6BhC23/94 2d9jXKmXV/royGHhhrR8yTBEA7cgs/Zp+jsRpPVgF+uJMWrwe0aP10MFZhi/UgoVmR1E kh2pSo3CkeNdHTHj5Q/yFDLy/Lsq8MnckzOfOMq6Bx6GGl7m+M45XmUsX0DGf+Xnsguh xvgQ== X-Gm-Message-State: AOAM532ns9rZR5GIbkmQn9WcM1ifji4BCdA3RD2e4W7wzhysdIO/Msiv y+Yl8VJyDoE2oeIg1hxFa8Eo8VlwL9OmlRPVqcfWim9S8gdpDA== X-Google-Smtp-Source: ABdhPJyiTl89PLKwm66YFcidB2MAqQ3z7JYXHu9LnV4iBguBGJGAOGLfcAp0CNG+MVTXZBDPQ6LXVLUV+sfDKUEhtN0= X-Received: by 2002:a1c:9e86:: with SMTP id h128mr9237148wme.171.1608217401272; Thu, 17 Dec 2020 07:03:21 -0800 (PST) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Thu, 17 Dec 2020 15:02:55 +0000 Message-ID: To: spls@lists.cent.gla.ac.uk, stp , laiv-announce@macs.hw.ac.uk, coq-club@inria.fr, agda@lists.chalmers.se, types-list@lists.seas.upenn.edu, caml users , haskell-cafe@haskell.org Content-Type: multipart/alternative; boundary="000000000000ecab5905b6aa4a43" Subject: [Caml-list] PhD studentships in Robotics (Edinburgh Center for Robotics) Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 18310 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: --000000000000ecab5905b6aa4a43 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear colleagues, Edinburgh Center for Robotics has published a fresh call for PhD scholarship applications. There will be space for verification and programming language research: see item 3: *" explainable AI, certification, verification, safety, security, multi-agent interactions;"* It is an ideal opportunity for PhD students who wish to apply their knowledge in Programming Languages and Verification to the growing field of Robotics and Autonomous systems research. See below the official advert and contact me directly if you need more information. *************************************** The Edinburgh Centre of Robotics is offering exciting PhD Studentships for September 2021 through the EPSRC Centre for Doctoral Training in Robotics and Autonomous Systems (CDT-RAS). A limited number of industry PhD placements may also be available and information about these opportunities is posted here . *Closing date 29**th** January 2021* Heriot-Watt University and the University of Edinburgh are jointly offering an exciting opportunity to study a PhD through an innovative 4-year PhD training programme, drawing on our extensive experience with postgraduate teaching and research supervision in the area of Robotics and Autonomous Systems. The Centre's goal is to train innovation-ready robotics researchers to be part of a multi-disciplinary team, focusing on *Safe Interaction for Robotics.* PhD candidates specialise in one of the following four areas, whilst gaining a deep understanding of technical aspects and theoretical foundations: 1. *Physical Interactions**: *control, actuation, compliance, sensing, mapping, planning, embodiments, swarms; 2. *People Interactions*: human-robot interaction, affective robotics, smart spaces, human-robot teaming, collaborative decision-making, cobots, multimodal interfaces; 3. *Self-Interactions*: condition monitoring, prognosis, explainable AI, certification, verification, safety, security, multi-agent interactions; 4. *Interaction Enablers*: vision, embedded and parallel computing, novel and soft fabrication methods, optimisation, (transparent) machine learning, deep reinforcement learning and other AI techniques inc. natural language processing (NLP). Achieving impact with robotics also requires non-technical skills, for example an understanding of technology translation, creativity and entrepreneurial processes. These are an essential component of the CDT programme, captured in the #Cauldron training programme. Why join us? =C2=B7 Flexible programme structure allows students to tailor courses to m= atch research area of interest in year one, ensuring students have a strong general grounding in responsible research, current theory, methods and applications as a solid foundation for their PhD research. =C2=B7 Cohort approach with activities including group projects and away d= ays encourages peer support and cross fertilisation of ideas. =C2=B7 Opportunity for international placement in prestigious research laboratory in year three. =C2=B7 Bespoke #Cauldron training programme to provide non-technical skill= s such as understanding of technology translation, creativity, and entrepreneurial processes. =C2=B7 Gateway seminars with prestigious speakers. =C2=B7 Fund to seed innovation. =C2=B7 Fully funded posts available paying stipend and Home fees, limited = posts for overseas students More information on PhD placements and how to apply: www.edinburgh-robotics.org/apply *************** Prof. Ekaterina Komendantskaya Department of Computer Science School of Mathematical and Computer Sciences Earl Mountbatten Building [ building 21, office G26 ] Heriot-Watt University Edinburgh, UK, EH14 4AS +44 (0)131 451 8283 http://www.macs.hw.ac.uk/~ek19/ http://www.laiv.ac.uk --000000000000ecab5905b6aa4a43 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear colleagues,

Edinburgh C= enter for Robotics has published a fresh call for PhD scholarship=C2=A0appl= ications. There will be space for verification and programming language=C2= =A0research: see item 3: " explainable AI, certification, verificat= ion, safety, security, multi-agent interactions;"

It is an ideal opportunity for PhD students who wish to apply thei= r knowledge in Programming Languages and Verification to the growing field= =C2=A0of Robotics and Autonomous=C2=A0systems research.

See below the official advert and contact me directly if you need mor= e=C2=A0information.

******************************= *********

The Edinburgh Centre of=C2=A0Robotics is=C2=A0off= ering exciting=C2=A0PhD Studentships=C2=A0for September 2021 through t= he=C2=A0EPSRC Centre for Doctoral Training in=C2=A0Robotics=C2=A0and Autono= mous Systems (CDT-RAS). A limited number of industry PhD placements may als= o be available and information about these opportunities is posted=C2=A0here.

=C2=A0

Closing date 29th=C2=A0January 2021

<= p class=3D"MsoNormal" style=3D"background-image:initial;background-position= :initial;background-size:initial;background-repeat:initial;background-origi= n:initial;background-clip:initial"><= /u>=C2=A0

Heriot-Watt University and the University of=C2=A0Edinb= urgh=C2=A0are jointly offering an exciting opportunity to study a PhD throu= gh an innovative 4-year PhD training programme, drawing on our extensive ex= perience with postgraduate teaching and research supervision in the area of= =C2=A0Robotics=C2=A0and Autonomous Systems.=C2=A0=C2=A0=C2=A0The Centre'= ;s goal is to train innovation-ready=C2=A0robotics=C2=A0researchers to be p= art of a multi-disciplinary team, focusing on=C2=A0Safe Interaction for= =C2=A0Robotics.=C2=A0 PhD candidates specialise in one of the following= four areas, whilst gaining a deep understanding of technical aspects and t= heoretical foundations:=C2=A0

1.=C2=A0Physical Interactions:=C2=A0con= trol, actuation, compliance, sensing, mapping, planning, embodiments, swarm= s;=C2=A0

2.=C2=A0People Interactions: human-robot interaction, affective=C2= =A0robotics, smart spaces, human-robot teaming, collaborative decision-maki= ng, cobots, multimodal interfaces;

3.=C2=A0Self-Interactions: condition moni= toring, prognosis, explainable AI, certification, verification, safety, sec= urity, multi-agent interactions;

4.=C2=A0Interaction Enablers: vision, embed= ded and parallel computing, novel and soft fabrication methods, optimisatio= n, (transparent) machine learning, deep reinforcement learning and other AI= techniques inc. natural language processing (NLP).

=C2=A0

Achieving impact with=C2=A0robotics=C2=A0also requ= ires non-technical skills, for example an understanding of technology trans= lation, creativity and entrepreneurial processes. These are an essential co= mponent of the=C2=A0CDT=C2=A0programme, captured in the=C2=A0#Cauldron=C2=A0training programme.

= =C2=A0

Why join us?

=C2=B7=C2=A0=C2=A0Flexible programme structure allows studen= ts to tailor courses to match research area of interest in year one, ensuri= ng students have a strong general grounding in responsible research, curren= t theory, methods and applications as a solid foundation for their PhD rese= arch.

=C2=B7=C2=A0=C2=A0Cohort = approach with activities including group projects and away days encourages = peer support and cross fertilisation of ideas.

=C2=B7=C2=A0=C2=A0Opportunity for international placement i= n prestigious research laboratory in year three.

=C2=B7=C2=A0=C2=A0Bespoke #Cauldron training programme t= o provide non-technical skills such as understanding of technology translat= ion, creativity, and entrepreneurial processes.

=C2=B7=C2=A0=C2=A0Gateway seminars with prestigious spea= kers.

=C2=B7=C2=A0=C2=A0Fund to= seed innovation.

=C2=B7=C2=A0=C2=A0Fully funded posts available paying stipend and Home fees, limited pos= ts for overseas students

=C2=A0

More information on PhD placements = and how to apply:=C2=A0

www.edinburgh-robotics.org/apply


***************
=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
Prof. Ekaterina Komendantskaya =C2=A0 = =C2=A0 =C2=A0 =C2=A0=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0
Department of 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
School of Mathematical and Co= mputer Sciences
Earl Mountbatten Building=C2=A0 [ building 21, = office G26 ]=C2=A0
Heriot-Watt University=C2=A0=C2=A0
Edinburgh, UK, EH14 4AS
+44 (0)131 451 8283=C2=A0
=


--000000000000ecab5905b6aa4a43--