Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD Student Position at Uppsala University

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD Student Position at Uppsala University


Chronological Thread 
  • From: Tjark Weber <tjark.weber AT it.uu.se>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] PhD Student Position at Uppsala University
  • Date: Tue, 8 Feb 2022 15:57:21 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tjark.weber AT it.uu.se; spf=Pass smtp.mailfrom=tjark.weber AT it.uu.se; spf=None smtp.helo=postmaster AT cursor.its.uu.se
  • Ironport-data: A9a23:8GKfFaute189ft1wS0PdNVs1S+fnVHpYMUV32f8akzHdYApBsoF/q tZmKW+BO/qDY2r8Ko8iOoXnpB8OuJ7Wx9NhQARoripkRC8bgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCY0idfCc8IMsboUsLd9UR38g40bBVPyvX4 Ymo+5eHaAf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnZuyWx10Po/9o6cQVx5/Tz1lG4MB36CSdBBTseTLp6HHW3Dx2e5pFgc3IZZe5/sxGmwmG f4wcWtVKErY16TphuvkEIGAhex7RCXvFJ8ds2tjiy7UB/s8aZHfBbjXo8RVtNs1rpoWRq+EP ZNBAdZpRAXtb0YVCnovMdVksriIg0XdcBFnhV3A8MLb5ECIkFItieayWDbPQfSBQtwQlUKFr Erd7mHhC1cbMsaewHyL6BqRavTnhibnQMcVCaHhsON3xkaeroAONPEIfVy5s+PkimyPYJFSL 0szpjY1i4Z101P+G7ERQCaEiHKDuxcdXf9ZHOs79ByBx8LoD+CxWjVsotlpNIJOiSMmedA5/ gLYz46zWlSDpJXMFizBreb8QSaaZEAowXk+iTgsdiZtDzPLnZkrlRvLR76P+4bq0oS9Rm2YL 9yikTAmnLwXhIYg0Li94UGvvt5BjoPMUhZw4RjLByS480ViaeZJhrBEC3CFvJ6sz67AEDFtW UTofeDCt4ji6rnRyUSwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbJpYIG+4M ReC4lMOjHO2AJdMRfItC25WI5lwpZUM6fy5CJg4k/ITP8ItKF/vEN9GNBfBt4wSrKTcufpjZ 8vCL5nE4YcyErtqwDutR68A1741yzolxH/CDZb20wugy7n2WZJmYeptDbd6VchgtPnsiFyNr b53bpLaoz0CDrGWSnSJoOY7cABbRVBmVMueg5EGJoarfFE8cEl/UKC5/F/UU9c490ijvryUp S7Vt44x4AaXuEAr3i3QMi86M+60Dc8kxZ/5VAR1VWuVN7EYSd7HxM8im1EfJNHLLcRvkqx5S ecrYcKFDqgdQzjL4WRPbIW7sZEkbxny3VCCOC+sYT4eeZ98RlGToYO9J1G3rCReXDCqscYeo qG70l2JS5Q0RzNkUJTcZsWpwg7jpnMagu9zAxDFL4ALKkXh+YRnMQLrifozL51eIBnP3GvI1 hrQHApevuSU+90599zAhKalqYa1ErYkRRYDRjODtbvvbHvU5Guux4NEQd2kRzGFWTOm4rima MVU0+r4bq8NkmFKhIwgQbxl+qQzuon0rLhAwwU4R3jGYgj5Cr5kJXXaj8BDurcUmO1SpBGtX VjJ+8VBf6iUftjoSQZDKA0gZ+WF9PcVhjiPt69peRygvHd6rOidTEFfHxiQkygDfrF7B4MSx 7tzssAh7QHi2AEhNcyLj3wP+mnQfGYMVb4r6sMTDIPx01d50VReednbFzOvpoySLc5BaxF4L jiRjavEprJd2kufKSFvTCGXhbJQ1cYUpRRH7F4ePFDVyNDLsfk6gU9K+jMtQwUJkxhK3oqf4 ISw25GZ+ElPw9tpuCSHd2uxARpGHluY5le31kZPj2Cxo4xEkIDSBDVVBApP1BlxH6Fgkvxz/ a3e1XujSjuCkATZwH4pQUA8wxD8ZYUZy+AB8fxL2+yEA98nfHz+j8dCoIbORwTPWasMuaEMm QWmECucp0E22e78bpDX07Wn6Ik=
  • Ironport-hdrordr: A9a23:CM16NKPQ2r7pUMBcTvejsMiBIKoaSvp037BN7TEIdfU1SL3+qy nKpp536faaskd0ZJhNo6HjBEDiewKkyXcW2+ks1N6ZNWGM1wXIEGgI1/qA/9SPIVyaygcQ79 YHT0AoY+eAd2RSvILa6Ay/FJIB7bC8nJxA0t2utEtQcQ==
  • Ironport-phdr: A9a23:eELBpx+8/9wd5f9uWQu2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z gqCu7401gWBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdq72/qy9pDSbAlEmSSxba1vJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4 KdxUBLmizoJOT4n/m/ZlsN/gq1Urh2gpxFk347UeZuYOOZicq7Hf94XQ3dKUMZLVyxGB4Oxd 5UBD+gbMuZCrIn2ulsBogWlCgayHuPk1zhFhmP03aIgyeQhEhvK3QI+EN0VrnvUts74NKYOU eyv0anI0C/Pb+hI1jrk7oXDbx8ur+2WU71qbcrR1VcgFxnDjliIt4DoMDyY2/gTvmSF8uduW v+ih3MjpgxyrDaixscih4rUi48UxV3J+iZ0zoY1KNCmVEN2fd6pHZtRui+VN4V6XsUvSHxmt iY9z70Jo5+7fC4SxZQ62h7TceeHfJaO7xn+V+iROS91iG9rdb6jnRq+70atx+7mWsS2ylpGs yhInsfUunwQ2RHf9tKLRuVz80qiwzqC1h7f5vtaLU0yiKHVMYQuwqQqmZoWqUnDHjH5mEHxj KKOakok5/Ko6//gYrX8vJOcNpN0ihrkPqQzh8yzG/84PRYWU2ia/+SzyqHj8FXkTLhEkvE6i LfVvZ7ZKMgBpKO1GRJZ34Q95xqnCjepytUYnX0JLFJffxKHipDkO03MIP/iF/e/gE6gkTl1y P/dILLhGI7ALnnfkLv7YLZ99lRQyBEtwtxH4ZJbEakOIOjvVU/pqNzYEhg5PhSpz+r/EtVyy pseWX6TAq+eKK7drViI5vs2L+aQYI8VpS3yJuM+5//uiH85gUUScbOo3ZsRcnC4H+5pL1+XY Xr20Z89FjJAtQ0nCefulVeqUDhJZn/0Ubh2rmUwD5vjBoPeTKishqaA1WG1BMsFSHpBDwWwE 37ydM27Vv0BcmrGPs1oiD9CSrWrRpUJ1A3oqRK80LcxfbmcwTERqZ+2jIs93ObUjxxnrVScb uyY2mCJFSRvm38QAiUx1+Z5qFB8zVGK1e55heZZHJpd/aABSR80YLjbyeEyENXuQkTZZN7cV FSvWNbgHjw7Q8gZwsNIfls7ANjxxgvb0X+SCqQO36eOGIRy96vd23brIMMo13TPzqpnkFQsT 9FnNHHgm7M57AWAT5XRnRC/kKCnPb8ZwDaL9GqHyj+Wu1pEVQdrTajfdXsCfFDRt5L4+liEU qLoErlP3hJp78mEJ+MKb9ToiQ8DX/L/IJHEZGn3nW6sBBGOz7fKbYzwemxb0j+PQE4D2xse+ 3qLL21cTm+ovn7eATpyFFnuf1Kk8O9wr2m+R1M1yAfCZlNo1r688BoYzfKGTPZb0rUBsSYn4 zJ6eTT1l87UAsCD4RVsdqhGSdIhpkpak3nU9kR8MpGmM6F+lwsGaQ0k90jq1hhxFsBBiZ1z9 ytsllEib/3eiQwbJFb6ldjqN7baK3f/5kWqYq/SgBTF1cqOv70I47I+okniuwegEgwj9W9m2 p9bySj5hN2CAQwMXJb2Skty+QJ9ouSQfis0/YCSynBmPLOcsyOExs9vH+ZvmXPCN59PdbiJE gP/CZhQG8qnMu9shFWjYwgsPfwU6bNyJM7sJJ7kkOa7ee1nmjyhl2FO5otwh1mN+yRLQenNx 58Zwvuc02NrTh/EhUy6+oDykIFAP3QJG3anjDLjD8hXb7FzeoACDSGvJde2z5NwncylV3ld/ V+lT1QIva3hMQaQZkb+mxJd30kNiX273zaliSd52z0ktauQ2iXSzv+qLUFffDQQFC89yw6ze 8C9lJgCUVKtbhQ1mRfAhw6y3KVdqKllbiHSTUpOYynqPjRnW6q0uKCFZp0H45cpvCNLFeWkN AnBEvin+EtcjGW6QDENoVJzPyunsZj4gRFg3WeULXIp6WHcZdk13xDUotrVWf9W2DMCAih+k zjeQFambLzLtZ2ZkYnOtuemWievTJpWJGP3z4qat22k6GdnGzW+g7auh5v8HEJptE2zn8kvT ijOoBvmN8P31a2gMqR4c0NlHnf994xnB8dln8Fj4fNYkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzoiwVza2iEzIXjWjCB09NsMpOkN3gO1Ht3vKUoQO+EqaZJlixvrh+koBLNNLJjy ywFx6Jm7W5SgvlV6lN2lmPHWeBUQg8HZmu3zXHqp5i/tPkFPT33N+LrhAwh24/9S+rY6ggOQ 3PlYtE/AGlr4412YknJzGW27Zz4IZ/NcJQIu3j221/J3fNQNIp0kecW32x6JCTmsDUsmfU+k QQr2oym586aNiN28eqwUAVdKiWwYN4PpnfwkOBFk6P0l8imTI5kBi1OW4b0ELS1DXQJuLzuZ R2LDCV5rWqHR/zCAEmE5Q9v/XnSCYusLTeWOGJf0MgkXxT4RgQXiVIfQS8hmYQ4CxvsxdD6N lpkoCscrkjxrh8Gog5xHz/4VGqX5AKhazNuDYOaMAIT9AZJoUHcLc2Z6Ot3WSBe5Jyo6gKXe CSdYExTAGcFV1bhZRirN6Sy5dTG7+mTB/avZ/rIb7KUrOVCVvCOjZux24pi9jyIO42BJH5nR /E830NCWzh+FaG7030XTDcLkivWc8OBjByh4DZwtIa+7O+tRR+p/obOQ7pePNNz+gyn1KeOM +nD4UQxYT1c154K2TrJ0O1GhwZU0Xo+MWbrSOta5kuvBOrKl6RaDgAWcXZ2PcpMtecn2xVVf NTcgZXz36J5ifg8DxFEU0bgk4enf59vQSn1OVXZCUKMLLnDKyfMxpS9faG1U74Wk+heugeYu CrdDlKlJTnJxFyLH1i/dPpBii2WJkkUoIambhNkEnTuVvrtdwegN8UxjCEth6ApwGjHfz15U 3A0YwZGqbue6jldi/N0Fjla73ZrGuKDnj6Q8+jSLpt+WRRDAzgyiv8c+3loktO9DQlPWeZun zGUr8J15Uy71PKCmGIPuP9mqyoNmZ/NpkgwYc3k
  • Ironport-sdr: /LqcF7UoeKWP0NYWFdaFPRx1ozZSd1CB0td0b/2BpPNj6lL1nUNYjR4Cia8fYNc2JIsH0Q89ne Xn7eT6Zf73fbG0sTSr+2rLXBceAumDKCxO8tW694C+CMbhS11hJSwlqhGSHUTbGXJ70joRmhJ0 xazavhhCo0SHBBa6IqAdXeNKyFKubqAD71LuHBVS9YhAdrpjMzXqaxW7ffgy5QU9MZnhH1eHsw IlI5RlErCFAFuz/E+4+8xCa8TFiFprfN4+F1o8rHN2WMMYB4sXS60e8N1SGzINw1ABi0FyHpN9 2PkS16bex4z5UFvsA0KFYUoC

[Apologies for multiple copies. Please forward to interested students.]

Dear all,

The Department of Information Technology at Uppsala University is
opening a fully paid PhD student position on the topic of efficient and
provably correct execution environments.

For more details and instructions on how to apply see
https://uu.se/en/about-uu/join-us/details/?positionId=466911

Best,
Tjark









När du har kontakt med oss på Uppsala universitet med e-post så innebär det
att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan
du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data.
For more information on how this is performed, please read here:
http://www.uu.se/en/about-uu/data-protection-policy


  • [Coq-Club] PhD Student Position at Uppsala University, Tjark Weber, 02/08/2022

Archive powered by MHonArc 2.6.19+.

Top of Page