Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Assistant Professorships at Heriot-Watt University

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Assistant Professorships at Heriot-Watt University


Chronological Thread 
  • From: "Stark, Kathrin" <K.Stark AT hw.ac.uk>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "types-announce AT LISTS.SEAS.UPENN.EDU" <types-announce AT LISTS.SEAS.UPENN.EDU>
  • Subject: [Coq-Club] Assistant Professorships at Heriot-Watt University
  • Date: Tue, 26 Jul 2022 16:01:34 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=hw.ac.uk; dmarc=pass action=none header.from=hw.ac.uk; dkim=pass header.d=hw.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=6CA92ukuOiNryud4H9czhICiK6glTHi3irLC37aNbj4=; b=hC2DzdNkQ1QsPAkeEo52ib9PRUu+wRSaGubeV5EeCS3O041PjfBqBbGFJmIiOrPWX/D2/QPzpOSh/jwBEpqCrGUp+r+B2rMwbYxTdbqsZ25znrR81l6bzdN5g2TmYsBIkxYMwu7f7qwmsB5HLW1DtlGycWx5bN0AcOdF5CCFoo906QFfFte20KL0XJ7rbjCaQufOws2VUbTs4coYogPFn8tqBZeXAzcWE86r1u52bn3afbbJmazmtddBj2l6FF8NRXGk1b4M1tT6/EpRVNe3Jhl6yO2rS7MIGJdVuBPJvHJpOvi8DVJSm7FQ1LIwvpqJQn/acNo0qi1ot76rjjsyCw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SHPFwkIRvMi9oXGYU27RQluYXc1evc78D42Tg9S4mquXA/q81b6rI0rRyfEVPp3aqfkvbWQ/P6k2xHvM5DCig7wEGdia4jahqs3tOESlko28DMP9Ur3Ecd9tbIAeZsuIIAgjL64mFINTtykVU1K/Eg+OEOHEyJEQLOfFwlLrSwuKVqWT1xA26D4wUBt0OngLWCJM295Bha4kt4BMbWbdmHst7aA1Byb6ikZ3O5sXC8vKVTpblkJwdxKc2mK/0ozdp+JS4jGL9u6xw1puFBpzNBy6XOT4gqiQl+DHcbEK+YUE92RFZQLTfDznnwQcsTJRZaWOH7xn0Act7WhbRGLNvg==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=K.Stark AT hw.ac.uk; spf=Pass smtp.mailfrom=K.Stark AT hw.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-LO2-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:KYKHZ6vvd6juifWQmBFWGwiLtOfnVDdbMUV32f8akzHdYApBsoF/q tZmKWjTPquLYzCjfoolb4Wy8k5T78fUy9BhQFM+qyo0QS1DgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52rBVPyvX4 Ymo+5KFZgf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnZeLdlwOZYzBpP4cfENACiQlEPdB3YaSdBBTseTLp6HHW1TG+a03SWURZ8gf8OsxBnxS/ /sFLjxLdgqEm++93LO8TK9rm9gnK87oeogYvxmMzxmFVbB/Gc+FGv2MvIQItNszrpgm8fL2R IwidTN1bzzAfFtGMREKC/rSmc/y3iCuK2AJ8jp5o4IS/kH35QJDwITuG8rvXp+uX/hplFqX8 zeuE2PRWUhBb4TGk1Jp6EmEjejW2Cj/RYg6D6y97vcsgVuJx2VVBgd+aLegifywi0r7X9UFJ EYOonMpq/JrrxztScThVRqlpnLCpgQbR9dbD+w97keK17bQ5AGaQGMDS1atdeDKquc9fgNx8 QSoku/zBBM1qKSQEl/H8ZKt+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7q5jESMWGvq w1mvBTSlJ1O1JNSif7TEUTvxmP3/vAlWyZvvm3qsnSZAhRRS6TNi2aAzV/d4fFGRGpyZnSq5 kZsdyS2weYBCZiLmESwrAglGbio47OBN2fTi0Q3Rp4nrW32qzikYJxa5yx4KAFxKMEYdDT1Y UjV/wRM+JtUO3jsZqhyC25QNyjI5fe8fTgGfqmIBjarXnSXXFPYlM2JTRLOt10BaGB2zckC1 W6zKK5A90oyB6V91yaRTOwAy7ItzS1W7TqNGMCkkE/3i+TCOyb9pVI53L2mPrBRAESs8FW9z jqjH5Lao/mieLahOHSGq9BPRbz0BSFmX8yo96S7idJv0iI9QTp6U6aLqV/QU4lklL5SjeDG4 jm0SFJCxTLCaY7veG23hoRYQOq3B/5X9CplVQR1ZArA8yV9Pe6HsfhHH7NqLehP3LEylpZcE qhVE+3eWKgnYmqcoFw1M8KixLGOgTzw2WpiyQL+PWBjF3OhLiSVkuLZkvzHrXVTXnDv5Zdu/ 9VNFGrzGPI+euirN+6OANrH8r97lSF1dDtaUxSaL99NVl/r9YQ2eSX9guVnccETbxzIgCaZj l7EDRAdrOjLgok07NiQ3f7U9tnySbMmExoIBXTf4Ja3KTLeojipz7hGXbvaZjvaTm71pPiva LwNnfHxOfEKhnhQtI94H+o5xK4y/Yu9p6Acxw8iAXaSNwanDbZpI3+n28hTt/QVmO8A51DsA hqCo4AIN6+INcXpFE8qCDAkNunTh+sJnjTy7OguJBmo7iFA+rfaA15ZOAOBiXAAIbZ4bNElz OMmtJJE4gCzkEZ3YPmstHgNskCrdDkHWahhsYwGCoj2jAZt0ktFfZHXFi7x5teIdslINU4pZ DSTgfOa1bhbw0PDdVs1FGTMgrUC3MRU5EgSwQ9QPUmNl/rEmuQzg09c/DExeQJfkUdK3ud1D W50OhAnPq6J5Tpp2JNOUjz+AQ1HHxHFqEX9x0FUzT/cRkisE2jKdmI3I77U+0ZDqjkMOD9G4 Luf1WDpFy7we9381TczXkgjrOH/Sdt29UvJn8X+R5aJGJwzYDzEhK6yZDVX9EK3W59p3ECX9 /N3+OtQaLHgMXFCrqA+Db6c3+tCRR2BIltEXvw8rrgCGnvReW3p1DWDQ6xrlhih+xAXHY6E5 81SygZneD6EjH/LihdBQKkGLvlzgeIj48cEdvXzP2kavrCDrz1v9pXN6iz5g2xtSNJr+Sr4A p2EbCqMSwR8mlMN81IhbuEdUoZ7XTXATA3jmum+tvgKf37GmP85alk8i9NYoF3MWDaKPHuoU MfrZ7CQxuck1IcEc04A1ElcL13cFO4fn9hkPOx+XxqioD8P3QrzW9spl2Ta
  • Ironport-hdrordr: A9a23:r6loNqmTifAs9akQjZyazgOF74HpDfOyimdD5ihNYBxZY6Wkfp +V8cjzhCWftN9OYhodcIi7Sc+9qADnhOdICOgqTMGftWzd1FdAQ7sSibcKrweAJ8SczJ8V6U 4DSdkYNDSYNzET4qjHCWKDYrUdKay8gcWVbJDlvhVQpG9RC51I3kNcMEK2A0d2TA5JCd4SD5 yH/PdKoDKmZDA+ctm7LmNtZZmJm/T70LbdJTIWDR8u7weDyRmy7qThLhSe1hACFxtS3LYZ93 TfmQCR3NTojxj78G6Q64bg1eUYpDLT8KoMOCVKsLlVFtzYsHflWG2mYczDgNl6mpDt1L9gqq i1n/5pBbUJ15qWRBD8nfKl4Xic7N4jhkWSs2OwkD/tp9f0Syk9DNcEjYVFcgHB405lp91k1r lXtljpwqa/ICmw7xgV3eK4JS1Chw6xuz4vgOQTh3tQXc8Xb6JQt5UW+AdQHI0bFCz35Yg7GK 02Zfusk8p+YBefdTTUr2NvyNujUjA6GQqHWFELvoiQ3yJNlH50wkMEzIgUn2sG9pg6V55Yjt 60RphAhfVLVIsbfKh9DOAOTY++DXHMWwvFNCaILVHuBMg8SgLwQl7MkcQIDc2RCeM1JcEJ6e j8uXtjxBAPR34=
  • Ironport-phdr: A9a23:zJeWnhx3zu+yJ7DXCzKbwlBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZv6w1xw6UFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9q52uyo5ZHffhlEiDW5bL5yM R67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84T aFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9 KdrUAHnhzsbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJBUMhPSiJBHo2yY YgTAOUOJutXtZXxq0cUoBeiGQWgGeXiwSJIiH/s2q061vwsHQ/b0gw8Bd0OqnfUoM3oP6kXS ++10KnIzS/Cb/NQ1zv29Y/FfBU7rf+RQbJ/a9DRyUo0GgPFgFScs5bqMC+P2uQQsGiW9uxtX v+ghGA7sQ9+uCSvxtsyhYnTgIIY0l/J+yp3zYs7O9G1Vk12bNGqHZZSqi2UOIV7TMw+T2xou Ss21rILtJ+lcCUL1ZgqyQDTZuCDfoaH/h7uSeScLDh+iXl4dry/gBOy/lKhyu36TsS010xKo TBZndnIqH8CyxjT6s+aSvRg5EuuxTGP1wXL5uFLIEA0iarbK4M6zbIql5oTtlzPHi/4mUnsl qCZal8o+vWr6+nhf77opYecOpd7hw3iKKgih9CzDOYiPgQTQ2SX4/mw2bPg8EHhXrlHj+E6n 6fcvZzHOcgUvK+0Dgpa34o/9xqyCiqq3dUYkHQCKV9JZQyLgo70MF/UOv/4F+2wg1G0nTdr2 f/GOrrhD43MIHXejLntYatx51daxgQq09xT/pVUBaofL/7pXU/xqcDYAQQ+MwypxeboFc9x1 psEWWKIHq+WLr/dsUOJ5uIoJemAfogVuCvhK/gh4P7uinw5lUUBcqmu2JsbcHG4HvJ4LEWFe XfhjcsNHX0XsgYiTuHmkkCOXSJJa3qvUa8x5Sk3CIe8AofCQoCtjqaB3CC+HpBOY25KEE2CE WvyeIWeWPcBcyKSI8F7njMeSbetUZIh1RK2uA/80LVoNvDU9TEAtZL/yNh14PXemQwq+TxuE 8udy32NT31znm4QWzA227l/rVVhxVeHzKh3mOdVFcdT5vNMSgc1L4TQz+18C9DoWwLOZM2FS Fi8QobuPTZkBNk22poFZ1t3M9SklBHKmSSwSfdBnLuSQZcw76j03n7rJs87xWyQkOFrk0g+T 9AKPGuggbN5/AX7I6/yr37frIuDTuIh5APr0iGu4VfE9BVEQRZ9SuDMW3YYe03doPzdx3j+d PmVJJ0cdDZ55OikbIZmV4u6o09BQaKpA8jXeWH100S5GRaSx7XGJN7JPV4B1T/eIEgb1QkYu 2uFY1ttThy9qn7TWWQ9XWnkZFnhpLUvwJvaZko9zgXRKlZky6Lw4RkNw/qVV/IU2LsA/iYns TR9WlinjJrNE9TVgQ1nce1HZM8lpk9d3Df68TdhN4ajB6B9wFcVNRl07Av1zxsiMoxbioAxq W8yig97KKaWylREIhDe5oz5IL7/Kna09Rvpdq2FkkrG3oOu87wUoO89t02lvAytER869G571 tBOz3aGzrrgNlJLFLbWCAMw/RU8oKzGaC4g4Y+SzWdrLaS/rj7F3ZQuGfchzRGjOdxYNctoD SfUFMsXT4irIe0uwB2yaw4ceftV7OgyNt+ncP2P3OiqOvxhlXSolzYP5oc1yU+K+ydmL4yAl 58Y3/GV2BeGXDbgnR+gtM7wg4VNeTAVGCK21yHlAIdbYqA6c5wMDC+iJMi+x9M2gJCIOTYQ1 xiYG1oc2+epZlybZBrg3kwY1Egap2CmhTrt1yZ9wHkiqquS2jCLwvy3KEJBYzYUAjA6yw63c dvR7ZhSRkWjYgk3mQHw4E/7w/Mev6FjNyzIRl8OeSHqLmZkW6/2t7yYYscJ5ol71EcfGOm6f 12eTabw5hUA1Ca2VUgY/ywybTKCuoq/lhc8lWHXfxMR5DLJPNp9wxvS/omWZrhqwjMcRwF4l n/eDR6hPJP6tcXRnJDFvOekUmunXZAGaijnw7SLsy6j7HFrCxmy9xyqsuXuChNykSry1t0xE D7NsA65eY7zkaKzLeNgeEBsQl768ctzXI9kwMM8g5QZ2H5SgZvwnzJPsiHILdxB2or+czwET ngWwJbZ7RPk10tqMn+Sj96hECzFnY04P5/jOTNe0zl1981QDaaI8LFI+Ek96kG1qw7ce7k1n zsQz+cv9G9PhugIvAQ3ySDOSrsWHEReIWntj0HUt5bn9PoRPT7pKOPghy8c1Zi7AbqPox9RQ iP8c5YmRmpr69lndUnLyDv1453lf9/ZaZQSsAeVmlHOlbswStp5m/wUiC5gIW+4s2cizrtxr lpVwZigv6CHNCNk9+SkAVQLU1+9L9NW4TzrgatEy4y1mbuzF49iMjUUGpLjC++rWmFapbHsM ACAFyc5o3GQFO/EHAOR30xhqmrGD5GhM3zEQRtRhcUnXhSWI1ZTxRwFRDhv1IBsDRiknYayO Fc8/D0a4UT07wdB2v49fQeqSX/R/WLKIn81UMTNcEIQv1sEvwGNdpXDpuNrQ3MEptv49FPLc irDIF0WRWARBh7ZXRa6ZuHovZ+YtLHEY4j2Z/rWPefX8bAYC6jOndT3ldI5tzeUaJfVNyE7X aRigxhNASghSZaex2VqKWRfljqTPZSS/E7uo3Qu/M7jqK+5CkWztcOODbBWLNliqQuuj6vFL /SXmCtyNTdf0NUL2GPMz78cmlUVjkQMP3HoGLAE/0YhVYrok7RMR14eYiJ3b45T6r4kmxJKI Yjdg8/00bhxirg0DU1EXBrvgJPhacsPKmC7fFTJYSTDfKyBPiHOytrrbLmUZpdq1LwRkzrq/ DGRHgnkIyiJkCTvW1a3K+ZQgSqHPRtY/oagbhJqDmulR9XjD3/zeNN6ljw5x7Qoi2iCaTZaa GAjNRoV6OTLvWtRmb1nFnZE72Z5IOXMgCuf4+TCa94XvfZtHiVohrda7XA9mN43pGlPQP14n jeXr8Y7/wngy7HQjGM/FkMV+mUu5srDp0hpNKTH+4MVXH/F+ElI9mCME1ERoMMjDNTzuqdWw 9yJlaTpKT4E/ciHmKlUT8XSNs+DN2IsdBTzHzuBRihDdiKiL2L3h1MbmfrU637f/f1Y4tD83 YEDTLNWTgl/DvQBFkFsB8APOr9YdAl8yPu/q5RN4nCz6h7MWM9do5bLEOqIBuniIyqYir8CY AYUxbT/LsIYMYixiCkAIhFq2Y/NHUTXR9VEpCZsOxQ1rEt6+397VmQv2kjhZ1Dl8DoJGPWzh BJzlhpmbLFn6mL3+1lubAmvxmN4gAwrlN7imzzUbDPhMPL6Q9RNEySt/0kpbsGnG0AkN0vq2 xQjbWqMRqoN3ec4Mzkz10mE/8MIQKA5L+UMYQdMl6zNIaxwiRIE7H3gnBMP5POZW8I6yE12L tj06SoHgl0rbcZrd/bZfPMblwEJ1KzS5nf6hKdtkGp8bw4M6D3AIidQ4R5Rb+B0KXbwpb4+r lDS0zpFc2wRW/d4uepk+gUlIeOcwin80rlFbEesK+iYKKDfsG/F8KzAChY50kdC/6Gg1bhpl 84oNVeXBRhHJFS5FwtPPMGENAIHNqK6FVD8VxzW6KDp5sgwOI+wUOf1UeWJqaAYxFq+GxokF JgN6cJHGYSw1EbfLoHsK7tXkH0Q
  • Ironport-sdr: KLVjI1p024QFLq78XElTCBjF3GWrtJ/MRE1gg7T/MTgMmVFh0URwKQg+QBxZPfBHSlcgPh+lSH Ow4HI6/8T5Dl1IlV8EJu9G0TFS7IwM4S6D4TKG3PAH9sx+CEdUTcgzMHp5mRt5Xwwm4zMfvegB 3378G5kpgNOvd3yb82KKvdbxhcaVeVYpgVKnuU/+feK7bTJAETj0Rv5eaGBFhllvVrTunzbAqj w6DQHGUjyfYkNZQN9oqkWeDgjWPi/qMM4ZvU8x1nK/7xen2P5/phITUTIbcLDjwT9crFv/wK6R Ux5bjeMgwdEIIUkuPECqbSQ2
  • Msip_labels:

Dear all,


The Computer Science Department at Heriot-Watt University is looking for three (permanent) assistant professors in Computer Science:

https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/2282/?utm_medium=jobshare


Heriot-Watt is currently growing significantly in the area of verification, programming languages, and theorem provers -  and Scotland offers a great environment for these topics in general (see e.g. the Scottish Programming Languages Seminar or our recent summer school).


There are also four more teaching-related positions


The deadline for application is August, 15.


Kathrin



Kathrin Stark 
Department of Computer Science
Assistant Professor, Heriot-Watt University 
Untitled Document

Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes:

  1. Heriot-Watt University, a Scottish charity registered under number SC000278
  2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.

The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system.



  • [Coq-Club] Assistant Professorships at Heriot-Watt University, Stark, Kathrin, 07/26/2022

Archive powered by MHonArc 2.6.19+.

Top of Page