coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Assistant Professor (tenure-track) and Professor (tenured) positions in Computer Science at Institute of Science and Technology Austria (ISTA) (apply by November 28, 2024)

From: Michael Sammler <Michael.Sammler AT ist.ac.at>
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 Professor (tenure-track) and Professor (tenured) positions in Computer Science at Institute of Science and Technology Austria (ISTA) (apply by November 28, 2024)
Date: Thu, 19 Sep 2024 10:27:50 +0000
Accept-language: en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Michael.Sammler AT ist.ac.at; spf=Pass smtp.mailfrom=Michael.Sammler AT ist.ac.at; spf=None smtp.helo=postmaster AT mx1.ist.ac.at
Ironport-data: A9a23:YpHqRqhl7wGiXQRZ+Wc7oNFdX161QBEKZh0ujC45NGQN5FlHY01je htvCjvSb/jZMTbyedokPITnoRkHuZ+AydBkQVNpr31mEy5jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtMg06/gEk35qiq6WpJ5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGNE8mP4cy8PROWWhV5 6I1dypVaEqurrfjqF67YrEEasULKdmyeoIEpjdpxnfQEZ7KQ7iTGuOQv4QejGt23JoQdRrdT 5JxhT5HSRXLYxRCPhEsAZc7mOqyrnjkb3tRoxScucLb5kCKnFcggOe0a4S9ltqiZMt6v2Sio Fj/9kv1BDg5Dt6emQuX2yf57gPItWahMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c8/zp366kp6AqiRZ/0Q3VUvUK5g/LVYPIIe8VS1e1H4vC8D6uxXwDokhYphB0aWM4KqfgC0 0/Q2dLyGXpmu/ucVRpxM1tSQSyaYUAowa0qPEfojjfpJ/Hiu511hxmJR8oL/GudkIjuAT+pq 9yVhHFWuljQ5PLnE4265kyBijnqr4ShosvZIOnIdjrN0z6Vr7JJq2BlBZY3IBqAwEukooG9g UU5
Ironport-hdrordr: A9a23:ZbTV46PMleVmpMBcTq+jsMiBIKoaSvp037BL7SpMoHNuE/Bw+/ rAoB1573TJYVQqNk3I8OroUJVoKkmwyXca2+UsAYs=
Ironport-phdr: A9a23:Z9vHZBL5cZ/ZjWERnNmcuJBsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEvbM03QaCB9qTwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDebRlEiCCgbb52M Rm6ohvdu8sLioZ+N6g9zQfErXRPd+lK321kIk6dkQjh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6 qpgVRHlhDsbOzM/7WrajNF7gqBGrxK7vxFxw5DabpyJNPRwfa3dfM8VS2VOUctKSyxBG4G8Y 5cTA+YdIOpVqZT2qVsUrRu5AAmhHOThyj5UiX/2x6I1zeAhGhzb0gM6GtIOtXDUo8vvNKwPV u27y6jIwinDb/xMxzj97JLEfA07rvGJWLJwddTeyVM0GgPElVWQtZbpMCmJ2egXqWeb8/NtW OSygGEotw9/uCKgxtswiobXnIIVzEjJ+CRnzIg1KtO1TE51b9GmHZdNqyyUOIt4TMMjTm9nt ig3174LtIC6cSYFyJkpxxzSZfOHfYWH4h/uVumfLDd2in9jZbmxiRGy8U26xe39UMm5yFdKr jFZktbWrHwCzQDc5tKdRfth+EqqxDWB1xjL5+xHPEw4j7TXJ4Avz7IqlZcevl7PEjHolEj3l KOaa1ko9vK15+nneLnrpoKQO5Vphg3gL6gjnNG0DPo8MggTRGib5fqz1Kf+8034QbRFkOU7n rXfvZvHP8oUvLS5DBVQ0os76xawETOm0NMAkHkCI1NJZQiLj4nyO1HSOvz3F+uwj062nzd33 /zGP7vhDYvRLnXbk7rtYKxx51BCxAc919xS5J1ZBqsfLP7tW0L9rNnYAQU4MwywzebnEtJ91 oYGVGyIA6+WLKPSvkWW6eIrOeWCeZUauDP4K/gh+fHul2Q0mV4Gfam1x5cYcmy3Eu58LEWFe XbshMwOHn8QvgUiVOzqlEGCUTlLanqvR648/C00CJq6DYffQYCgmKCO3CCiHpFPem9GDk2MH mzzeoWfW/YMbTqSLdV7njwFU7ihUY4h2gu0uA/00bo0ZtbTr2cTsoum39xo7cXSkwsz/Hp6F Y7Vh2qKViR/mn4Cbz4wxqF250JnnBPLm7Rpm/FDUNVV4fRUVAw3HZrd1PBhTcv/UxmHY8+ET lDgT9m7S3llUsMpzsRLakB7HMikhR3r2yuxH6RTjLGCH9op6q/a2T78K9srmFjc06x0qlgtQ sJCMSWdj6t68wXJT9rskk6ZnquuM58V2SvJ+X2rzHGS+khTFgdsB/aWFUsDb1fb+IyqrnjJS KWjXOxP2mppzMeDLvEPcdj1lRBcQ/ylPt3CYmW3kmP2BBCSx7rKYpC5M34F0nD7D04J2xsW4 W7ALRI3UwKgqGLXATgoLlvqZkfh68F/s2/9R0Ryxh3ZJ1Z52e+N8wUOzeeZV+tV27sFvCk7r DAhOVe239vbD5y7rg9keKhGSdIm/BFO3iTQq181JYSueoZlgFNWaAFrpwXu2hFwX51HitQvp Wg2wRBaLLLBllJaa3WR1tb5JtU7M0HU+xaiI+7T01DaipON/7sXre4/oBPltR2oEUwr9zNm1 cNU2j2S/MeCCg1aSp/3Xkstknoy77jHfikw4Z/V3nxwIOG1tDHFwdcgGOoizF6pYd5eNKqOE AK6HdcdAoCiL+kjml7haRxhXqga0a8/P8qrc7290auuOOt6tDO9kSJO68Z0zgPE9iZxTPLJw 4dQ2+uRjW7lH3/3iFastNyymJgRNWhURDDkj3i4QtQLOP4XH85DE2qlLsypy88rgpfsXyQd7 1u/HxYc38TvfxOOblv71AkW1EINoHXhlzHrql482zwvsKeb2zTDhur4cx9ScEtKT2lrgFOqG oGxitQXRmCpdBRvnRDj7FqwlM057OxvanLeR0tFZX28CmBpUqK9svy5astK7J4ymSRMTKK1a haTVvSuxnlSmzOmFGxYyjchcjissZishB12hlWWK3NrpWbYc8V9rfvGzOTVXuUZnj8PRS0iz CLSGkD5Jd6iu9Odi5bEtOm6EWOnTJxaNyfxn8uMsy6y5GsiBhPa/bj7v9zsEQE31WnA3txvU SjShBfnfs/i3OKzLaprc1JpC1n198dhUtEn1NFq39dAhT5A3Mvd9GFi8y+7KdhB3KPicHcBD SUGxdLY+kmt2UFuKG6I25OsU3ycxsV7YNzpKmgS2y8784VLEPLEtfoex3Az8gb+91iPMp0f1 n8HxPAj6WAXmbQMsQsplGCGB6wKWFNfNmrqngiJ6Na3qONWYnyueP6+zhkb/5jpAbecrwVbQ Hu8dI0lGHo6y8R0MFvB1DvI44ThfNTKRdMIqludmFHJk6IGTfB53upPnidhNW/n6DcAyuU7h BFqm6qzuY2DJn9F/bmlRBdTcDTpLZB2mHmlneNVmcCY2JqqF5NqF2AQXZfmevmvFSobqfXtM wvdWC15sHqQHqDTWBOO8Eoz5WyaCIilbjvEQRtRhcUnXhSWI1ZTxRwZTClv1IBsDRiknYTkY A94/mxDtge+8EEXjLI0cUOlDCCE/mLKIn81TpObMRZbvDZZ/0mTOsqXqOtvVyBe9Zm8oAHfH XeDaUJQF2wVW1zCCk2rN+u14MXY7K6TF/akLvCIZ7iSzI4WH7KBwZblumd/1xCLMMjHfnxrD vlhn1FGQWg8AcPS3TMGVy0QkSvJKc+dvha1vCNt/Ii597zwVQTj6JHqafMaOMhz+x2wnaaIN vKBzCd/JzFC05oQxHjOgLEB1V8WgitqenGjC7MF/SLKSavRnOdQAXt5I2trM9BU6qsnwgRXE cvL05X0zaI+h/VzAksEHV3tl8e1ZNAbdmGwMFSUYSTDfL+CJDDN34T2efbsEPsK1r4S50H24 2zFQCqBdnyZmjLkVg6iK7RJhSCfZllFvZ2lNwxqAi7lRc7nbRuyNJl2iyc3yPs6nCCvVyZUP D5ifkdKtrDV4zlfh6A1Pm1K7nNoKa+/kiOc6+TCApcNrb1iCWJ9i6gJhRZyg6sQ9yxCSPFvz WHKqcVypli9juSV4j93CVxPsSoNjYnNtFkoasC7vtFQHH3D+hwK92CZDR8H8sBkBtPYsKdV0 tHTlaj3JV+qFvrV5tdaDsOSId7VaBLJ0DLsCGeSDRAZCzegc2jD1RQ1eB6692aJ6JEx7JHwy sNmdw==
Ironport-sdr: 66ebfcb3_1b54wwvhEPp4Ifto3EaMhnGVmeXmT07MqYmZRfujE0JXe1d dsqbBT0oX0tXDMdJlLemPJAocaUVtBB6bhE0nKA==

The Institute of Science and Technology Austria (ISTA) invites for faculty
applications in computer science; candidates from CS systems are especially
encouraged to apply.

Interdisciplinary applications bridging between areas are particularly
encouraged to apply.

Assistant professors start with independent group leader positions for six
years, progressing to tenured positions after a positive evaluation by
international peers.

Tenured positions welcome distinguished scientists with proven leadership in
research.

At ISTA, we promote a diverse and inclusive working environment and are
committed to the principle
of equal employment opportunities for all applicants, free of discrimination.
We strongly encourage
individuals from underrepresented groups to apply.

ISTA (https://www.ista.ac.at) is an interdisciplinary research institution
that combines basic science research with graduate education in theoretical
and experimental research in Mathematical and Physical Sciences, Life
Sciences, and Information and System Sciences.

Why ISTA?
- Impactful research in a vibrant, international, and interdisciplinary
research environment.
- Advanced facilities and comprehensive scientific support.
- Attractive salaries and generous resources.
- Guaranteed annual funding, including support for PhD students and postdocs.
- Graduate school with highly selective admissions.
- Professional development opportunities and employee support services.
- On-campus childcare facilities.
- Inclusive working environment.
- Proximity to Vienna, consistently ranked among the most livable cities
worldwide.

Take the next step in your academic career and apply at:
https://www.ista.ac.at/jobs/faculty/
The closing date for applications is November 28, 2024.

[Coq-Club] Assistant Professor (tenure-track) and Professor (tenured) positions in Computer Science at Institute of Science and Technology Austria (ISTA) (apply by November 28, 2024), Michael Sammler, 09/19/2024