Germany Job Openings

Ruhr Universität Bochum

One full-time Postdoctoral Researcher Positions (m,f,x) for TWO years within ERC Starting Grant DEUCE: Data-Verification and Learning Under Uncertainty (TV-L E 13, 39.83 hours per week)

Bochum

FULL TIME & PART TIME

October 15, 2024

The Chair of Artificial Intelligence and Formal Methods at the Faculty of Computer Science is looking for a
Postdoctoral Researcher (m,f,x) for 2 years with 39,83 hours per week, TV-L E13

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, Neur IPS, 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:

01.01.2023



Your tasks:
  • Conduct research within the chair’s key areas, contributing to publications and developing a strong research profile.
  • optional: Support the chair’s teaching program by conducting exercises and organizing seminars and practical courses, particularly in the areas of artificial intelligence, formal verification, and programming languages.
  • optional: Supervise Bachelor’s and Master’s projects and theses.
  • Develop your own independent research line while leading a team of Ph D students and Bachelor or Master students to work towards a joint research goal aligned with the chair’s focus areas.
  • Engage in shaping the future direction of the new chair and contribute to the development of innovative research approaches.


Your profile:
  • Ph D in Computer Science, Electrical Engineering, or related fields.
  • Strong interpersonal and communication skills in English.
  • Background in one or more of the following areas is beneficial, but not mandatory: Formal Methods, Artificial Intelligence, Machine Learning, Control Theory, and Robotics.
  • Experience in software development, including proficiency in programming languages such as Python, Java, or C/C++, is a plus.
Our offerings:
  • A position with a primary focus on research in a cutting-edge and highly relevant field.
  • The opportunity to work in a collaborative and supportive international research environment.
  • A dynamic research group with strong ties to leading institutions worldwide.
  • Employment at one of Germany's largest universities, part of the University Alliance Ruhr.
Additional information:
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 (Zf A) in the field of German as a Foreign Language (Da F).
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.
Contact details for your application:
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.
New Job Alerts
Pwc Germany

Rechtsreferendar Legal (w/m/d)

Frankfurt am Main

FULL TIME & PART TIME

November 19, 2024

View Job Description
Pwc Germany

Praktikum / Werkstudent Legal (w/m/d)

Berlin

FULL TIME & PART TIME

November 19, 2024

View Job Description
Zentrale Deutschland

Servicemonteur (m/w/d)

FULL TIME

November 19, 2024

View Job Description
implantcast

Ingenieur:in / Meister:in / Techniker:in als Teamleiter:in Finish Medizintechnik

Buxtehude

November 19, 2024

View Job Description
Pava Partners
Germany AG

Vice President/Director M&A (m/w/d)

Leipzig

FULL TIME

November 19, 2024

View Job Description
Löwenstein Medical SE & Co. KG

Leiter entwicklungsbegleitendes Qualitätsmanagement für Medizinprodukte (m/w/d)

Hamburg

November 19, 2024

View Job Description
Havas Group

Werkstudent/in im Bereich Online/ Digital Marketing (all gender)

Frankfurt am Main

PART TIME

November 19, 2024

View Job Description
Schenk Tanktransport

Tankwagenfahrer (m/w/d) für die Ausfuhr technischer Gase

Leuna

FULL TIME

November 19, 2024

View Job Description
Pwc Germany

Juristischer Mitarbeiter Legal (w/m/d)

Saarbrücken

FULL TIME & PART TIME

November 19, 2024

View Job Description
SPIE Deutschland & Zentraleuropa GmbH

Kaufmann / Kauffrau als Teamassistent m/w/d

Georgsmarienhütte

FULL TIME

November 19, 2024

View Job Description
Looking for similar job?
Trilogy Writing and Consulting

HR Associate (f/m/d) - Full-time

Frankfurt am Main

FULL TIME

October 9, 2024

View Job Description
Oxford Instruments Plc

IT System Administrator (f/m/d) full-time or part-time 30 hrs/week

Ulm

FULL TIME & PART TIME

October 13, 2024

View Job Description
ECFR

Data and Polling Intern (3-month, full-time)

Berlin

FULL TIME

October 18, 2024

View Job Description
AbbVie

Principal Research Scientist I (all genders) Medicinal Chemistry (permanent / full-time)

Ludwigshafen am Rhein

FULL TIME

October 18, 2024

View Job Description
AbbVie

Senior GCP Compliance Auditor (all genders) (permanent / full-time)

Ludwigshafen am Rhein

FULL TIME

October 18, 2024

View Job Description
AbbVie

Postdoc/Senior Scientist I (all genders) Medicinal Chemistry Synthetic Chemistry – (temporary for 24 months / full-time)

Ludwigshafen am Rhein

FULL TIME

October 18, 2024

View Job Description
See What’s New: Ruhr Universität Bochum Job Opportunities
Ruhr Universität Bochum

PhD student (m/f/x) on Trust and Privacy in Large Language Models, 3 years, full-time, TVL-E13

Bochum

FULL TIME

November 4, 2024

View Job Description
Ruhr Universität Bochum

PhD position (m/f/x) in Automatic Software Testing and System Security for 3 years full time

Bochum

FULL TIME

November 4, 2024

View Job Description
Ruhr Universität Bochum

PhD on Human-Centric Large Language Models (m,f,x), for 3 years, 39.83 hours per week, TVL E13

Bochum

FULL TIME

October 22, 2024

View Job Description
Ruhr Universität Bochum

PhDs (m,f,x), for 3 years with 39,83 hours per week, TV-L E13 Computer Security

Bochum

FULL TIME

October 15, 2024

View Job Description
View More Jobs by Ruhr Universität Bochum
New Job Alerts
Pwc Germany

Rechtsreferendar Legal (w/m/d)

Frankfurt am Main

FULL TIME & PART TIME

November 19, 2024

View Job Description
Pwc Germany

Praktikum / Werkstudent Legal (w/m/d)

Berlin

FULL TIME & PART TIME

November 19, 2024

View Job Description
Zentrale Deutschland

Servicemonteur (m/w/d)

FULL TIME

November 19, 2024

View Job Description
implantcast

Ingenieur:in / Meister:in / Techniker:in als Teamleiter:in Finish Medizintechnik

Buxtehude

November 19, 2024

View Job Description
Pava Partners
Germany AG

Vice President/Director M&A (m/w/d)

Leipzig

FULL TIME

November 19, 2024

View Job Description
Löwenstein Medical SE & Co. KG

Leiter entwicklungsbegleitendes Qualitätsmanagement für Medizinprodukte (m/w/d)

Hamburg

November 19, 2024

View Job Description
Havas Group

Werkstudent/in im Bereich Online/ Digital Marketing (all gender)

Frankfurt am Main

PART TIME

November 19, 2024

View Job Description
Schenk Tanktransport

Tankwagenfahrer (m/w/d) für die Ausfuhr technischer Gase

Leuna

FULL TIME

November 19, 2024

View Job Description
Pwc Germany

Juristischer Mitarbeiter Legal (w/m/d)

Saarbrücken

FULL TIME & PART TIME

November 19, 2024

View Job Description
SPIE Deutschland & Zentraleuropa GmbH

Kaufmann / Kauffrau als Teamassistent m/w/d

Georgsmarienhütte

FULL TIME

November 19, 2024

View Job Description