Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg


Chronological Thread 
  • From: Lutz Schröder <lutz.schroeder AT fau.de>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg
  • Date: Wed, 18 Oct 2023 17:29:33 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lutz.schroeder AT fau.de; spf=Pass smtp.mailfrom=lutz.schroeder AT fau.de; spf=Pass smtp.helo=postmaster AT mx-rz-1.rrze.uni-erlangen.de
  • Ironport-data: A9a23:AEX/RailCNnW2g6TcrKVpXM0X161fhkKZh0ujC45NGQN5FlGYwR3n yJfBTDVa7vTPTzqO4IlK4qrthNR58eRi5Q2eLZe3WpoTndH79KaHrx1RW+rY3jOcZySQho95 JsUNIGfIco5FXHW+kinY+e6oShy36vWG7f1WeLPYH0vHlc6Ent71BxpwrRkj9Mw0ITlWV7R0 T+eT6MzHXf8s9IjGj5Es/vrRGpTlPTupCtK+RsRSNltgBnZnGINSokSLr2wIHy+SY5RRoaGq 534IM2EEhnxp1F1Yu6Nkqrnah9NBbXIOU6TkXdMR7K/mQQErSs3lZsAGcAgc1pMlw+ytvt80 slMu527QBsoOavlhfgdVANZDzA4NrdCoKGEIyC/6ZvQl8cuuyDs3+l2XgZxNpcEvPtsDHtS7 +EDNHYGaRXEutmb+o6hV/JwvP8KBcXnAJkCoW1L5HfSF+p+DNObyU0ClN9EwC9iwYdJFu3GI dcCZCBzdgnbf1tEPVJPYK7S59xE9UQTCRUD7gr9mII3/3TL1142l6PgO8bUddvMTsJQ2W2gn TrswgzF7moh2KuiJUCtqTT07tLnnT/nQJlAU/qj+/V2gVKUgGcUDVo9bWDjmcTRtqLFYD4oF qBu0nFo9cAPyXGWovnBszyQqnfc7k8SUIsKT7VqslDSlfCI6gvEWmZfETMQNYUt6MMfSG1x3 Ddlvfu5XG016OX9pVG1r+rP82vqYUD5CUdYOEfomCNcu4GLTLkb106JFJA5eEKMpoWdMSnqx DyXpzQJibwWjMoav4225lmvbwiE//AldSZroF2MNo6ZxlkhPtX8P9X4sQKzActode51cHHR5 BDopODFtIjiPbnV/ASRTeMEGq2e5vrtGFUwVnYyd3WJ323FF0+LJei80hkmTKtaGppslQvSX aPmkVg5CKm/k5edRfQfj4qZU6zGxEV7fDjvfqi8gtFmOvCdeOIblc3HiIH5M23FySARfa8D1 ZizSsaeUjEFVI5e0iOWH7sByaIT7xk47DaGLXz750zPPbu2YW7QU6VAaR2UdPI0qr6CoUDY6 dJWMcSHzVNTXYUSYAGOqtdVdABaayFiQ8quwyBUXrbrzg5OHHw9GbnKyrM7fIFpkr59mO7Vu H2wMqNd4ASu3SyceVrRApxlQJ79bJAhv0hiBCclJlaQ9WU+Wduu/KhKIvPbepF9rbc6lq4lJ xUfQO2LBe0KQTDa8RwGfJzlpcpjcg6qjESAJUKYjCMXeo4lXR6Mo5n+ZBnisjQID2+6r883p bKt0EXXTPLvWjiOEu7taMDwiEzsl0EDgcIqA1fQP+F6QUPFpd0CxzPKstc7JMQFKBPmzzSc1 hqLDRpwmQUri9JsmDUurfzax7pFA9eSDWIGTjSLsefe2T3ypzP7md4aOAqdVWqFPF4Y7plOc s154pkQ2tUqhlJDtYVxFd6HJopvvoOy/de2IixOFWvCdVWiYo6Mz1GDzYxVpOgUgKVDqwbwR 0SOv9RAPbyPN87jVlIcTObEUghh/a9M8tUxxa1rSKkf2MOR1ObeOam1F0LT4BGx1JMvbOsYL R4J4ab6ETCXhBswKcqhhStJ7WmKJXFoe/x5585HXtC30VpzlA8qjXng5snevs7nhzJkbBVCH 9NorPCZ2dywO2KdLCVrTiadtQajrc1V508RpLP9G7h5soCc3aZsjEw5HcUfQglI0g5M0+9oc mZsLVZ+JbiI8CxuidRRN11A6CkebCB1DnfZkgNT/EWAFhHAfjWUcAUVZ73XlGhHqD00Q9Su1 OzCoIoTeWy0LJiZM+pbcRMNlsEPuvQtrlacwZ37Q5nfd3T4CBK86pKTiaMzg0OPKasMaIfv/ oGGJc4pMPajZx0D6bY2EZeb3rk2QRWJbj4KC/J48a9DWSmWdDiu0HLcYwq8a+FcFczsqEWYM s1JIt4QdhKc0C3VkCsXK5RRKJBJndkoxuE4RJXVGUA8vYCykB9VobPL1y2nhGYUU9Rkysk8D YXKdgO9KG+bhFoKumqU8O10GDScXfQZbwvegtKOrbwDEpEfgtFOanANj72GgCmIAiRa/ja/n gDKV4nJxcNMlKVumIrNFP1YJgOWcNncasWBwDqRgf9vM+zdFNjojBwEjGXnMyB9H6oja/4um Zuj6NfIjV745pAoWGXnqry9Pqhu5/TqetFIM8jyfUJorQHbVODCuxI8qn2Fc7pXm9Zg5+6id QuySO20UfU3A9595nlkWxJyIiYnKZbcT/nf/HumjvG2FBIi/xTNL4qn+V/XfGhrTHI0FKOkO DDkmcSFx45+nNxXCQ4mFsNWJcZyAGXeVJsMc/zzsjilDVeUvG6Sh4u6lTcd7WDkN3rVNuf7/ pPPeTbmfjuQpqzj7Y9Uoq5yjDItHVd/hugCe2xE39tMjxG7E280AuAPOroWCpxvs3LT1bOpQ BrvfWcdGSHGcjAcSirF4fPnRRa5OuwCHvzbNw4Z1RqYRAnuDbzRHYY70Dlr5klHXwfKzcalG Ik4wWLxNB3g+aNZb78fydLjiNg2286A4GwD/H38tMnAAxw+J7Eu/145FSpvUR33Ke38pH/pF 0MUG18dGFqaTHTvG/lOY3RWQREVnA3+xgUSMBug/ozthJW5/sZhltvPY/r+w58SXvQsfbQuf 076d0GJwmKR20EQh5cXhsIUsfd0JM+PT/OAEoXGejMop4Cx9WUtAO0alwUtUswJ2VBSAnHdp BaW8lk8A0W3LW4I/LiszSQI5JNDfXYeBB7ZjAPEhGHnkD5o6/P7ahSV3AbABpWokJfavmJcW yY0UEadh3a0pQnUj2BymdpDr2PWHPxLM2fPVx4Za6/bkzCueTd7L69g2URr7OBh2iRI6asMf ZnAzuhn3pysWx6O+AXWnN05RLxDhJVZEyQhj47Zxj5aJuGS5qjaLengcq2bSzwMiy5YQV4Ci 83fS2LOADLs7DV+YGZXhN3zebddtJKIj6k1+XcuP/B847W86KUSq7S8wAupeTlVa5m/aJa+X B3vxsi/QDkKIgDLS8lPg1wH3JzS1sBw+2PA2Eb1Fl+l+JKW2mNvQOlI5NYA2veubHx8OlUI5 w74buDypevFunO+mRTQ1HGhgp0VFQKbxtgvdCT/OHDzNwMrr4pOoIGRgMOL8iU+SvtyI8pS0 gxOIUro6cb36kEzYyOgLTtwcjDCFm6lNp6IdswaYoijppLrEYJdcdcOhlN2T9lK+l9psuFOC Hu9H5Gq+PJoE4xkQaqynnPsf3VpF6LJFQ2CruS/jWRZMpzZMoiJ8ZeYINCp1r7QJDygs0Wli NZOh6ZazySPk5N7yVJA3hlenfuws+gftSvSOSyO3RoinizXYIyezUXTBetjqo3ktGkSmXsC1 pajOXk1ulD83BAAxVyTbkE06ODHZvUDSgSIm3eBdk5FKUy9rx4/8JWuJqzlxOPR8STWxMwuL 5O8UpocHLEEerolfVPpArTt24c5JEWT45iaEcxTyWO6q4ugtFdS3DJKi+lCLOlc9mjfF9p/D YF6GB28CnRw1F1YG27B52TffEG0BXglSBD1bHU17PKUYya7IdOlm998fw==
  • Ironport-hdrordr: A9a23:ki+Tm6q2+WPtDSK3PiDmjSsaV5oNeYIsimQD101hICG9Afbo7v xG/c5rrSMc7Qx6ZJhOo7C90cW7MBbhHP1OkOos1NWZPTUO0VHAROoN0WKF+UyGJ8SUzJ846U 4PSdkZNDS9NykZse/KpDKCIPpl79yO/smT6dv2/jNXdjJHL5t95AN4F0K6KyRNKzWu2qBVKK ah
  • Ironport-phdr: A9a23:NzEkAxRshidWlrHYm6oJdvIbudpsok2VAWYlg6HPa5pwe6iut67vI FbYra00ygOTDcOFs7kZ1KKW6/mmBTZep87Z8TgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmorgjdrMgbjZdtJqsxyBbCv39Ed/hLyW9yKl+fgRfx6t2s8JJ/9ihbpu4s+dNHXajmZaozU KZWDC4hM2A75c3rsQfMQA6S7XYCUWsYjwRFDRHd4B71Qpn+vC36tvFg2CaBJs35Uao0WTW54 Kh1ThLjlToKOCQ48GHTjcxwkb5brRe8rBFx34LYfIeYP+d4c6jAf90VWHBBU95SWSJPDYyzY YsBAfcbPehGs4bwvFQOoQekCASwGO/ixD1Fi3nr1qM6yeQhFgTG0RQmEdITrHTVrcj+OroOX uC11qnQyyjMYO1M2Tzg74XIdg0hoe2NXL5qasre1UkvFxnCjlqOtIPqISmV2/8Ds2eB8upsT /+ghHA+pgx3vzOgydsihJPTiYIJ1lDL6z95wIAtKNClVUN2ZdCpHZ9fuSyGNYZ7Tc0vT3xmt is4xbALpZ62cSYWxZonxxPSa/+Kf5aU7hzsV+ufITN1iXF4dLyxhhu/91WrxOP7VsmxyllKr yxFn8HCtn8Xyhzf8NWIReV780y82jiPzxje5vxKLEwpj6bXNp0sz70qmpYOrEjPBDH6lFnug KOLdUgp+fKk5/njb7jmvJORNIB5hhv9P6gynMG0HP42PRIUX2eB/OSxzL3j8lP9QLVNlvA2l 6bYvInAJcUav6K1HhVZ0pw56xe+ETiqyskYnX8GLF5cZh2HlYzpNEvIIPD3E/i/hU6gnyp1y PzeP73hBIvCLmTbnbv8c7tx9lRQxBcwwN1c/Z5YF6wNLOjtVkPtrNDYCwU2Mw2ww+bpEtV90 YYeVHqLAq+ELKPTsEWE5vkzLOmMfo8VvyjyJOU76P70lnI5l0USfbSz0ZQKdn+0BvJmLF6Bb nr2ntgBCXsKvhY5TOHylVGOSSRTaGqqX6Ig+jE7D5qrApvERoC0mbCOwCO7HoBNaW1dEVCNE XLod52eVPsWaSKSJNVhkj0eWrS7RY8hz0LmiAivwL1+a+HQ5ycwtJT51dEz6feArxwq8S1IC JGZzn2fCXp/nnkPSjM7xohxqFE7xlrQ/7J/hql8CMBBr8hCUh2kOZPGh7h+FszgHBnKfs2OR VqrWP2oCCx3Qt9nkIxGWFp0B9j31kOL5CGtGbJAz9RjZbQx+6PYhD3qItpljm3BzO8nhkUnR c1GMSungLR+/k7dHd2BiF2XwoCtc6lUxyvR7CGb12PbuFxEQkhrWqXfWn0Ta1H+o93koE/PH Pe1EbpyCgJa0oaZL7dSLNjgjFFIXvDmbdDDf3D3gGywHxGFyr6WRITjZiMR0XaVE1AKxjga5 m3OLg0iHmGhrmbZWSRpDk7qaljw/PNWrWP+VF1xlkeQdV9skaez+1sYn/iVTfwe2PQItU/Ns h1SG1Cwl5LTAtuE/E96eblEJMg6+BFB3H7YsAp0OtqhKbpjjxgQaVY/uUSmzBhxBoha9Kpi5 Ho30Ap/L76Z21JdZnuZ2573ILjeNmj1+limdafX3ljU1Nve9L0I7bw0rFDqvQfhEURHkT0v1 8RJwT2H7ZXQCwceXIjZXE8qsRR35vnbbiQ7+4LIxCh0K6Dn+jTG2t8vGK4k0kP5JI4ZafPUU larVZdCVK3MYKQwllOkbwwJJrVX/a8wZIa9cueenbWsJKBmlS6nimJO5MZ81FiN/mxyUL2tv d5NzveG0w+ATzq5gk2mt5W9nZ1Yd3cJFWqlziXoCZR5aKRvO4oGQzTLQYX/1pBlipjhVmQNv lq+G0FAw8SpYx2fY1Hn9QNZyAIbrDb0/EnwhywxmDYvoK2F2SXIyOm3bxsLNFlAQ2x6hEvtK 4y55zwDdHChdBNh1B6s5EKhgrNeuLw6NG7LB0FBYynxKWhmFKq2rLuLJcBVutsktiBeUeL0Z l7/KPa1pwYGwWX4FGtEwz03eiuCtJzk2RB3wG6QN3d8qnPFdNo4nEyGooWMFbgIh3xcHGFxk nHPC0K5PsW18Nnx9d+Lqe24W2+7F9VSfSTt0YKcpX6+7GxuDwe4mqP7kdnmHA4mlC7jgoAxD GOR/Ea6O9CtjfzpVIAvNlNlD1L99cdgT4R3k49rwYoVxWBfnZKNu3wOjWb0N9xfn6P4dnsEA zARkLu3qEDo3lNuKnWRysf3THKYl4FlesWoJHgd2jg64sxHEo+a5aECkSY/8T/a5UrBJONwm DsQ065k7GMGkacSswo3ySiRD6o6E0BFeyDh3UftjZj2vOBcY2ChdqK13Ux1kIW6Db2MlQpbX W7wZpYoGSIjptU6Kl/H12f/r531YNSFJ8xGrQWayl2T6oodYIJ0jPcBgjBrfH7wrWFwgfBul gRghNm/rMCGMzk/pfngREcIZnusPoVLvWuz6MQW1seOgdL1Rs04SGtQDMnhFarwQmtK76m1Z UHQTHVro3OfU9IzBCen4Vx95zLKGpGvbDSMIWUBiM5lXF+bLVBehwYdWHM7mIQ4H0ak3p6pf EB87zEXrln2z3kEgvpvLAX6W3zDqR2AbydxUoradVxM9BNPoVrTMImT9OZ6GS5V+NutoUSBJ 3eaaAJBEWwSPy7MTwm4Z//3tYmGqrHeXLL2JuCGebiUrO1CS/qEjYmi1Idr5XfEN8mCOGVjE +xu2kdHWiMceYyRkDEORioL0iPVOpfA/VHlqn0x95n5qqy4PWCnrZGCALZTL9h1rhW/gKPYc vWVmD48MjFAkJUF2X7PzrEbml8UkSBnMTe3QtFi/WbASrzdnqhPAlsVcSR2YYFM8r4umBJGO dTch9/4zJZ2h+NzB1oPBjmD0om5INcHJW2wLgaNHEGQKLGPPiHG2enyceamW/gJyv9OpRD2p DCaVkL5Oj2FmDTvERyie7Ip7mnTLFlVv4ezdQxoAG7oQYf9axG1B9RwiCU/3bw+gn6ZfX5ZK zV3dFlB66GB9S4NyOsqAHRPtzA2SIvM0zbc9eTTLYwa9OdmEjgh3fwP+2w0kvNcpCBcGK4sw 3KU944+5Qj/1LHIkGQCMlIGqy4V1tjT5RwwZ/6JpJAYAS6WpUpXsDfCTEpW755sDtml00i14 tbGieT/JWUamzo71cUVGo7YJZDeWJLAGR/5XSTGSVJDVyS5OCfCgU0YneuW/3uao558ppW+w fIz
  • Ironport-sdr: 652ff9e1_6a6gjLqvc7OPWDlasSjVTgFg+HWfGRDDhh3snZNp4Yf/7YU NwK3HcbJniZc418GAk+JoGFrAhovLx4ybaj1NAw==

A fully funded

three-year PhD or postdoc position
(E-13 on the German TV-L scale, full time, no teaching obligation)

is available at the Theoretical Computer Science lab of Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany, with starting date between now and April 2024. The position is affiliated with a large interdisciplinary project involving FAU labs in computer science, linguistics, and law, funded by the German Federal Chamber of Notaries (Bundesnotarkammer). The project is aimed at providing automated support for notarial procedures using methods from formal logic, machine learning, and computational linguistics.

The position at the Theoretical Computer Science lab, supervised by Lutz Schröder, is concerned with formal logical modelling and reasoning. We are thus looking for a candidate with an MSc or PhD in computer science or mathematics, ideally with a background in logic, in particular modal or description logics.

The position is embedded into a large and active research group with a
highly collaborative spirit, see https://www8.cs.fau.de/ for more details. Erlangen's technical campus is situated within pleasant Franconia, and close to the vibrant city of Nuremberg. Please send applications or further inquiries to

lutz.schroeder AT fau.de

Best wishes,

Lutz Schröder

--
--------------------------------------
Prof. Dr. Lutz Schröder
Friedrich-Alexander-Universität
Erlangen-Nürnberg
Department of Computer Science
Chair 8 -- Theoretical Computer Science
Martensstr. 3
91058 Erlangen
+49-9131-85-64059
lutz.schroeder AT fau.de
http://www8.cs.fau.de/~schroeder/
-------------------------------------

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



  • [Coq-Club] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg, Lutz Schröder, 10/18/2023

Archive powered by MHonArc 2.6.19+.

Top of Page