coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Professor positions at Ruhr University Bochum

From: Catalin Hritcu <catalin.hritcu AT gmail.com>
To: types-announce AT lists.seas.upenn.edu, Coq Club <coq-club AT inria.fr>
Cc: Catalin Hritcu <catalin.hritcu AT mpi-sp.org>
Subject: [Coq-Club] Professor positions at Ruhr University Bochum
Date: Mon, 20 Jun 2022 10:46:41 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=catalin.hritcu AT gmail.com; spf=Pass smtp.mailfrom=catalin.hritcu AT gmail.com; spf=None smtp.helo=postmaster AT mail-ot1-f47.google.com
Ironport-data: A9a23:FkCfCKuN8KS3YL/uBYU9Q/HmJufnVGRYMUV32f8akzHdYApBsoF/q tZmKWiBM/eMNDb1Ldt3YdjgpkwCv5ODmtcySQVqpSw2FClGgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g527BVPyvX4 Ymo+5OGZgf5s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnc2MaCgZA4zDoeIiDRcJCDh1Y4542KCSdBBTseTLp6HHW37lwvErC11veINEpaB4BmZB8 fFeIzcIBvyBr7jukfTrF68235xlcJaD0IA34hmMyRnSBOovRZHFBaXQ5MNTwR8/g8lPGbDVY M9xhT9HME2QMkUVZwh/5JQWg9qppGe8Kixj8G2M+7Zp6DjO4y5P3+24WDbSUoXSGZ89clyjj mnB5iHyBgwQHMeOzCKMtHOqnO7G2y3hML/+D5W9//9uxVqPnykdVEJQWly8rv20zEW5XrqzN nD45AJ/kYkdxHGKQeD7YEO28WWdtUA/ZfpPRrhSBB629oLY5AOQB24hRzFHacA7uMJeedDM/ g/Z9z8OLWw/2IB5WU5x5Z/P8mzvYXl9wXsqIH5bHVFcsrEPtalq1kqXJuuPBpJZmTEcJN0d6 zWDrSx7gKlKyMBXiOO0+lfIhz/qrZ/MJuLU2uk1djL1hu+aTNT9D2BN1bQ9xasRRGp+ZgTQ1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323zpiP9I9sMumwvfh4B3iM4ldnBM B+7VeR5tM87AZdWRfIfj3+ZUJh2l/m+T7wJqNiNMYoVPPCdizNrDAk3PRLKt4wcuEcrlq47N P+mnTWEXB4n5VBc5GPuHY81iOd1rghnnD+7bc2lknyPjOXGDFbIGO9tGAbfNYgRsfLUyC2Lq Yo3H5XRkH13DrauChQ7BKZJcjjm21BgVc6owyGWH8bfSjdb9JYJUaKMmu1xJdY9x8y4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHUcktoHQlEzYrOFr0iXEvbZz+vqgafpozO7Ig8bU7n/JzS vAEfeSGA+hOGmyXoWRDMcGlodwwbgmviCKPIzGhP2oycptmcArDpY3pcw7pwy8RA3flrsA5u bChiljWTMNbFQRvBcrbcty1yFa1sSRPke5+RRqaLdxaeUGq+49vcnSjgvgyKsAKCBPC2jrKj 1bMUUlE/bHA+tZn/sPIiKaIq5aSP9F/RkcKTXPG6buWNDXB+jXxzIJFVtGOd2+PWW7x/pKke rwJnfzxNfswnGFKvZB5JLBlwP9s/NDovbJbkl1pEXiXPVSmDrRsfiuP0cVV7PYfw7ZYvU6xR hvK9IUFf7qOP8zhHRgaIw98NraP0vQdmz/z6/UpIRWluHUmouLfCUgCbQORjCF9LaduNN93y +kWvsNLuRe0jQAnM4rbgy0IpX6AKGcMD/cuup0AWtS5jwMqzhRFfcWZBHOppp6IbNpIPw8hJ TrN3PjOgLFVx0zjdXsvFCiSgbAM28xW4B0ankUfI1mpm8begqNl1hNm9zlqHB9eyQ9K0r4uN 2VmX6GvyX5iI9u1aAl/s2GQ98VpARSY/gn21wJMmjGGCUavUWPJISs2PuPlEIX1NY5DVmAzw V1a4D+NvfXWkAXZ0S47WEojoPvmJTC03hOXg9ipRqxpALFjCQcIQcaSia4gpB7uAMd3j0rCz QWvECCcdoWjXRMtT2YH50V2GFjepN1o5ICPfB25wJ40IA==
Ironport-hdrordr: A9a23:Yl68paqMcJVf9IJlCkKf9LIaV5ooeYIsimQD101hICG9vPbo8P xG/c5rsyMc7Qx6ZJhOo6HiBEDtexPhHP1OgLX5X43SPjUO0VHAROpfBODZsljd8kPFh4pgPG RbH5SWyuecMbG3t6nHCcCDfeod/A==
Ironport-phdr: A9a23:RBhnOxGu39Pn7F+08Bp8pJ1Gf2JFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31xmQB9mQt60MotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5ZPebx9ViDajbr5+I xq7oAfMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2Q rxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9 LlgRgP2hygbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyNODIOyY YUMEuQPI/hVoJXmqlQUsRezHxOhCP/zxjJKgHL9wK000/4mEQHDxAEtAcgBsGjOo9XxNacSV /2+wqvSzTXCc/NZxSr945XPfx89u/6MQah/cc7QyUkpDQ/Fjk+QqY35PzyJy+QAqGeb7+96W uKuj24rsR1+oj+qxso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8DJdetyOXOpdqT88/Xm1mt jo2xLMbtZO0ciUEx5UqyRHfZvCbc4WF7BzuWfqfLDp3i39rdrGyigus/ES9xODxSM+520tEo CpCl9nDrHEN1xrL58idV/ty5V2t1iuR2AzL8OFEPEA0lbDCJ548xL4wl4Mfvl/EHiDqmEX2k aqWel859ee28+jnZ63mpp6FO49vkgHyKKMumtawAek+LwMAXHCb9Pyi2LH/+UD1WrZHg/0sn qXHrZzWOd4Xq6G7DgJTz40t8QywDy2839QdhXQHLExKeBaAj4XxPlHBOvH4DfOmj1SrjDdn2 unKPrPuD5jPNHTDn7DhfbFy605Y1gU/18xQ55VRCr0ZIfLzXFH+tMDAAxMnLwC5x/zrBdZ92 48ER26DH7OVPLndvFKK/u4vJvODZI4RuDbzMfgl4PvugGclllAHYammx58XaHG+Hvh8I0WZe 3vsgssdHmcXpQc+Q+nqh0eDUT5XfXq9Q6U85jQjBIKgFojMXpqtj6CZ3CenAp1WYXhLBk2UH Xfya4qEQ+sMaD6VIsJ5jjMEUqGhR5Y92hGqqQ/10KFqLvHU+y0drZLszsJ55+zVlREo9Dx7F d6R02+XTzI8omRdWy4u0bs6qEp7zUqF2qVQh/1DCccV/P5ASUEnLZPayap3B822EinGZ5+iT EusCoGtBih0RdYsyfcPZVx8EpOslEaQ8TCtBuo+nqCCAJ0yuoLG3mT6Oo4pwH/a3a0giR8mW MpTPnCOiat29gyVDInMxRbK3522fLgRiXaevFyIynCD6QQBCFYYucTtWHkeYhGTttHl/gbYS LToD707MwxHwMrEK61Qa9Svg08VDOz7NoH4ZGS803y1GQ7O3qmFOYHjZ2wZ3SObCFIFjwsO1 XmDPAk6QCympjGWFyRgQGrmeFik6uxisDW+R04wwRuNahhq3qa8/h8Tw/yGSu8Yw5oLvS4gr 3N/G1Pul8nOBY+moAxsNL5Zfct74FpD0jfBsBdhO5W7M614rlsXcgAyuF+3khsrVcNPls8lq H5sxw13QU6B+HVGcT7QnZX5O7mNb3L34AjqcandnFfXzNeR/K4LrvU+sVTq+g+zRAIk9D183 t9Z3mH5hN2CBRcOUZ/3Tkc89gRr77DcbC4n4orI1HpqeaCquz7G0tgtCaMr0BGlN9tYNaqFE kf1Hah4T4ClIfAjn1mvKBIePfxZ6YY7Osqnc72N36vqdOdskTS6jHhWtZhn2xHplWI0QerJ0 pAZhvCAi1HfBnGs0RH765ixxd8XAFNaVnCywiXlGoNLM6h7fIJRTHyrP9Xy3NJ1wZjkR39f8 lenQVIAws6gPxSIPDmflUVd01oapXu/lG621Ttxxnsip7aW2C3IheT4dQYMJ0ZEQWBjiRHnJ o3+3LV4FAC4KhMkkheo/xOwzKFHraB+KS/TW0ZUdDXeIGRrU6/2vb2HKZ0qittgoWBcV+KyZ kqfQ7j2rk4B0i/tKGBZwSgyazCgvpiRcwVSsGuGNz4zqXPYfZs13hLD/JnGQvUX2DMaRS5+g D2RB16mPtDv88/G35vEt+m/USqmWPgxOWHgxJ+JsCq9o21wAAG0gti8n9TmFU4x1iqz29RxV CrOpQrxecGxj/X8Yb8hJBAwQgOjo8Nhf+M22pM9npQRxWQXit2O8HwLnH2yedRX1KTibWYcE DsCwtrb+g/giwVoKnOEwZ68V23ImJMwIYnnJDlPgmRhsJMvau/c9rFPkCprr0DtqAvQZaI4h TIB0b4073VchegVuQ0rxyHbA7YIHEAeMza/8nbAp924sqhTY36iNLaq008r19uoELiGowcaW Gz4Zpw/NSB158R7dlnL1Tegj+OsMMmVdt8VuhCOxl3LhvRcLJM30PoQhDZsJEryuHQkz6gwi hkkjvTY9MCXbm5q+qy+GBtRMDb4MtgS9j/ahqFbhs+K3oqrE8YpCnARUZDvV/7tDCMKuKGtK VOVCDNl4CT+e/KXDUqF5UxhtX6KD527KyTdOiwC1ds7DBiFeB4E3UZNDW18xMJmUFjtnpCpc V8ltG5NoASj8V0VlLoub16mAwK97E+pcmtmFsbZdUIMqFkEvwCPaYSf9r4hQX8epMHw6lzVb DTcPVwADHlVCBPeQQm/eOD/v5+YtLHIY4j2Z/rWPefR9aoHDarOndT3ldI4tzeUapfWZikkV qJknBoFBTcjQozYg2ldEnNM0XucM4jD4k/7o3MSzIj38ey3Cli3tM3fVv0La4Upo1fv3u+CL 7LC3n8nb2sIkMpdnzmQj+FOlF8K13M0LmfrS+9R83WXCvqXw/4ybVZTfSp3MIEgA7sU+A5LN Iabj9r00uQ9lfspExJfUlennMi1ZMsMKmX7NVXdBU/NOq7UbTvMi9r6Z6+xU9gyxK1dqgGwt DCHEkTiIiXLlj/nUAqqOP1NiyfTNQJXuYW0eBJgQWb5S9euZhq+Od5xxTo4pN98zmvNLnIZO CNgflllq7SR6WZfnqw6FTAeqHViKuaAlmCS6OyZYpcavP13AzhlwuJX5HNprtkdpCpARfFzh G7Ttos0+wDgwrTJkGM/FkYR+VMpzMqRsE5vOLvU7MxFUHfAplcW6HmITg4NrJ1jA8HuvKZZz p7OkrjyIXFM6YGxn4NUCs7KJcaAKHdkPwDuHWueBwIZRDqqMyffnU1Bm+y6+Xicr5x8oZ/p0 slrKPcTRBkuG/UWB14wVsQFO4tyVyg4nKSziccJ4T+5sECUSpkF+J/AUf2WDLPkLzPT3twmL 1MYhLj/K4oULIjy3UdvP0J7kIr9EE3VRdlRoydlY2fcRW1C9XF/Sis43Ee3MmtFD1ccEPe1m lg9jQ4sOIzFFR/p6lYzY13W/W4+zBZ3ltLijjScNjX2KfXoNbw=
Ironport-sdr: Ax2JOfYfk/dZH6lVKEfwTNtG92fGqRM7p0+szJxccIzQHShUTypjegNc/2e4okdxMF4ACq/b4h QZ5XAzRlntB3NPpFa51oe9yXhKZuuhbTHjiBTuS7Bl62y4t7Ea+bXKU3g3Ym2xV6EqPBbSYxPP 0+oVs6GvHriOvvaxdEt6vkaKRDGo+Tr8odiSEO6/LkB0d1Nr3K1lmUlqoqofAMwXdsknhmqFsK JVuKGZc0P7Eov9AMliDQpo8gDAZX7yhNa07yFp/0dKYy1VxjOb0wi2m7K3olqRJ4EFYUahYFm9 43s2LLcCYwwZPjgyeHgQYvMM

Dear colleagues,

The Faculty of Computer Science at Ruhr University Bochum (Germany) has several open full professor positions, which can also be filled by an assistant/associate professor with tenure track to full professorship. The positions are part of a concerted effort to foster collaborations with the recently established Max Planck Institute for Security and Privacy (MPI-SP). Programming Languages and Foundations of Computer Science are two of the explicit interest areas for these positions. The application deadline is 29 July 2022. More details below.

Kind regards,

Catalin Hritcu

Tenured Faculty at MPI-SP

and co-opted by the Faculty of Computer Science at Ruhr University Bochum

Professorships in Computer Science

The Faculty of Computer Science at Ruhr University Bochum (Germany) has several tenure-track or tenured openings. The positions are part of a concerted effort to strengthen the existing faculty and to foster collaborations with the recently established Max Planck Institute for Security and Privacy (MPI-SP). We welcome outstanding applicants from all areas of computer science, including but not limited to:

● Foundations of Computer Science

● Programming Languages

● Software Engineering

● Data Science (Data Mining, Machine Learning, Big Data)

● Computer Architecture

Appointments will be made for full professorship, or as assistant/associate professorship with tenure track to full professorship. Salaries and working conditions are internationally competitive.

The Ruhr-University offers a vibrant environment for computer science research. We offer opportunities for collaboration with MPI-SP and the Cluster of Excellence “Cyber Security in the Age of Large-Scale Adversaries (CASA)”. There is also ample opportunity to interact with Bochum’s well-developed start-up community, which includes a dedicated incubator. Our working language is English, knowledge of German is not required. Ruhr-University Bochum offers a family-friendly environment.

Candidates are expected to show:

● An interest and commitment to building up the computer science faculty,

● the willingness to engage in interdisciplinary scientific work, and

● leadership experience.

Candidates are asked to apply with the following documents: curriculum vitae, research and teaching statement, copies of diplomas (in official English or German translation), list of publications, and list of own third-party funding.

Applications in PDF format should be sent by July 29, 2022, to the Dean of the Faculty of Computer Science at Ruhr-University Bochum, Alexander May, e-mail: career AT casa.rub.de.

The official job ad can be found here https://jobs.ruhr-uni-bochum.de/jobposting/586ac694779bd2eb1182486fc78c712a4ea899480?ref=homepage

[Coq-Club] Professor positions at Ruhr University Bochum, Catalin Hritcu, 06/20/2022