Job Description
General information
Job title: Research engineer (M/F)
Reference: UMR5800-MEGBIE-001
Number of positions: 1
Work location: TALENCE
Publication date: Thursday, June 5, 2025
Type of contract: IT fixed-term contract
Contract duration: 12 months
Expected hiring date: October 1, 2025
Workload: Full
Remuneration: Between €3,315 and €3,375 gross monthly depending on experience
Desired level of education: BAC+5
Desired experience: 1 to 4 years
BAP: E – Computer science, Statistics and Scientific Calculation
Typical job: Software engineer
Missions
This position is part of the INTENDED AI Chair (https://intended.labri.fr/), whose goal is to develop intelligent methods, based on logical inference and formally represented knowledge and constraints, to process imperfect data. The recruited person will participate in the implementation, optimization, and experimentation of algorithms for the management and querying of imperfect data.
Activities
The main objective of this position will be to demonstrate the practical relevance of the approaches developed in the INTENDED project through the implementation, optimization, and experimentation of algorithms for handling and querying inconsistent data. In particular, these are implementations based on SAT and ASP solvers that allow queries on inconsistent data using various repair-based semantics and taking user preferences into account. The final objective will be to provide an easy-to-use tool to present and allow easy testing and comparison of the developed algorithms. Examples of concrete tasks include: using or adapting existing reasoning systems to compute minimal inconsistent subsets and query supports, building encodings and interfacing with SAT and ASP solvers, adapting and developing new benchmark knowledge bases, and performing rigorous experimental evaluations of the implemented algorithms. Additionally, depending on their qualifications and previous experience, the recruited person may also be involved in the development of new algorithms.
SKILLS
Candidates should hold a Master’s degree or an engineering degree. They should demonstrate strong programming skills and be familiar with logic and symbolic AI techniques. In particular, experience in one or more of the following areas would be an asset: knowledge representation and automatic reasoning (in particular, ontologies, description logics, reasoning on inconsistent information), databases (in particular, query languages, SQL, Datalog), and solvers/reasoners (SAT, ASP, Protégé).
Work context
The recruited person will work in the Bordeaux Laboratory for Research in Computer Science (LaBRI), a joint research unit managed by the CNRS, the University of Bordeaux, and Bordeaux INP, which has approximately 280 members. He or she will participate in the RATIO (Reasoning with data, knowledge and constraints) working group and will join the Formal Methods team, which brings together around fifty researchers who apply formal approaches (often logic-based) to a range of computer science problems. He or she will collaborate with Meghyn Bienvenu (holder of the INTENDED chair) and will have ample opportunities to interact with other members of the chair and external collaborators.
The position is located in a sector covered by the protection of scientific and technical potential (PPST), and therefore requires, in accordance with the regulations, that your arrival be authorized by the competent authority of the MESR.
Constraints and risks
Not applicable
