Postdoc on SAT/MaxSAT solving and machine learning techniques
26/SEP/2024
INTEGRATION OF SAT SOLVING AND MACHINE LEARNING
The project is set in the context of advancing the state-of-the-art of SAT (Boolean Satisfiability) and MaxSAT (Maximum Satisfiability) problem-solving by bridging the gap between symbolic and sub-symbolic AI. The significance of this advancement lies in its potential to handle problem instances with millions of variables and constraints which are currently beyond the scope of existing solvers. The specific challenge addressed by this project is solving large-scale combinatorial problems by integrating machine learning techniques into the realm of SAT/MaxSAT solving. Additionally, there is the challenge of defining suitable encodings for practical scheduling and planning problems in the domain of assistive robotics, and solving them with the resulting solvers.
More information about this line here.
- Supervisor: Felip Manyà (IIIA)
- Supervisor: Guillem Alenyà (IRI)
Position Details:
- Duration: Two years
- Location: The candidate will spend one year at our centre, collaborating closely with our research team, and the second year at IRI in Barcelona, another prestigious research institution within the ALLIES network.
- We’re looking for: Research proposals that explore the synergy between traditional SAT/MaxSAT solving and machine learning techniques. Proposals should aim at developing solvers capable of solving large and complex instances. Of particular interest are proposals aimed at addressing practical scheduling and planning challenges within the domain of assistive robotics.
- Gross Salary: 41,213.44 € per year (approx.)
About ALLIES:
ALLIES (Artificial inteLLigence In sustainable dEvelopment goalS) is a postdoctoral training program led by the CSIC, coordinated through the AIHUB Connection, and co-funded by the European Union. With a mission to advance interdisciplinary AI research aligned with the Sustainable Development Goals (SDGs), ALLIES offers a platform for researchers to contribute to global sustainability efforts through cutting-edge AI projects.
Don't miss this opportunity to be part of a groundbreaking project at the intersection of AI and sustainable and social goals. Join us in shaping the future with AI!
Requisits:
-
Researchers must be in possession of a doctoral degree at the deadline of the co-funded program's call. Researchers who have successfully defended their doctoral thesis but who has not yet formally been awarded the doctoral degree will also be considered postdoctoral researchers and will be considered eligible to apply.
-
Researchers must not have resided or carried out their main activity (work, studies, etc.) in Spain for more than 12 months in the three years immediately before the date of the call deadline (December 2024).
Salary:
Duration:
Workday:
Workplace:
Start date:
Closing date:
Interested candidates are invited to submit their applications through the official programme’s recruitment platform by 20th December 2024. All the information about the application process here.
Contact us to alliescofund@csic.es or consult the FAQs site to solve any questions.