Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Professorhip in » Logic and Verification in Computer Science «

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Professorhip in » Logic and Verification in Computer Science «


Chronological Thread 
  • From: Javier Esparza <esparza AT in.tum.de>
  • To: cl-isabelle-users AT lists.cam.ac.uk, coq-club AT inria.fr, hol-info AT lists.sourceforge.net, types AT lists.chalmers.se
  • Subject: [Coq-Club] Professorhip in » Logic and Verification in Computer Science «
  • Date: Fri, 28 Mar 2025 09:28:54 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=esparza AT in.tum.de; spf=Pass smtp.mailfrom=esparza AT in.tum.de; spf=None smtp.helo=postmaster AT mailout3.rbg.tum.de
  • Ironport-data: A9a23:7NZ+TKuaunAhZf7qJLLx6XWBcufnVIFaMUV32f8akzHdYApBsoF/q tZmKT3UOPnbZjegedglOd++o04B7ZTRzddqQVA6q30zFH4RgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNt8pvlDs15K6v4GhC7gRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJE0LAqc34dxvOkZpq PgDchxVShaRnf3jldpXSsE07igiBMziPYcYp207iyvTArA6XJWFT6iiCd1whWxpwJkTTLCGI ZpxhTlHNHwsZzVCIU8eEoA3tOauwGXidntUpTp5oIJuujKDl1YvjOKF3Nz9Y92bBuJQx1qig DzF7zvEHxs6Ld6Q1m/Qmp6rrrSSwX6lANh6+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 3H44QIrpKk281G3FZ/nVRL+vGOB+BIRMzZNLwEkwA2w9YD7+DyBPU8jEzpaMvB+kMkkXyN/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApwYkqOXZsoewtv4WLnW0jsi8jWOqPB4aZo7XI9dzYx jmLqC8jm+5Vl8QEkbmm+BbLjlpAR6QlrCZru207vUr8sGuVgbJJgaTyuTA3Ct4afe6koqGp5 iRspiRnxLlm4WuxvCKMWv4RO7qi+uyINjbR6XY2QMV6rmz1oS/8I9oAiN2bGKuPGp1UEdMOS BOP0T69GLcJVJdXRfEmM9LhYyjU5fO6SLwJqcw4nvIVP8QsKlfdlM2fTVKd1GDrkUMllekiP 5aFfNy3DGoLQaNphD+rQeYW0dcWKtMWmQvuqWTA503/i9K2PSfFIYrpxXPXP4jVGovd8V2Nq 76y9qKil31ibQEJSnKKq9BPfQhbdyBT6FKfg5U/S9Nv6zFOQAkJY8I9C5t6E2C8t/UKxrX77 TumV1VGyVHyo3TCJE/YIjpgcb7jF9I3534yISVmbx7i1mkBcLSfyv4VV6I2Wr07q81l7/p/F Mced+u6X/9gdzXg+hYmV6fbkrBMThqRuF+xD3KXWwRnJ59EbC7Vy+DgZTrqpXUvDDLolM4Qo I+A9wL8QLgbTQU/VMrpMO+d4G6wmVM/m+tCeVTCDfcOWUfr8alsczfQiN1uKe4yCBzz/Bmo/ CfIPgUp/sz2vJ4TzNnFoYumvrWZObJyMWQCFlaK8IvsEzfR+1SS5LNpUcGKTGj7b3z18qDzX tdl5ajwH9NflWkbrrcmNahgyJ8/wN7dp7V66ABAN1eTZnSJDoJQGFW37fNthIZsmIAA4RCXX 3iR8OZ0Ib+KYcPpMGAALTofM9is66smpSnw398UfmPB+y5FzJiWWx5zPj6NqhBnAplbDYcH+ dol6ekqs1GRqxxyKduXrDFmx0LVJFw6bqgXnJU7AojqtwkV9m9/caHsUi/Y3LzfavFnEFUbH TuPta+T25Ve3hXjdlQwJ1js3M1cp4g/hxRRxgQ8f3GYx8v0g/Qq0D1v7RAydAB0zwpG4c13K GNEJ014HoTQ3jZK1exofXGgJBFFPzKdonfO8loukHaDaVuFTUnPETENAvmM90Un7G5sRDhX0 7WGwmLDUzyxXsXO8gYteExi8drPcMdQ81DcpcWZAMi1JZk2Tj77iKuIZ2BTiR/GA9s0tXLXt 9tR4+d8Rq3qBxE++5RhJdGh6o0RbxSYKEhpY/JrpvoJFF6BXgCC42GFLkTpd/5dI/DPz1SDN PVvAcByTDW76jeFq2EKJKwLIoIspsUT2vg5RurJK1IF4pyllRg4lLLL9yP7un0nfMU2r+Y5N bHqVmyjFk6+uCJqvlHj/eh+FEi2W90mXDHH/fuU9bwJHq0Tses3fkAV1KC1jkqvMwBm3ky1u QfeQ6nsluZZlIdepKr3M6B5Hw7vA8jCZOeJ1wGSstp1ctLEN/nVhT4VslXKOwd3P6MbfdZ8h ZChkYfQ8hvenbAUV2v5pcGwJ5NR75/vYNsNY9PFEnZKuACjBunu2kIn0EKlI8VrlNh92JGWd zGgYpHtSe9PCsZv/1wLWS1wCB1HNr/WaJ3nriaDr/ihLBgR/AjEDdG//0/ScmBpWX4UCqL6F zPLla6i1vJAoKRIIS00NfVsLpt7AV3kAI8NVdn6sxuGBWiJ3HKGnJbfliQb1DKaMUncTf7G4 q/ESCanJV728OvNwcpCuoN/ggwPATwvyaMsd0Ya4Jhthyr8EGcCKv8HPI4bDo1P1Bb/z4z8e CqHeV5K5f8RhtiYWU6UDBXfsgaj6igmP974Ijs04xjScS25Qp+dBf1t+0+MJpuwliTLlImax RM2oxUc/SRdBrloQ6AP+/n9jeoPKjby2CcT4U6k+yDtK092PFjJvUCN2CJMU2rbDsSLmEijy a3Zg4xbaBnTdHMd2vqMt5KY9N/1cd8vI/gVgf+z/evi
  • Ironport-hdrordr: A9a23:vhi2YKhs0t2vCUrZkIuOIadPAHBQXtYji2hC6mlwRA09TyX+rb HXoB17726MtN91YhsdcL+7Scq9qB/nhPxICOoqXYtKPjOW31dARbsKheCOr1KPehEWndQtsZ uIHZIObeEZXTBB/KDH3DU=
  • Ironport-phdr: A9a23:sidVjh9HHigMhf9uWbq3ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z gqHvb400weZBc3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfQlEniaxba99I BmrrwjdqsobjZd/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d9ir9QrhC8qBxl24Pbb4+bOvpgcK3Aft0bSnZOUMlKWixdAY68b ZcDA/YdMetaqYT2ulsArQG5BQmpHO7hziVHhmH33aIkyeQqDA7I3Bc4H90UqnTVrc/6P7oVX O+r16nI1S/Mb+lX2Djn84XIcxYhreuQXbJtdMrd01QgGB3cg1iWtIfqMC+b2P4XvGiH8+pvS /ivi2g/pgx/oTWiydohh4fLi48X11zJ9St0zZo6K9ClVUJ2Yd6qHYdUui2GNIZ6X90uTm51t SsnxLMLpJC2cTQIxZopyRPSbeGMfYaP4hLmTumRIDF4iWpgeLO/mxay7E2gxvfhWcaq1ltBs ylLksHUu3wQ2RHf99KLRuZ980qlwzqDyxrf5+JcLUwqj6XXN5osz7szm5YPrUvPAir7lUDyg aOLcEgv5/al6+D6YrX9up+TKZV0hBz/MqUvhMOyGfg0Pw4TVGaB4+u8zqfs/UjhTbVKkPI2l q7ZvYjfJcsBp665BwhV0ps/6xuxFTumys8XnXYdIFJZZRKHipLlNEzQL/zgDPe/hUqjkCtzy vzbMLDtH4/BImXDnbrlZ7px91RQxQkrwdBa/Z1UC7UBIPzpWk/2sdzVFgE2Mxesw+n9EtV81 5kRVHmOAq+fKq/SrUKI5uc1L+aReoAZoDD9JOM96P70kXA5gUMdfbWu3ZYPdXy0Bu5mLFmBY XrwntcBFn8HsRY5TOzzkVGNTTpTZ2upUK8n/TE6CIemDZ/ZSYy3gbyB2j27HpxMaWxcBFCMC ySgS4LRUPNJaTmbKMJlljFBSKOsUZQJ0RC1qBS8wLNiaOPfvDAb8dro08Ew7OnOnzkz8yZ1B oKTySXFT2Zw22IOSTge2KFkvVc70VCey6N1jftCGtEV4f5VFk8mJIbR1MR+CsvuQUTKft6NT Vu8WZO9DGIfVNU0lv0HfUdwAZ2PlQjKxTijS+sYjKSCHo492qPamWTsIoBxxiCVh+Eak1A6T 54XZiWdjall+l2Lb2aou0CQlqLxML8ZwDaI72Cbi2yHoEBfVgd0F6TDR3EWIEXM/pzi/k2Xa bioBPw8NxdZj9aYI/5HccXgl0dPbPblfsjDZiS9ljT4Hg6Gk4uFd5GiYGABxGPYAUkAnRoU+ COLLhA3HDWoi2PYSiBzEBTjbhCk6vFw/VW8SEJ81ASWdwth2r6yrwYSnuCZQugP06gsvS4gr zJpAA37xdjZTcadokxtcc2wePsb51FKnSLcvg15Zdm7Krx6w0UZa0Jxtl/v0BN+DsNBl9Irp TUk1lg6L6XQy15Hez6CuPK4crTKNmn/+gyuYK/Kyxnf1tiR4KIG9PU/rR3qogioEkMo93gv3 cNS1jOQ4ZDDDQxaVpyUMA5/+gNirqvIawE84cXIyHgqPaT1+j7O1tQ1Bfc0nw66doQXO6eFG QnuVswCUpH1capzxgnvNlRUb4UwvOYuMsirduWLwvuuNedkx3e9iHhfpZt6ygSK/jZ9TejB2 9AExeuZ102JTWSZ7h/pv8bplIRDfTxXEHC4zH2uCZVJb7dgdK4KDyGyPsjxytg01PuPEzZIs UWuAV8LwprjdAGKZkbv1CVR0wILvHnhlSbynHRk1jouqKSYxinHxe/vIQEGNmB8T25nlV7wI IKwgrj2RWCQZhMy3Fug7Ef+nO1AobhnanLUWQFOdjT3KGdrVu2xsKCDaohB8sFgvSJSWeW6K VeUL9y16xYByyr5DWJ2xTZ9ayyv/Jn01xB3k2OSKn9voWGRIJopg06CtZqEA64Z1yFOXCRij DjLGlWwd8Kk+9mZjdam0Kj2Vm6sUIFSbTi+yIqBsCWh4mg5SRa7nv21hpjmCV1jina9joQ7E 32O/EWZAMGjzamxPON5c1M9AVb975E/AYRiis4rg4lW33EGh5KT9H5BkGHpMNwd17itCRhFD TMN3dPR5xDonUN5KXfcjY/iTnyH0MJJZt/8fn4TnC4wpZMvau/c/PlfkC15r0Dt5w/KefFnj D41yP1o9GMfxe0E8lll3mCWBbYcGlNdNCrnmkGT7tywm65QYX6mbbm60Ect+LLpRKHHuAxXX 2z1P4szBSIlpNsqK0rCiTegopGhYtTbasgf8wGZgwuVxfYAM4o/z59ozWIkOHqh7yR+kqhi0 E0ohdfi+9LcYyZs5PzrWBcAZ2+lP8hLqGOq0/oWiM+S28rH8oxJPDINUdOoSPupFGlXrvH7L 0OVFyV6rH6HGL3ZFAvZ6UF8rnuJHYr5f3eQbGIUy9lvXnz/bARWnRwUUTMmn5U4ChHixcrvd 1187ywQ4ViwowVFy+ZhPR3yGmnFowLgZjAxQZmZZB1Yi2MKr1/SKtCb5/lvEjtw+5SgqAuQN jfdfQ5HS30UXwqIChGrP7Wj48XB7/nNBue6KKirA/3GouhfWvGUgJO3h9I9pnDVa5TJZj8yX JhZkgJZUHt0GtrUgWAKQi0TzGfWatKD4Qy74mtxp9y+9/LiXETu45GOAv1cK4YKmVj+jKGdO uqXnCs8Jyxf08ZGyGTQwaIN1XYTjWdyajzrHblK5kuvBOrA37RaCRIWcXY5LMxT86c1xRVAI +beg9Lx0aNk1bgvAVgDSUHk3M2kL59vQSn1JBbMA0CFM66DLDvAzpTsYK+yfrZXif1dqxy6v Tvz+6DLPzLFiyTsERyiY7gkZMCzORVfvIagbk0rE2LsCs77b1u3PY0v5dXT6bwywG/XMCgQP GokG34=
  • Ironport-sdr: 67e65dd0_f++YbYNI7v9QFUTT9sgTIgu30SF01xCd1LNLpH6rN0Uyp8F Zm52WXs19GUDkgU2cs3inZKgD5YSis12U/o8sVw==

The Technical University of Munich (TUM) invites applications for an Associate or Full Professor position in Logic and Verification in Computer Science, to begin as soon as possible.

TUM seeks to appoint an expert with significant contributions to one or
more of the following areas:

• Automatic and/or interactive theorem proving
• Innovative applications of theorem proving in Computer Science and Mathematics
• Logic-based approaches to the analysis, verification, diagnosis, repair, or synthesis of programs
• Semantics of programming languages

The deadline for applications is May 31, 2025.

More information at:

https://portal.mytum.de/jobs/professuren/NewsArticle_20250326_114328

--
Prof. Javier Esparza
Department of Computer Science
School of Computation, Information and Technology
Technical University of Munich
Boltzmannstr. 3, 85748 Garching


  • [Coq-Club] Professorhip in » Logic and Verification in Computer Science «, Javier Esparza, 03/28/2025

Archive powered by MHonArc 2.6.19+.

Top of Page