Post-DocApplications Closed

Joël Ouaknine

Saarbrücken, Germany

Position Details

Apply by Nov 25, 2025

Post-Doc

Saarbrücken, Germany

Application deadline

Nov 25, 2025

Job

Job location

Geocoding

Saarbrücken, Germany

Quick Information

Application Deadline

Nov 25, 2025

Start Date

Flexible

Education Required

See description

Experience Level

—

Job

Job location

Geocoding

Saarbrücken, Germany

Map

Job Description

We invite applications for a postdoctoral research position in the Foundations of Algorithmic Verification group led by Prof. Joël Ouaknine. The successful candidate will work in close collaboration with an industrial partner, delving deep into the verifications of Large Language Models (LLMs) based software programs, and contributing to bridging scientific research and applications. The project aims to develop reliable LLM-based data curation systems for data verification and data enrichment tasks such as verifying or discovering entity relationships from textual documents and/or the Web. The postdoctoral researcher will contribute to defining the methodology and develop and refine this approach, assisting in the development of a system optimized for data curation using LLMs. The position focuses on research and development of innovative verification methods to ensure the reliability and accuracy of LLM-based data curation programs and actively collaborating with industrial partners.

Requirements

Required: A PhD degree (earned or near completion) in algorithmic verification
machine learning
information extraction
large language models
databases
knowledge graphs
or a related field. Strong algorithm design and coding skills
along with proficiency in popular ML development frameworks such as TensorFlow
PyTorch
and frameworks for building LLM-based applications
such as LangChain and LlamaIndex. A thorough understanding of Large Language Models' underlying techniques and experience in fine-tuning or customizing such models. Research publications in top-tier journals or conferences. In exceptional cases
industry experience with a solid background in industry-based software engineering that has led to highly innovative products or results could partially or fully replace the publication requirements. Ability and willingness to liaise with industrial partners and to work on problems of practical relevance. Ability to supervise students and/or research assistants. Proficiency in written and spoken English. (Knowledge of German is not necessary.) Beneficial: Proficiency in RAG or GraphRAG-related techniques
along with experience in building RAG-based applications. Research experience in topics relevant to generating accurate results with LLMs
including hallucination detection and correction. Relevant experience in fields such as Information Extraction from Unstructured Text
Knowledge Graph Enrichment
Databases
or Fuzzy Logic. Industrial experience
particularly experience in areas like Big Data Engineering and MLOps
coupled with familiarity with cloud services such as AWS. A product-oriented mindset and product design capabilities. Experience with software verification. Experience leading teams or projects
as well as supervising junior developers or researchers.