[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Within the newly founded chair of Artificial Intelligence and Formal Methods at
the Faculty of Computer Science at the Ruhr-University Bochum, Germany, we have
several positions (PhD and Postdoc) available.
Please apply via the links listed below or spread the word. Do not hesitate to
contact me for questions. The application deadline is already by the end of the
year. Join us to increase the trustworthiness of Artificial Intelligence!
More positions will become available soon as part of my European Research
Council (ERC) Starting Grant DEUCE: Data-Driven Verification and Learning Under
Uncertainty.
Nils Jansen.
https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/947c56db605caf4314b8206fe1ed535eca5bf3220?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rU6NL3Yk$

Two Full-time PhD positions in Artificial Intelligence and Formal Methods (TV-L
E13)
jobs.ruhr-uni-bochum.de
https://urldefense.com/v3/__https://jobs.ruhr-uni-bochum.de/jobposting/3afc8db225556e47b7a49b17bc240bcf948d90cb0?ref=homepage__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_rZeh3ri0$

Full-time Postdoc position in Artificial Intelligence and Formal Methods (TV-L
E14 for 2 years)
jobs.ruhr-uni-bochum.de
—
Prof. Dr. Nils Jansen
Chair of Artificial Intelligence and Formal Methods
Ruhr-University Bochum, Germany
https://urldefense.com/v3/__http://nilsjansen.org__;!!IBzWLUs!TEFxPgRb93niAz85wRUIjYSbGQ6EzdaEBedE41HPeq6dWzMODlWzaxKGEi6BYi_h1sUgS-Cx1EyVV2NkH79S_W_ryxV2s8E$
