coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society

From: Tjark Weber <tjark.weber AT it.uu.se>
To: <isabelle-users AT cl.cam.ac.uk>, hol-info <hol-info AT lists.sourceforge.net>, "coq-club AT inria.fr" <coq-club AT inria.fr>, <smt-announce AT googlegroups.com>
Subject: [Coq-Club] Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society
Date: Wed, 5 May 2021 14:32:30 +0200
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-hdrordr: A9a23:7Wgf/qx5pgt1PV5jswqSKrPw5L1zdoIgy1knxilNYDZSddGVkN3roeQD2XbP+VUscVwphNzoAtjkfVry7phwiLN+AZ6HfC3L/FSlN5tj64yK+V3dMgnz7PRU26slU6UWMqyTMXFAgcz34Ba1Hr8bqbHtmpyAvuvGymcocAcCUcBdxj1kAQWWGFAefmV7LKc+faDw2uN34x6peXEada2AaUU4Yw==
Ironport-phdr: A9a23:Bo/Dux8GgrnUkf9uWXu7ngc9DhMPi/DPJgcQr6AfoPdwSMyLwZ3uMQTl6Ol3ixeRBMOHsqMC0bGJ+PG5EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCe5bL9oMhm7owfcusYSjId/N6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhSEaPDA77W7XkNR9gqFGrhyhuRJxzZLbb4+aO/Rxf6PQZs8aRXNbU8pNSyBMGIGxYo0SBOQBJ+ZYqIz9qkMQoxu8HwasHuDvwSJIiXDoxqI1zf4hGhzB0Qw8HdIBqm7UrNbvOKYcT++617fHzS/YYvNXxTfx8pXIcg07rfGXQ719aMzcwlQgGA3ZlFufs5DlPy+L2eQXtWiW9/RsWO2ghmM7tQx9vCWiyMgxh4XUgo8YyV7K+CV5zos2ONC1SUF2bNGnHZVQtyyXKZd7T98iTmxouSs0xb0ItYK9cSMXxponwBvfZOaGc4iO+h/jSfuRLS1jhH17fr+0mhW88VC4x+HhWMS4zExGojRLn9TPrHwA1Qbf5tWFR/Zy5kus3SiD2xrd5+xLO0w4i6XWJpo7zrMwkJcYrF7NETXsmErsia+bbkUk9fas6+TgerjpuoKcN5VvigH5KKQigM2/AfgjMgQUQmib5P6w1Kb98kHhQbVKiOM5krXBvZzHK8kXurS1DxFb34sg8RqyDS2q3MkakHQINF5FfQiIj4ntO1HAOvD4CvK/jkywkDdp3f/GJL7hDo/DL3fdi7juY6x95lVdyAov19xf+o9UBqsaIP3tQkPxrsDXDgclMwyoxObqEMly1oQHWW6WHqCZNL7SvkST6+I0I+iMYZcVtyznJ/gk4f7ul345lkUHcamnx5tEIEy/S6BnOEyTbH7oj5IcCmoQpSI1SKrhgVjEWDUVenXkG+o84TV+CYSoCs+XRoepxb2H0iCTGpxNensAEVeRC3zleYKeVPpKbi+OdIsp2DcDTP2qT5Ir/RCorg7zjbR9ZKKA8SoB8JnnydJd5uvJlBh0+yYiS4zJyGSRCmhymGQVQTQ79K94pkN5x1iZ1rVgmLpTEtkFtN1TVQJvCZzV1e8yNN34VxiJKsuLQUylBMqrCzwrZtMthcITJV1wTYbxxivf1janVudG34eAA4Y5p/q090i0HN50zjP97Idkl0MvKuNOKSu7m+hk+lqLb6b51n6BnqPvTpwymS7A8GDr5WGTplpfSkhxTb6DQG1ZfUaE9bzR1gb5V7arTI8fHE5EwM+GJLFNb7XBjEkAWeqlI9mMOgqM

Dear all,

The Department of Information Technology at Uppsala University (Sweden)
is currently advertising five postdoc positions with a Specialisation
in IT for a Sustainable and Secure Society.

One of these positions requires (depending on the choice of area for
the research project) experience in formal methods and/or proof
assistants; experience in cybersecurity is meriting.

Please see the announcement for further details:
https://uu.se/en/about-uu/join-us/details/?positionId=398570

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] Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society, Tjark Weber, 05/05/2021