<div dir="ltr"><div class="gmail_default" style="font-size:small">(see<span class="gmail_default">:</span><span class="gmail_default"> <a href="https://people.mpi-sws.org/~joel/postdoc-LLM-DCS.html" target="_blank">https://people.mpi-sws.org/~joel/postdoc-LLM-DCS.html</a> )</span></div><div class="gmail_quote"><div dir="ltr"><div><br><div><font color="Teal" size="6" style="font-family:Times">About the project</font><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">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.</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><b style="color:rgb(0,0,0);font-family:Times;font-size:medium">Project Insight:</b><span style="color:rgb(0,0,0);font-family:Times;font-size:medium"> We are embarking on a pioneering project that 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.</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">An LLM-based data curation system deconstructs complex data problems into manageable sub-problems, each addressed using LLMs. However, these models can introduce uncertainties and errors, including hallucinations, which hinder their adoption in industrial production environments where high accuracy is critical.</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">Consider a knowledge graph enrichment system designed to identify or infer relationships between two entities within a document. This system may utilize a long-context LLM, capable of processing the entire document, or employ a Retrieval Augmented Generation (RAG) process, including GraphRAG, to pinpoint and analyze the most relevant information. However, research suggests that both strategies can yield inaccuracies, presenting challenges for their deployment in production environments.</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">This project aims to propose a verification methodology that ensures the reliability and accuracy of an LLM-based data curation system at both the sub-component and whole-program levels.</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><i style="color:rgb(0,0,0);font-family:Times;font-size:medium"><u>Additionally</u></i><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">, the project will focus on several critical research areas:</span><ol style="color:rgb(0,0,0);font-family:Times;font-size:medium"><li>Effective retrieval of pertinent information from documents.</li><li>Balanced integration of RAG and long-context LLMs to mitigate trade-offs.</li><li>Detection and correction of "hallucinations" or incorrect inferences by LLMs.</li><li>Verification of LLM-based reasoning to ensure result accuracy.</li><li>Optimization of overall system efficiency.</li></ol><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">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.</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><b style="color:rgb(0,0,0);font-family:Times;font-size:medium">Focus of the position:</b><span style="color:rgb(0,0,0);font-family:Times;font-size:medium"></span><ol style="color:rgb(0,0,0);font-family:Times;font-size:medium"><li>Research and development of innovative verification methods to ensure the reliability and accuracy of LLM-based data curation programs.</li><li>Actively collaborate with industrial partners and engage in creative design and development of an LLM-based data curation system.</li></ol><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">While the successful candidate will be hired by, and work at, the Max Planck Institute for Software Systems in Saarbrücken, frequent collaborations with, and visits to, research partners, in particular TU Wien (Vienna, Austria), UCL (London), University of Calabria (Rende, Cosenza, Italy), and to industrial partners are necessary. In addition, the successful candidate is expected to spend one or more internships in industry. The project will build on methods and software provided by our industrial partners. We are thus looking for a candidate who is keen and able to liaise with industry, and who is interested in transformational research, working on practical problems of industrial relevance.</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><font color="Teal" size="6" style="font-family:Times">Your qualifications and responsibilities</font><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><b style="color:rgb(0,0,0);font-family:Times;font-size:medium">Required:</b><span style="color:rgb(0,0,0);font-family:Times;font-size:medium"></span><ul style="color:rgb(0,0,0);font-family:Times;font-size:medium"><li>A PhD degree (earned or near completion) in algorithmic verification, machine learning, information extraction, large language models, databases, knowledge graphs, or a related field.</li><li>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.</li><li>A thorough understanding of Large Language Models' underlying techniques and experience in fine-tuning or customizing such models.</li><li>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.</li><li>Ability and willingness to liaise with industrial partners and to work on problems of practical relevance.</li><li>Ability to supervise students and/or research assistants.</li><li>Proficiency in written and spoken English. (Knowledge of German is not necessary.)</li></ul><b style="color:rgb(0,0,0);font-family:Times;font-size:medium">Beneficial:</b><span style="color:rgb(0,0,0);font-family:Times;font-size:medium"></span><ul style="color:rgb(0,0,0);font-family:Times;font-size:medium"><li>Proficiency in RAG or GraphRAG-related techniques, along with experience in building RAG-based applications.</li><li>Research experience in topics relevant to generating accurate results with LLMs, including hallucination detection and correction.</li><li>Relevant experience in fields such as Information Extraction from Unstructured Text, Knowledge Graph Enrichment, Databases, or Fuzzy Logic.</li><li>Industrial experience, particularly experience in areas like Big Data Engineering and MLOps, coupled with familiarity with cloud services such as AWS.</li><li>A product-oriented mindset and product design capabilities.</li><li>Experience with software verification.</li><li>Experience leading teams or projects, as well as supervising junior developers or researchers.</li></ul><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">For informal enquiries, please contact Prof. Joël Ouaknine (<a href="mailto:joel@mpi-sws.org" target="_blank">joel@mpi-sws.org</a>).</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">To apply, please send a cover letter and CV by email to Ms. Lena Schneider (<a href="mailto:lschneid@mpi-sws.org" target="_blank">lschneid@mpi-sws.org</a>).</span><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><br style="color:rgb(0,0,0);font-family:Times;font-size:medium"><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">Applications will be reviewed until a suitable candidate is found. To ensure full consideration, please submit your application on or before </span><b style="color:rgb(0,0,0);font-family:Times;font-size:medium">25 Nov. 2024</b><span style="color:rgb(0,0,0);font-family:Times;font-size:medium">. We expect to hold online interviews in early December 2024.</span></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><span style="font-size:12.8px"><b>Joël Ouaknine</b></span><br></div><div dir="ltr">Max Planck Institute for Software Systems</div><div dir="ltr"><span style="font-size:12.8px">Saarland Informatics Campus, Germany</span></div><div dir="ltr"><div><a href="http://people.mpi-sws.org/~joel/" target="_blank">http://mpi-sws.org/~joel/</a></div></div></div></div></div></div></div></div></div></div></div>
</div><div><br></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"></div></div></div></div></div></div></div></div></div>