COMPUTER SCIENCEPost-DocApplications Closed

Joël Ouaknine

Saarbrücken, Germany

Position Details

Apply by Oct 22, 2024

Post-Doc

Saarbrücken, Germany

Application deadline

Oct 22, 2024

Job

Job location

Geocoding

Saarbrücken, Germany

Quick Information

Application Deadline

Oct 22, 2024

Start Date

Flexible

Education Required

See description

Experience Level

—

Job

Job location

Geocoding

Saarbrücken, Germany

Map

Job Description

The successful candidate will work in close collaboration with academic and industrial partners, delving deep into the verification of Large Language Models (LLMs) based software programs. The focus of the position includes designing and implementing innovative verification methods to ensure the reliability and accuracy of LLM-based software programs, and actively engaging in the design and development of a system that generates high-quality data utilising LLMs. The project involves establishing methods to validate the efficacy of the prompting processes in getting accurate responses from LLMs and developing strategies to verify the overall reliability of the LLM-based software program. The postdoctoral researcher will further refine this approach, aiding in the development of a system optimised for high-quality data generation using LLMs. The successful candidate is expected to spend one or more internships in industry and liaise with industrial partners.

Requirements

A PhD degree (or near completion) in algorithmic verification
machine learning
databases
or a related field. Strong algorithm-design and coding skills
along with proficiency in using popular Machine Learning development frameworks
such as TensorFlow and PyTorch. A thorough understanding of the underlying techniques of Large Language Models
and experience in fine-tuning or customising such models. Published research articles 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. Interest and ability to perform translational research
applying existing theoretical results to practical problems of industrial relevance. You are expected to take on the responsibility of supervising students and research assistants. Proficiency in written and spoken English is essential. (Knowledge of German is not necessary.)