Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL)


Chronological Thread 
  • From: Herman Geuvers <herman AT cs.ru.nl>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL)
  • Date: Tue, 15 Mar 2022 17:20:28 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=herman AT cs.ru.nl; spf=Pass smtp.mailfrom=herman AT cs.ru.nl; spf=Pass smtp.helo=postmaster AT smtp1.science.ru.nl
  • Ironport-data: A9a23:GCqcNKwF91sBiq/xk3N6t+f/wCrEfRIJ4+MujC+fZmUNrF6WrkVTn WIXXmHTb66MZmunc95/YI6+9B8P68OAmoNqHANtrFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvW4 I6q+KUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhAz +xx9qeSZzw3I7bRk90WaUgfA2JXaPguFL/veRBTsOSIylHeKj33yPRjCko7e5cFvOBzaY1M3 aVDcXZUMUzF3rzwme7gIgVvrpxLwM3DPI4Fv3hm5TrCS+w7B5bHK0nPzY8Gh2tr2p8m8fD2Q Mgwbh1vSxH6XRhvO21MUcIcrrypvyyqG9FfgAnJ+vVqvjG7IBZK+LPqKZ/efsGAbd5Em16R4 GPA5WXwRB8AXOFz0hKe926036nUliL2XokfUqelsPhu6LGO+oANICwRbGf4mtuXsVCjQM9UE kcuq20+7oFnoSRHUeLBdxG/pXeFuDsVVNxRD/A25WmxJkz8v1bx6o8sEmUpVTA2iCMlbWFzi QfRx7sFERQy4eLKFhpx45/O9VuP1T4pwXgqQwtsoeEtzNTlpowr5v4kZog+QffdYjHdPTD1y S2Qo0ADa1g7lssXz/z95lvGjjSnq97TU0gz4m07v15JDCskOeZJhKTxtzA3CMqsyq7CEzFtW 1Bey6CjABgmV83lqcB0aLxl8EuVz/iEKibAplVkAoMs8T+gk1b6I9wPumAmeBc3aZZUEdMMX KM1kV0JjHO0FCb1BZKbn6roUpxCIVXIRYi/B6COMrKinLAgK1bYlM2RWaJg9zuxzxdxzPhX1 Wazatu2Az4QT7ohpAdatM9DuYLHMhsWnDuJLbiilkzP+ePHNBa9FOdUWHPTP7tRxP7V/239r Y0FX+PUkEo3bQELSnSNmWLlBQpUfSFT6FGfg5E/S9Nv1SI9QTB/UaCNme19E2Gn9owM/tr1E riGchcw4DLCabfvc21ms1hvN+HiW4hRt3U+MXB+NFqkwShxap3p9rpZcZ9uJesr8+lqzPhVS fgZepTbXakVFGifozlNP4PgqIFCdQiwgVPcNiWoVzEzYpp8SlGb4dTjZAbuqHEDA3Pv58szq rGtzC3BRp8HS1gwBcracqL9xEj3p2VbnuYrBxnEJdxaeUPN9ol2Kn2q0aJtfZ1UcRian2mUz QebBxsctNLhmY5t/Ymbn72AoqeoD/B6TxhTEGTs5LqrMTXXozi4yohaXefUJT3QWT+m+KimY ukJnfjwPOdezQRRtpZkSvBwxqMz4dDi4aVHiAJgRS2ZY1OuA7JmA3+Hwcge7fIQnOEF4VO7C hCV591XGbSVI8e7QlQfEwoScbrR3/8jmg7U4KlnO079/iJ2oeSKCB0AIxmWhSVBB7JpK4d5k /w5scsb5lDtkBYsKdra3ClY+37Vfy4bVrk/79cBC47mjAEmjEtfJ5rYU3ek7JaKYtRKE08rP j7F3/Wf3eoAnhLPIygpCHzA/etBnpBQ6hpE+181OArbkNTyhsgx0UAD6j8wVAlUk0tKirohJ mhxOkRpDqyS5DM01tNbVmWhFgwp6Md1IaAtJ4/lVVE1TnVEkkTWKXElYKCW90EU9WlROCJGu recoIogeSi/Z9n/h0PeRmY8w8EPj/QonuEBpCxjN8+eWYMnJzzh6kNrTXRdsAPpWKvdm2Wez dSHP49MhWnTPjVWubB9DY3yOXH8jvybDDQqfMyNN5/l0Y0RlP9eFNROx42MlhtxGsH3
  • Ironport-hdrordr: A9a23:gzioKK+GpO3SRkdKfz1uk+DPI+orL9Y04lQ7vn2ZOiY1TiX+rb HLoB17726QtN91YhsdcL+7VJVoLUmslqKdgrN/AV7BZmTbUQKTRekI0WKI+UyDJ8SRzI5gPO tbHZRDNA==
  • Ironport-phdr: A9a23:0bjx5RTXomMQW4QpoWr/ImSgydpsoiiUAWYlg6HPa5pwe6iut67vI FbYra00ygOTB8OCsKoP27eempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffRtEiCCgbb58M Bm6ogbcu8kLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxmTgLjhiUaOD4j6GzZicJ+g61Vrxy/pxJx3pLbbo6OOfpifK7QZ88WSXZPU8tTUSFKH4Oyb 5EID+oEJetWrZfyp0ELrRSkAwmnGeLhxSFVhn/ow6I6yf8hGhzB0QwgAd0OqnHUo8/zNKoJT e+117PEzS/eb/9M3zf97JHFfxY8qv6DQbx+a9DeyVUzFwzblFWQr5ToMy6V2OkTt2WX8fdtW OChhWMltgx8oDiiy8Qth4TIm48Y117J+CplzYs0K9C2R1J3bNynHZdMqyyXKYV7T80mTmxup S00xLoGuZuhcygLzpQq3wLfa+GZfISS5BLjUOCcKip7inJ9YL+zmhi//VW6xuHhVMS530xGo jdEn9XWq3wA2BLe5tCaRvZy/kqtwyuD2xzR5+1eP0w4iLDXJpo8zrM2i5Edq17MHjXsl0Xzl KKWdlsr+uyv6+n/ebXmo4OcN5dphg3kKaQhhs2/Dvo+MgcSQWeX4/681KD58U3/RLVGlvw2k q/Hv5DGPckXu6C0DxJP3oo+6RuyAC2q3MkZkHUdMV5IdxyKg5DsO17UIfD4Cfm/g06rkDdu3 /3GPqPuAo/ILnfZlrfsZqpy61VGxAop0NBT/ZRUCrUZLPL1QUD+rMbYAQMhMwyo3+bnD81w2 p4GVWKVHqCZKL/SsUOP5u83P+aMY5YVtC/hJPgh+v7hlmQ0mUQdfKmsxZsYcmq0HvVgI0WDY HrjmM0NEWkQvll2cOu/g1qbFDVXenyaXqQm5zh9Bpj1I53EQ9WNjaaE1SHzMZBLeG1cERjYE XrycoyCc/wXLjiPZMllxG9XHYO9QpMsgEn9/DTxzKBqe7K8EkwwsJvi0IMw/OjPjVQp8iQyC c2B0maLRmUyn2USRjZw0ros6VdlxAKl1q51y+ddCcQV/+lABwc3L5vVycRxEJboR0THeoTBU 06oF+2vGip5Vdct25kLakd5Fc+li0XD0jCvCrk9nKfNHoFy9KaPl2PpKZNFwm3dnLIkk0FgQ sZLMji+gbVj8gHIG4PTu16ci77zM78X3SPL/2rF13fIukUwvBdYd6LDUDhfY0LXqY+8/UbeV /q1DqxhNAJdyMmEI68Ma9vzjFwASu2xcNLZK3m8nWu9H3PqjvuFcZbqdmMB3S7cFFlMkgYd+ myDPBQ/ASHpqnzXDThnH1biK0329uw2pHS+R04yhwaECi8pn7q44Bscg9SXULUJw/QCvGZpq jl5Gkq8w8ODE8CJ9EJqeKRRZ8944U8SjDmA8VUiYtr5ceY72gVNFmY/91nj3Bh2FIhaxM0jr XdxiRF3Nbrdy1RZMTWRwZH3PLTTbGj05hGmLaDMiTS8mJ6b/LkC7PMgphDtpgasQwAi/m9i2 t992GDa/IiMCg5YAtrhF1068RR3veSQYiQn4orS/XZ3d7Op9DnGkYFMZqNt2lOreNFRN7mBH Qn5HpgBBsSgH+ctnkCgchMOOO06GLccB8q9bLPG3aeqOL0lhze6lSFc55g71EuQ9i16Q+qO3 pAfwvje0BHVHzv7iV6gtIjwl+UmLXkSE3C6wC7MD5UXfLA0e4JDBWq1IsKxz8lznNa0ACcer QH/QQpYnpb1IlKbdBTl0BdV1FgLrHDC+2Pw1DFynzwz7+Ke0CHI3+X+ZU8CM29PSnNliASkK oy1gtYGGUmwOlFyzV38uhq8nvYd/fgkfAyxCQ9SciP7Ln9vSP61v7uGOItU7Y8w9D5QSKK6a EybTbj0p10b1TniFi1Q3mNeFXnit5Pnkhh9kG/YImx0qS+TecxqwB7ZzNfHA+RMmDwCDnowm XzMC16wMsP8t9WZjZLKtMi1TCS7S9tVdWO4qOHI/Dv+7mpsDxqlmvm1kdCyCgk23xjw0NxyX DnJphLxMcH7kr63OuV9cgx0FUfxvoBkT5pmnNJ61/RykTAKw4+Y9n0dnSLvPMVHjOjgOWEVS 2dDwsaJslG+gQs6cS7PnNq/DjLHnq4DL5G7ej9Eg3lkqZkVVOHNsvodx3sy+ATwrBqPM6Ilx m5Pl6J2uidG2rFb4VN1kHfPRe5OVV9ROSim//iRx+i3t74fJGOmcLzrkVF7gcjkF7aa5AdVR Hf+fJ4mWy529MR2dlzWgjX/7YTted+Yatx21FXcixDbk+1cM448jNIRgDZ/YCTmtnwozeU2y wZzm5e+9ISKMGRi+qulDwUQb2asIZpMpne00+AHwp3e1pvKfN0pAjgRWZr0Uf+kWCkfs/jqL UfGETExrGuaBauKHQKb7xQupHbOHpa3cnCPcSBClJM7G0XbfRIZ2VxPD1BY1tYjGwunxdLsa hJ87zEVvRvjrwdUj/lvL1/5W3veowGhbnE1ToKeJVxY9FInhQ+dPMqA4+Z0Bywd8IemqVnHK mGBYg1OJWoSHFaZQVbndOrLh5GI462DC+yyIuGbK62JsvBbXuyUyIiHyY5652/KLc6OM39pA rshxwxFWToqfqaR0yVKQCsRmSXXasedrxrp4Sx7oPe09/HzUR7u74+CWPNCdM9i8BesjeKfJ vad0WxnfC1A2MpGlhqqgPAPmUQfgCZ0e3yxHKQc4GTTGbnIlPYfDgZHOXoobY0RsP56hVELY YmB1raXnvZ5lqJnUgwcEwW+xofwO4pTeTH6bg2PBV7VZu7efWSZnZivM/rgEO0C1bwM6U/i/ mjHW1nqOjDJ/9EMfxu0d/tRyiefbkQ2UGCVaRNxETGlV9nnZxuwPZltkHswxe9t7pslHWUHd yJhNUVJ/OT40A==
  • Ironport-sdr: slsOYUaY4NSbm/ZkDUEMH8egYh0kXEiF9m1Z6soEKn7SJx4Wxetl3ED9qbdtRMPh0RxTNcyP0g vADUBFCwt8fsqyDDWTSfticCI1/DR5RGBbcU5id8llXTCRIIdmBUYWsKEafN8tuEnEgnBX9TUt C4oNQ7n3qxoP3x+NORx6SfzYtgydIQ5AvnDOdxkA4upU7ab6dNfBhyFqznmlO2mgXPx3FgTJv4 kr74K+wx2ml4snnxftKcjsEs0R+bBQvppvOn9H6SGO/ipeE+/p5ku0jaJIrk76JmlqOgvGDr8L NIdu7NcGHrJuUyMwS1jxF3f1

Vacancy for an *Assistant Professor* in *Formal Methods* at the Eindhoven University of Technology, the Netherlands

The Formal System Analysis group has a vacancy for an assistant professor in the field of Formal Methods.

Our group studies formal techniques to model and analyse software and hardware systems. Our goal is to develop theories and techniques that are both mathematically elegant and effective in practice. Examples of this include term rewriting, modal logics, process algebras, parity games, SAT and SMT solving and symbolic state space representations. Our group maintains the well-known mCRL2 toolset, which is used in major industries and institutes, generally as a verification backend. Our group has a strong research track record and actively applies its methods in industrial contexts.

For more details, including how to apply, see:



https://jobs.tue.nl/en/vacancy/assistant-professor-in-formal-system-analysis-914506.html



The deadline for application is *15 May*, 2022.



Eindhoven University of Technology is a top-ranking Dutch university that combines scientific curiosity with a hands-on attitude. Our spirit of collaboration translates into an open culture and a number 1 position in collaborating with advanced industries. Fundamental knowledge enables us to design solutions for the highly complex problems of today and tomorrow.


  • [Coq-Club] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL), Herman Geuvers, 03/15/2022

Archive powered by MHonArc 2.6.19+.

Top of Page