coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] New academic (permanent) positions opening at Heriot-Watt University
Chronological Thread
- From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
- To: types-list AT lists.seas.upenn.edu, haskell-cafe AT haskell.org, types AT lists.chalmers.se, stp <stp AT macs.hw.ac.uk>, caml-list AT inria.fr, coq-club AT inria.fr, haskell AT haskell.org, agda AT lists.chalmers.se, SPLS <spls AT dcs.gla.ac.uk>, erlang-questions AT erlang.org, swi-prolog AT googlegroups.com, lfcs-interest AT inf.ed.ac.uk, ARW-COMMITTEE AT liverpool.ac.uk, Association for Symbolic Logic <asl AT vassar.edu>, cl-isabelle-users AT lists.cam.ac.uk, clean-list AT science.ru.nl, event AT in.tu-clausthal.de, comm-theory AT ieee.org, British Logic Colloquium <blc AT cs.nott.ac.uk>
- Cc: DSG <depsys AT macs.hw.ac.uk>
- Subject: [Coq-Club] New academic (permanent) positions opening at Heriot-Watt University
- Date: Fri, 12 Apr 2019 14:00:15 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya AT gmail.com; spf=Pass smtp.mailfrom=komendantskaya AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f68.google.com
- Ironport-phdr: 9a23:v4KpzhfUk8xhnq2IYWOy+qz2lGMj4u6mDksu8pMizoh2WeGdxc2+ZxKN2/xhgRfzUJnB7Loc0qyK6vmmAzVLvMjJ8ChbNsAVD1ld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7s9xgHXrndVdOhbxWJlLk+Xkxrg+8u85pFu/zlMt/4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZSguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiCcGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcRctaSTBPDZ2gYIsOF+oBPPhXr4/hp1sVsBCyARCgCP7zxjNUg3P726o13fk8EQHdxAwvAc4BsGjaotXyMacdS+G1zK/VxjnHYP5b3TLx5Y7VeR4jvP6MR6p9fsXRx0chFA3Lk0ueppD+MjyPyugAqXKW4/Z8We+tjWMstgF/oiKoxscpkoTHiYEVxUrY9Spn2oY1JNu4R1RmatChF5tQsj+VN41rTcw4RWFopD06yr4ctp+7ZicB1ZMqxx3Ya/yCbYeI5A/sW/yXITdkn3Jle6iwhhao/kW7xe38U9O70FdOriZfjtbMsXUN2gXV58OaRPV9+UKh1iyO1wDV8uxEIU41mbDBJJE92LIwi5kTvVzfHiPshEr2i6mbfVgn9Oiw8+nrfKnqq5uGO4J3igzyKLkil82+DOgiMwUDXG6W8vmm2rL55032WrBKg+U2kqbHtJDaItwWpqujDA9U1oYv8he/DzC73NgBk3kKLVFIdAiIj4juPFHOL/T4Aumlj1uwlzdrwujKPrznAprTMnjOiKntcap55kJGywc+zcpT649VB7wAOv7+W0z8uMTdDhAjMgy0x+jnCM961oMbQW+PAaiZMKbMvl+O++0gOe+MZJMOuDb+Mfck5+ThgGQ2mV8YZ6ap3J8XZGqkEfRhJkWVeWDsjcsZEWcWogo+S/Tnh0GFUT5Kfnq9Q6Y85iwgB4+9FofCRoWtgKSb0yuhH51WYHpGClGWHnvyeYWEQaREVCXHPt55nydBUbm6V6cl1Aqyr0nhxrN8aPfM9yse85/vyZw95+TIlhw28Xl/BsqQ+2GEVGJ5mmdOQCU5mOhjsFRw0X+H0LNkmLpTFdVX4v5TSUEhONqU1PBiQ4TpRhrpe96CUxCmXZOvCncsTYR1i9QHZkI4H9S5kjjC2TCrCvkbjfjDD5stt6nYwnLZJsBnyn+A2rNlx1kvWchCMWmOhqdk9AXXA8jOiUrd36+lea002C/W6HzFxmqHuERVShU2SqiBFUsnQnCe+c/h4ljqQ7S1T7sjO01IwoifKf0OItDziVxAS7L6JdnFf2O2nXyYCAyMz7WDKo3wdCFVxzrcTVAelAQU8l6JMg8xAiquuWXDFCcoHlXqJwvo/+Jl7XK9UkIuwhqWR0xn2fy49lgcjrqBSLdb94g7/QwGjhBVIGqQ8vrSCsSNvRJme6EaaNh7/VQDnUvCrAt2P5W8LqdkzlAZaUxMrkbk0BF2Ac1klscrpzt+xRF2AbyRy0hIbXWV0Y2mfvXcLizz5xmlZqrS1xTDy9uM4Y8L6e8ksBPotQTvH0Fk7nYjm9JR3nKao5HLFxY6SpnwX0A8+l5guvfcZm116p3Z02FEMK/yriKH0NYgGfA5yh+kOdtSdOuPEwr3VtEaCs+0OcQrllWkKBUeM6Qa3rQ1I8K9d7Oi36GqN65Lmzaiin1a4Z14mhaG8yFUQfWO2ZEZ37eR1U2aVGGvok2mt5XamolYaCsTGGP36i/hCYhdb6tuZoUCGG7md86ww9h4i5frR2Vb/U+qL1wD0c6tPxGVagqujkVryU0LrCn/ymODxDtunmRs8/PGjX7+ht/6fR9CAVZlAWxrjFPiO4+x1olIU02hbgxvnxygtx+jm/pr4Z9nJmyWen9mOjDsJjg7AKS1v7uGJcVI7cFw6HgFYKGHeVmfD4XFjV4a3ifkRTYMwTk6c3Srvcy8kUIqzm2aK3l3oTzSfsQinRo=
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:
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
- [Coq-Club] New academic (permanent) positions opening at Heriot-Watt University, Ekaterina Komendantskaya, 04/12/2019
Archive powered by MHonArc 2.6.18.