Postdoc Researcher (m/f/x)
Ruhr Universität Bochum —Bochum
- Vollzeit
- Doktorat
- Forschungserfahrung
- Python
- Sprachkenntnisse werden vermittelt
1 Tag
AI SOLUTION LEAD (M/W/D)
Synqony GmbH —Recklinghausen
- Vollzeit
- Hybrides Arbeiten
- CRM-Software
- Azure
- AWS
- Weiterbildungsprogramme
- Flexible Arbeitszeiten
Software Teamleiter* Embedded Linux, Embedded Systems
Smart Mechatronics GmbH —Dortmund
- Vollzeit
- Homeoffice
- Informatik
- Englisch
- Teamleitung
- Flexible Arbeitszeiten
Werkstudent - Security Analyst (m/w/d)
Trovent Security GmbH —Bochum
- Englisch
- Windows
- C++
- Flexible Arbeitszeiten
Postdoc Researcher (m/f/x)
Ruhr-Universität Bochum —Bochum
- Teilzeit
- Doktorat
- Forschungserfahrung
- Python
- Sprachkenntnisse werden vermittelt
Direkt bewerben
1 Tag
PhD researcher (m/f/x) for computational chemistry (electronic and molecular structure theory)
Ruhr Universität Bochum —Bochum
- Teilzeit
- Doktorat
- Master
- Python
- Sprachkenntnisse werden vermittelt
- Flexible Arbeitszeiten
DevOps Lead (w/m/d)
Apps Associates —Dortmund
- Vollzeit
- Azure
- Oracle
- Informatik
- Homeoffice-Möglichkeit
- Weiterbildungsprogramme
8 Tage
Fachinformatiker:in für die IT-Anwendungsbetreuung
Vestische Caritas-Kliniken GmbH —Datteln
- Vollzeit
- Medizin
- Informatik
- Englisch
- Homeoffice-Möglichkeit
- Weiterbildungsprogramme
Technical Software Engineer (m/w/d)
Taprogge Gesellschaft mbH —Wetter (Ruhr)
- Vollzeit
- Informatik
- Ingenieurwissenschaft
- Java
- Mitarbeiter-Rabatt
SHK Informatik
Bee Statistics GbR —Bochum
- Teilzeit
- Englisch
- Microsoft Office
- Softwareentwicklung
PhD / Doktorandenstelle (50%) an der Professur für Translationale Medizin Schwerpunkt Pädiatrische Infektiologie (m/w/d)
Universität Witten/Herdecke —Witten
- Teilzeit
- Doktorat
- Englisch
- Python
- Weiterbildungsprogramme
Direkt bewerben
4 Std.
PhD researcher (m/f/x) for computational chemistry (electronic and molecular structure theory)
Ruhr-Universität Bochum —Bochum
- Teilzeit
- Doktorat
- Master
- Python
- Sprachkenntnisse werden vermittelt
- Flexible Arbeitszeiten
Direkt bewerben
Senior Security Consultant – PKI Architect (m/w/d)
Ibency GmbH —Bochum
- 45.000 € – 70.000 € pro Jahr
- Vollzeit
- Azure
- Englisch
- AWS
Direkt bewerben
1 Tag

More jobs to discover

Find similar jobs that you might be interested in.

AI SOLUTION LEAD (M/W/D)
Synqony GmbH —Recklinghausen
Konzeption und Entwicklung intelligenter Softwarelösungen auf Basis moderner AI-Technologien. Bewertung, Auswahl und Einführung neuer AI-Methoden, Modelle und…
Senior Expert – Data foundation platform (m/w/d)
thyssenkrupp Uhde GmbH —Dortmund
The businesses combine many years of experience, in-depth expertise in international plant engineering, an extensive installed base and close customer…

Ich möchte aktuelle Job-E-Mails für Stellen als python in dortmund, nw erhalten

Wenn Sie sich bei Ihrem Konto anmelden, stimmen Sie den Nutzungsbedingungen, den Richtlinien zur Verwendung von Cookies sowie der Datenschutzerklärung von SimplyHired zu.

Weitere Job-Standorte erkunden

python jobs near dortmund, nw

Jobs als Devops Engineer in Dortmund

Jobs als Softwareentwickler in Wetter (Ruhr)

Jobs als Ux Researcher in München

Jobs als Postdoctoral Researcher in Tübingen

Jobs als User Experience Researcher in München

Jobs als Devops Engineer in Mannheim

Jobs als Devops Engineer in Mainz

Jobs als Devops Engineer in Nordrhein Westfalen

Jobs als Ai Engineer in Düsseldorf

Jobs als Devops Engineer in Essen

Jobs als Ai Engineer in München

Jobs als Principal Software Engineer in München

Jobs als Anwendungsbetreuer in Herford

Jobs als Sap Anwendungsbetreuer in Baden Württemberg

Jobs als Professor in Ulm

Jobs als Professor Marketing in Nordrhein Westfalen

Jobs als Quereinsteiger Informatiker in Stuttgart

Jobs als Informatiker in Kirchheim Unter Teck

Jobs als Öffentlicher Dienst Informatiker in Baden Württemberg

Jobs als Informatiker Rufbereitschaft in München

Postdoc Researcher (m/f/x)

Ruhr Universität Bochum -
Bochum

Jetzt bewerben

Details zur Stelle

Vollzeit
vor 1 Tag

Leistungen

Sprachkenntnisse werden vermittelt

Qualifikationen

Doktorat
Forschungserfahrung
Python
Deutsch

Vollständige Stellenbeschreibung

Faculty of Philosophy and Educational Research :
Chair of Logic in Philosophy and AI
Research Group "Reasoning, Rationality and Science"

In order to fill a fixed-term position in full-time (39,83) at the earliest possible date, we are looking for 1

Postdoc Researcher (m/f/x)

The research group "Reasoning, Rationality and Science" is coordinated by Prof. Dr. Dunja Šešelja and Prof. Dr. Christian Straßer, both based at the Institute for Philosophy II, Faculty for Philosophy and Educational Science.

We are looking for a PostDoc researcher (m/f/d) with documented research experience to investigate the proof-theoretic foundations of logical argumentation. The project is embedded in the LoDEx project (Logical Methods for Deontic Explanation) and focuses on the development of formal models for nonmonotonic reasoning (for instance, default logic and autoepistemic logic) and normative reasoning (for instance, input/output logics). A key methodological component is the use of sequent calculi for logical argumentation, where defaults and norms are represented as conditional formulas in the object language and arguments are represented as derivable sequents.

Scope:

full-time

Duration:

fixed-term, 19 months

Start:

at the earliest possible date

Apply by:

2026-07-06

Your tasks:

Proof-Theoretic Development: Develop proof-theoretic methods for logical argumentation, with a particular focus on cut-elimination, proof search, and refutation procedures for nonmonotonic logics and logics for normative reasoning.
Focus on Sequent Calculi: Investigate (cut-free) sequent calculi for a wide range of nonmonotonic logics used in doxastic and normative reasoning.
Deontic Explanation: Develop formal models of deontic explanation based on sequent calculi for logical argumentation in a normative setting.
Collaboration: Participate in the research activities of the LoDEx Project and the "Reasoning, Rationality and Science" group.

Your profile:

Degree: A PhD degree in Philosophy, Logic, or a related field.

Specialization: Advanced expertise in formal logic and philosophical logic. You should have a strong background in nonmonotonic logic, deontic logic, and proof theory.

Technical Skills: Demonstrated competence in constructing and analyzing sequent calculi. Experience with proof search algorithms and refutation procedures is highly desirable. Familiarity with computational tools for logic (e.g., Coq, Isabelle, or custom Python/R scripts for proof search) is a plus.

Formal Skills: Deep understanding of the theoretical underpinnings of default logic, autoepistemic logic, and input/output logic.

Language: Excellent command of English (written and spoken).

Please submit the following documents

Curriculum Vitae (CV)

Copies of degree certificates and transcripts

Cover letter (1-2 pages) explaining your motivation and research interests

Names and contact details of two academic referees

A writing sample (e.g., PhD thesis, dissertation, or a relevant research paper)

We offer:

Challenging and varied tasks with a high level of independence
Employment at one of the largest universities in Germany within the University Alliance Ruhr
Collaboration in a committed and appreciative team

Flexibel working hours and support for professional development.

Further information:

The position is salaried and based on the collective agreement of the Länder (TV-L). If the personal and collective agreement requirements are met, the employee will receive pay grade E 13 TV-L.

Further information can be found at https://oeffentlicher-dienst.info/ (in German).

The place of work is Ruhr University Bochum.

RUB sees itself as a university with an international presence. The campus languages are German and English. Competence in at least one of the two languages and the willingness to learn the other are a prerequisite. RUB provides corresponding free courses for employees.

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/daf/mitarbeitende/index.html.en

The Staff Council has the right to participate in all selection interviews. At the request of a candidate (m/f/x), it will ensure its participation in the entire procedure. Please contact [email protected].

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 Ruhr-Universität Bochum’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 persons for further information:

Christian Straßer , Tel.: +49 234 32 26128

Travel costs, accommodation costs and loss of earnings or other application costs for job interviews can unfortunately not be reimbursed.

We look forward to receiving your application via our online application portal by 2026-07-06. Please make sure to mention the reference number ANR 5830.

Jetzt bewerben

Erweiterte Suche

python Jobs in dortmund, nw

Postdoc Researcher (m/f/x)

AI SOLUTION LEAD (M/W/D)

Software Teamleiter* Embedded Linux, Embedded Systems

Werkstudent - Security Analyst (m/w/d)

Postdoc Researcher (m/f/x)

PhD researcher (m/f/x) for computational chemistry (electronic and molecular structure theory)

DevOps Lead (w/m/d)

Fachinformatiker:in für die IT-Anwendungsbetreuung

Technical Software Engineer (m/w/d)

SHK Informatik

PhD / Doktorandenstelle (50%) an der Professur für Translationale Medizin Schwerpunkt Pädiatrische Infektiologie (m/w/d)

PhD researcher (m/f/x) for computational chemistry (electronic and molecular structure theory)

Senior Security Consultant – PKI Architect (m/w/d)

More jobs to discover

Ich möchte aktuelle Job-E-Mails für Stellen als python in dortmund, nw erhalten

Related Searches

Weitere Job-Standorte erkunden

Postdoc Researcher (m/f/x)

Your tasks:

Your profile:

We offer:

Further information:

Contact persons for further information:

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt