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 ESMTP id 701EE5D4 for ; Fri, 12 Apr 2019 14:07:03 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,341,1549926000"; d="scan'208,217";a="378411536" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Apr 2019 16:07:00 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1968B8249D; Fri, 12 Apr 2019 16:07:00 +0200 (CEST) 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 43D228249D for ; Fri, 12 Apr 2019 16:06:49 +0200 (CEST) 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-io1-f68.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AJMlKQx0J+HYzu9KOsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesSKfTxwZ3uMQTl6Ol3ixeRBMOHsqsC0bOd7/CoGTRZp8rY6DZaKN0EfiRGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6?= =?us-ascii?q?KevvB4Hdkdm82fys9J3PeQVIgye2ba9vIBmsogjdq9QajZF8JqosxRfErXhFcP?= =?us-ascii?q?lSyW90OF6fhRnx6tqs8JJ57yhcp/ct/NNcXKvneKg1UaZWByk8PWAv483ruxjD?= =?us-ascii?q?TQ+R6XYZT24bjBlGDRXb4R/jRpv+vTf0ueR72CmBIM35Vqs0Vii476dqUxDnli?= =?us-ascii?q?EKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAZt4RW3ZPUdhNWCxAGoO8?= =?us-ascii?q?bpUAD+wdPeZDsoLxo0ICoQaiCQWwAe/izDhHiGLr3a0hy+QuDx3J3BAuEdIJtX?= =?us-ascii?q?TbttT1NKEPWuyxw6TFyTDPYvVL0jn/9YfIaAgsrv6MU7x+csTf1FchGB/eg1qK?= =?us-ascii?q?tYDoJSmY2vgRv2WZ6edrSOKhi3QgqwF0ujWhycQshZPVho0L0FDE9CN5z5woLt?= =?us-ascii?q?O9T057ZMCrEJ1NuC6AMYt2XtgiQ2Jytyc60LINpJm2fCsNyJQi2RHfbeGIfJKO?= =?us-ascii?q?4hL/T+aRIi13hXJ/d7+kiBay9FKvyuz4VsWuzFlKqS9Fn8DKu3sQ2RLT7c2HRe?= =?us-ascii?q?F8/kenwTuP1w7S5vteLk8oj6bbNp0hzqYslpYJrUvDGSn7k1j1gq+Obkgo5PSk?= =?us-ascii?q?5uD9brjlppKQLZJ4hwD/P6g0m8GyAuI1ORUUUWeB4+Szzrjj8FX5QLpUiv02lb?= =?us-ascii?q?HUsJXAKsQaoq61Gg5V0oE+5xqmATer0dcVkWMILFJCfxKHgIzpNE/ULP/kCve/?= =?us-ascii?q?hkygkDZtx//YIr3sGovBImTHnbv7frtw61RQxBcywN1e/Z5ZC7IMLOr2WkDrtd?= =?us-ascii?q?zYChE5Mxazw+biENh91YQeWWeRDa+fLazdq1mI5v40I+mPfoAUuCzyJuMq5/7r?= =?us-ascii?q?l3A5mFsdcbO10psQbXC0Bu5mLFmBYXrwntcBFn8HsRYkQ+zvjF2OSDpTZ3epX6?= =?us-ascii?q?Ig/Tw7E4KnDYLbRo+3mrCB3SG7HodXZm9cEFyMH23oJM24XKIQeTqfOYplkycY?= =?us-ascii?q?fbygUJM6kwqjvRS81qJqKOyS9yEF8drj3cN26unX0Bo7+zFcD82G0GyJSydzhG?= =?us-ascii?q?xMDyMnxK1kiUh80UuYl6N4ivhdGMZIoehEFk8hKYaUm/dmE/j3UwnaONeWDl+t?= =?us-ascii?q?BMilV3V5Rds0x5oKYl1hM9SklBHKmSSwR/cekKXOD5gp+Ird2WLwLoBz0TKO1K?= =?us-ascii?q?A6jFQiRuNPPHali6p7sQ/JCMqBmkqVno6udL8Ax2jG9G6HyGeUpwdDXUo4ap3h?= =?us-ascii?q?ZjhLfVPStvz17ViEQLunT70sdBZCn4rKJ7FOY9vmyExbSez/OdPYeEq8gWO5Ax?= =?us-ascii?q?nOwamDKMLxZGRYxD/aDE8Luw8U+nmCOAckATq5uCTVCzkqXVbhaFip8O9ipWm2?= =?us-ascii?q?VVMczgeEKUBtkbO+vAMWwbS1ccxW9ZUhnQYdlxhZNFK8wd/ME92Ho0xod+NBYp?= =?us-ascii?q?d1yUxc0mnYvhB8OZroIad4zmUPdg5wu0LlnzFwBYRL2Zwjt3cC0gNpMquCll5N?= =?us-ascii?q?amXclZv0f7zMI2P/+BSiLrPN10vF+NKX4bsUrv8xrhPqt0e0FQ5q+HFq2t8Q13?= =?us-ascii?q?qH+r3RBwsfV5n8FFwqsR5+4/nXfCQ7+6vV0ztwLOy/tjbfwM4pDe9jxhvkN9xY?= =?us-ascii?q?NabBCA//FNcLL8mjJeFsnEKmKlouJuFO9bU0d+ehePqNkIWsOOJnhS+nkGEPtI?= =?us-ascii?q?p52WqH7Gx6TfLUmZ8OheybiFipTTD52Xqiu9z6g4FCbHkxGW+yzyTtApJKZaRj?= =?us-ascii?q?dM5fCmCrLsu7z9NinJ3kSndw+1uqBldA08isL0nBJ2fh1BFdgBxE6UesnjG1mn?= =?us-ascii?q?kpymh4/Jra5zTHxqHZTDRCP2dKQGd4ilK1eNq7itkbWA6jaA17zUL5t3a//LBS?= =?us-ascii?q?oeFEF0eWWV1BJnGkIGRrU6/2vb2HMZYWtcEY9B5PWeH5Wmi0D77wpxxAjnHmFm?= =?us-ascii?q?pagTE8LnSk5MW/kBt9h2aQan10qSiBdA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AMAQBdmrBcYkSmVdFiAw4IBgECBAEIB?= =?us-ascii?q?AGBUgcBDAGBDoECJAEBAUEXOTMohA6BHYJehCGLDYxKiBKFeYF7NQSDDYE3hXg?= =?us-ascii?q?bBwEEMAkOAQMBAQoBAgEBAQEGGAwKCBsMJQyCOimDER0BEwgPDgEDCggDBgc3A?= =?us-ascii?q?hgMAREBBQEiAYM1gWgBAxwPkHCQDDyLHYESBQEXgnoFgQUBLAGDBQoZJw1fgTk?= =?us-ascii?q?CBwUNgSABi0YXgX+DN2yDHwICAReBaAwagkOCVwOKWJtICYIHAoJEg0GMChqCB?= =?us-ascii?q?4YajE6LX4Yqg3KKDTCBLoIOcIEBgjsJhWoGh3qCHgQ4QTABGAEBkFYBAQ?= X-IPAS-Result: =?us-ascii?q?A0AMAQBdmrBcYkSmVdFiAw4IBgECBAEIBAGBUgcBDAGBDoE?= =?us-ascii?q?CJAEBAUEXOTMohA6BHYJehCGLDYxKiBKFeYF7NQSDDYE3hXgbBwEEMAkOAQMBA?= =?us-ascii?q?QoBAgEBAQEGGAwKCBsMJQyCOimDER0BEwgPDgEDCggDBgc3AhgMAREBBQEiAYM?= =?us-ascii?q?1gWgBAxwPkHCQDDyLHYESBQEXgnoFgQUBLAGDBQoZJw1fgTkCBwUNgSABi0YXg?= =?us-ascii?q?X+DN2yDHwICAReBaAwagkOCVwOKWJtICYIHAoJEg0GMChqCB4YajE6LX4Yqg3K?= =?us-ascii?q?KDTCBLoIOcIEBgjsJhWoGh3qCHgQ4QTABGAEBkFYBAQ?= X-IronPort-AV: E=Sophos;i="5.60,341,1549926000"; d="scan'208,217";a="378411402" X-MGA-submission: =?us-ascii?q?MDHfecoaIsk2QQHYg/AdBWD0P3zb0NuJVIn8EJ?= =?us-ascii?q?g6kghecuKQT/oNN3/GuGrM2M2GYFaMqfw3FBVhxeQ+8jR/s6ufZ2//Jq?= =?us-ascii?q?l6JleNWdh747tF3iuJhHeUlLbpTTW7hgv0VTg0wScH54YDOfEUdthY2v?= =?us-ascii?q?fwvQoxXZHP23tweBsQUIn/fA=3D=3D?= Received: from mail-io1-f68.google.com ([209.85.166.68]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Apr 2019 16:06:48 +0200 Received: by mail-io1-f68.google.com with SMTP id u12so8519610iop.11; Fri, 12 Apr 2019 07:06:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:cc; bh=SVwtHIbrab8oAtU3rCipLLWh1joHVf0dzTlWuCLowyA=; b=D6/EsT0H+MyHYIooMBr9JFhvvqq30Sd6zWuLuPw/z9s1752Wun/PIioX+bypEBJ/1n ZVfSPefbpGTo9xiMMX2Fl+JIHj3RdcUznJhmFVBvW9uIwvNpUc/lH4b+6ZJiKjxfQyGE 5Zc6T1gwbpafyrTd1DfCHKCACnEpJdCMIuz4k36R15+L5p11sir6N43A2zrGtDpZU0Dr WdEEggtC4USI71E0/hKHqaG8CmRRNGqp/93bHjCDvV9wXSNS3eHCpkYfYY6mhyh81CwJ iP7xWQh4qaSDzzvcvTe70WTtqjTJroCKAhSURM2hwtEAvz/CDZ8ao/57vN677Y9SvZMn U+jA== 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:cc; bh=SVwtHIbrab8oAtU3rCipLLWh1joHVf0dzTlWuCLowyA=; b=aTwk1il/kKc5ENzpnvIQNaNmUuRYfLAZDHMer3hJlapZfbLn8ULlrrr1nyg8i8Q+pO ZAIcjF6RZRTM3uOKWMMEuxRb8LgwP1JcREiKpyymdKLnUrBu6IDinjQO3WAxYAjqBuA/ IBTNt0cZBEbMIBJVXBeLn+69epgE6h11y/parD2ehfv0y1YPbGzXSjZXhAcwQh/lrbRn 48dcFrjiLhmu25rVf9gjNo3g6wfXx4Sht+mr6MkYRHEQwL+62KpLd79EQbEsayUNTHzT VUwiDnFqcjaMoyqiYlyQ9U4dtR1JQoyxEYAAVtdg40VNLQsRvpF3B3VvQqXzchYKznNN xX9Q== X-Gm-Message-State: APjAAAWPh1D5KFQh31SpSSiq9OtaivcaaV+gwUbKrWqVjfaV5XVRGk8A azMKT9SPSQOHW//ZY+usI+c9/CnY0f7z0bPDbEbDqfC42ZzYGQ== X-Google-Smtp-Source: APXvYqw+ZeZpDNdr605jO8wvaIRK2nb3zfSZ6/KI8Iq9DRzot6HvCkh6BvO7JDY6IgRidpWd6IdfDogELVkTjUCtpso= X-Received: by 2002:a6b:6410:: with SMTP id t16mr15250646iog.65.1555074040888; Fri, 12 Apr 2019 06:00:40 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Fri, 12 Apr 2019 14:00:15 +0100 Message-ID: To: types-list@lists.seas.upenn.edu, haskell-cafe@haskell.org, types@lists.chalmers.se, stp , caml-list@inria.fr, coq-club@inria.fr, haskell@haskell.org, agda@lists.chalmers.se, SPLS , erlang-questions@erlang.org, swi-prolog@googlegroups.com, lfcs-interest@inf.ed.ac.uk, ARW-COMMITTEE@liverpool.ac.uk, Association for Symbolic Logic , cl-isabelle-users@lists.cam.ac.uk, clean-list@science.ru.nl, event@in.tu-clausthal.de, comm-theory@ieee.org, British Logic Colloquium Cc: DSG Content-Type: multipart/alternative; boundary="000000000000ce8284058654e36d" Subject: [Caml-list] New academic (permanent) positions opening at Heriot-Watt University Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 17486 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000ce8284058654e36d Content-Type: text/plain; charset="UTF-8" Several Assistant Professor or Associate Professor positions are opening at Heriot-Watt University, with a focus on the following areas: verification/programming languages, computer security, or data science. Link for further details, and how to apply: https://jobs.hw.ac.uk/OA_HTML/OA.jsp?OAFunc=IRC_VIS_VAC_DISPLAY&p_svid=22112&p_spid=1112032 Application deadline: 12th May. We invite bright researchers with expertise and a strong publication record in one of the following: programming languages, semantics, static analysis, type systems, proof theory, verification, formal methods, distributed systems, and parallel computation. If you have any further questions, please do not hesitate to contact me directly. Dr Ekaterina Komendantskaya Associate Professor in 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/ --000000000000ce8284058654e36d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Several Assistant Professor or Assoc= iate Professor positions are opening at Heriot-Watt University,=C2=A0
=
with a focus on the following areas: verification/programming language= s, computer security, or data science.=C2=A0

<= div>Link for further details, and how to apply:=C2=A0
https://jobs.hw.ac.uk/OA_HTML/OA.jsp?OA= Func=3DIRC_VIS_VAC_DISPLAY&p_svid=3D22112&p_spid=3D1112032
<= /div>

Application deadline: 12th May.
<= br>We invite bright researchers with expertise and a strong publication rec= ord in one of the following:=C2=A0
programming languages, semanti= cs, static analysis, type systems, proof theory, verification,=C2=A0
<= div>formal methods, distributed systems, and parallel computation.

=
If you have any further questions, please do not hesitate to con= tact me directly.

Dr E= katerina Komendantskaya =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0
Associate Professor= 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
School of Mathematical and Computer Sciences
Earl Mou= ntbatten Building=C2=A0 [ building 21, office G26 ]=C2=A0
= Herio= t-Watt University=C2=A0=C2=A0
Edinburgh, UK, EH14 4AS
+44 (0)131 451 8283=C2=A0




--000000000000ce8284058654e36d--