Postdoc on Integration of SAT Solving and Machine Learning (ALLIES COFUND)

Organisation/Company IIIA - CSIC

Research Field: Computer science » Informatics

Researcher Profile: Recognised Researcher (R2)

Positions: PhD Positions

Country: Spain

Application Deadline: 1 Jun 2025 - 23:00 (Europe/Madrid)

Type of Contract: Temporary

Job Status: Full-time

Hours Per Week: 37.5

Offer Starting Date: 7 Apr 2025

Is the job funded through the EU Research Framework Programme? Horizon Europe – COFUND

Reference Number: Ref Ares (2023)6701179

Marie Curie Grant Agreement Number: 101126626

Is the Job related to staff position within a Research Infrastructure? No

Offer Description

The Artificial Intelligence Research Institute (IIIA-CSIC) and the Institut de Robòtica i Informàtica Industrial (IRI-CSIC) are offering a two year fully-funded Postdoc position in Artificial Intelligence.

The position requires the Postdoc to present a research proposal that explores the synergy between traditional SAT/MaxSAT algorithms and machine learning techniques. Proposals should aim at developing methods capable of managing exceptionally large and complex datasets, with a focus on practical applications in assistive robotics.

The position is offered in the context of ALLIES postdoctoral training program in Artificial Intelligence led by the Spanish National Research Council, coordinated through the AIHUB Connection, and co-funded by the European Union under the HORIZON EUROPE MSCA COFUND program framework. ALLIES aims to recruit 17 postdoctoral researchers in 3 different Calls who will conduct interdisciplinary and intersectorial research in Artificial Intelligence aligned with the Sustainable Development Goals.

The candidates will be working with Dr Felip Manyà (IIIA) and Dr Guillem Alenyà (IRI). He/she will spend one year at each research institute and will be part of a vibrant and interdisciplinary ALLIES community.

Key Responsibilities

• Capacity to develop a research proposal and work independently and in collaboration with the position associated senior researchers.
• Programming Skills

Languages: ENGLISH Level Excellent

Additional Information

• Duration: 2 years

Eligibility criteria

Candidates must fulfill the MSCA COFUND rules:

Mobility rule: Researchers may not have resided or carried out their main activity (work or studies) in Spain for more than 12 months in the three years immediately before the date of the call deadline.

Degree rule: Researchers must be in possession of a doctoral degree at the deadline of the program's call (1st June 2024). Researchers who have successfully defended their doctoral thesis but not yet formally been awarded the doctoral degree will also be considered as postdoctoral researchers.

Selection process

Phase 1: Eligibility check (this phase screens applicants based on mobility and experience criteria to ensure they meet the academic requirements for a postdoctoral position).

Number of offers available: 1

Company/Institute: Artificial Intelligence Research Institute (IIIA)

Country: Spain

State/Province: Barcelona

City: Barcelona

Postal Code: 08193

Street: Can Planes, Campus de la UAB, Sector 2

Number of offers available: 1

Company/Institute: The Institut de Robòtica i Informàtica Industrial (IRI)

Country: Spain

State/Province: Barcelona

City: Barcelona

Postal Code: 08028

Street: C/ Llorens i Artigas, 4-6