The Chair of Artificial Intelligence and Formal Methods at the Faculty of Computer Science is looking for a
The newly founded Chair of Artificial Intelligence and Formal Methods at the Ruhr-University Bochum, headed by Prof. Dr. Nils Jansen, has a clear mission:
Increasing the trustworthiness of Artificial Intelligence (AI).
We conduct broad foundational and application-driven research. Our vision of neurosymbolic AI brings together the areas of machine learning and formal methods, particularly formal verification. We tackle problems inspired by autonomous systems, industrial projects, and planning problems in robotics.
The following goals are central to our efforts:
* Increase the dependability of AI in safety-critical environments.
* Render AI models robust against uncertain knowledge about their environment.
* Enhance the capabilities of formal verification to handle real-world problems using learning techniques.
We focus on various aspects of dependability and safety in AI, intelligent decision-making under uncertainty, and safe reinforcement learning. A key aspect of our research is to achieve a thorough understanding of the (epistemic or aleatoric) uncertainty that AI systems may encounter in real-world scenarios.
There will be freedom to shape the chair in an excellent research environment, in close collaboration with Radboud University Nijmegen, RWTH Aachen University, The University of Oxford, and The University of Texas at Austin. We publish regularly in top venues and journals in Artificial Intelligence (AAAI, IJCAI, ICLR, NeurIPS, JAIR), Formal Methods (CAV, TACAS), and Control Theory (Transactions on Automatic Control). Our latest results can be found at https://ai-fm.org/publications/.
The Postdoc position is part of Nils Jansen's ERC Starting Grant DEUCE: Data-Verification and Learning Under Uncertainty. The project aims to advance the scalability and expressiveness of formal verification techniques to support the real-world deployment of reinforcement learning systems. In particular, the project seeks to tackle significant challenges in ensuring the safety of reinforcement learning methods in complex environments characterized by:
* High degrees of freedom and high-dimensional feature spaces.
* Realistic, continuous spaces.
* The inherent uncertainty faced by reinforcement learning agents in real-world scenarios.
The project combines interdisciplinary approaches from Machine Learning, Artificial Intelligence, Formal Methods, Robotics, and Control Theory.
In this role, you will be a key member of a dynamic research team, focusing on high-impact research in the context of the ERC Starting Grant project. You will have the opportunity to shape the direction of the research and contribute to cutting-edge advancements in the field.
extent: | full-time, part-time |
duration: | permanent/temporary |
beginning: | as soon as possible |
application deadline: | 28.10.2024 |
At the request of the applicant (m,f,x), the staff council may be involved in selection interviews. https://www.wpr.ruhr-uni-bochum.de/
If the position is funded by third-party funds the employee has no teaching obligation.
German language courses are offered by the University Language Center (ZfA) in the field of German as a Foreign Language (DaF).
https://www.daf.ruhr-uni-bochum.de/sbgk/index.html.en
You can find information about TV-L at: https://oeffentlicher-dienst.info/
At the request of the applicant (m/f/x), the position can also be taken up on a part-time basis.
Your application should contain:
* A motivation letter. Highlight, why you think that your research profile is a good fit for the position. As a hint, if you have published at the same venues as us, then your profile might very well be a good fit.
* Your CV.
* The names and email addresses of at least two other researchers that we may ask for reference letters.
* Optional: For potential interviews, we will ask you to read one of our papers and discuss it (critically) with us. Such a discussion may already be part of the application documents.
The Ruhr-Universität Bochum is one of Germany’s leading research universities, addressing the whole range of academic disciplines. A highly dynamic setting enables researchers and students to work across the traditional boundaries of academic subjects and faculties. To create knowledge networks within and beyond the university is RUB’s declared aim.
The Ruhr-Universität Bochum stands for diversity and equal opportunities. For this reason, we favour a working environment composed of heterogeneous teams, and seek to promote the careers of individuals who are underrepresented in our respective professional areas. The Ruhr-Universität Bochum expressly requests job applications from women. In areas in which they are underrepresented they will be given preference in the case of equivalent qualifications with male candidates. Applications from individuals with disabilities are most welcome.
Verena Schramm, Phone: +49234 32 15270
Öznur Takil, Phone: +49234 32 28579
Travel expenses for interviews cannot be refunded.
For information on the collection of personal data in the application process see: https://www.ruhr-uni-bochum.de/en/information-collection-personal-data-application-process.
We are looking forward to receiving your application with the specification ANR: 3889 until 28/10/2024, send by e-mail ONE SINGLE PDF file (max 10 MB) to the following address: applications-aifm@ruhr-uni-bochum.de
Please get in touch with the contact person named above if you would like to use an alternative application channel.