[TYPES/announce] Multiple PhD and Postdoc positions in Artificial Intelligence and Formal Methods

Nils Jansen n.jansen at rub.de
Mon Dec 18 05:55:31 EST 2023


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$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231218/296fb037/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 31b78f7e-5d7b-4a98-9d16-db7884a7136d.jpeg
Type: image/jpeg
Size: 22704 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231218/296fb037/attachment-0002.jpeg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 31b78f7e-5d7b-4a98-9d16-db7884a7136d.jpeg
Type: image/jpeg
Size: 22704 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231218/296fb037/attachment-0003.jpeg>


More information about the Types-announce mailing list