PhD Opportunity in Symbolic AI and Reasoning Under Uncertainty PhDFinder

0.0 - 4.0 years

0 Lacs

bardhaman, west bengal

On-site

Are you passionate about harnessing the power of artificial intelligence to transform decision-making under uncertainty Do you aspire to develop innovative algorithms that can offer robust and reliable recommendations for critical real-world problems If your academic ambitions lie at the intersection of symbolic AI, optimization, and statistical reasoning, this PhD position at TU Delft could be your gateway to cutting-edge research and impactful career opportunities. Strong and confident decision-making is at the core of many societal and engineering challenges today. Yet, the complexity and uncertainty inherent in real-world systems often make it difficult to ascertain which variables truly influence outcomes. This PhD project invites you to leverage advanced combinatorial and algorithmic methods to identify these critical parameters, thus enabling more robust, data-efficient, and reliable decision-making processes. Delft University of Technology (TU Delft) is one of Europe's premier technical universities, renowned for its pioneering research, high-impact innovation, and vibrant academic community. Located in the historic city of Delft, the university boasts a strong tradition in engineering, science, and design, with a global reputation for excellence. TU Delft has been at the forefront of groundbreaking advancements, from the world-famous Dutch waterworks to state-of-the-art biotech and digital technologies. As a PhD candidate at TU Delft, you will join a diverse and international research environment, collaborating with leading experts and contributing to solutions for some of society's most pressing challenges. The focus of this PhD position is on Symbolic AI and Reasoning Under Uncertainty, with a particular emphasis on sensitivity analysis for decision-making models. In contemporary applications, algorithms generate recommendations based on complex models with numerous input parameters. However, determining which of these inputs genuinely drive the outcomes is crucial for resource allocation, contingency planning, and ensuring the robustness of decisions. Traditional sensitivity analysis often relies on computationally intensive simulations, which may overlook significant variables. This project proposes a paradigm shift: employing logic-based and structural methods to formally identify critical parameters. By exploiting the structure of logic problems, the research aims to deliver formal guarantees on robustness, reduce computational costs, and improve the reliability of decision-support systems. This approach holds immense promise for fields such as engineering, policy-making, and societal infrastructure, where robust and explainable AI is essential. As a PhD candidate, you will be part of the Algorithmics section within the Software Technology (ST) department at TU Delft, collaborating closely with the Statistics section of the Delft Institute of Applied Mathematics (DIAM). The project is supervised by a distinguished team: dr. ir. Sicco Verwer (promotor), dr. Fabian Mies, and dr. Anna Latour (co-promotores). Your research will build upon and expand knowledge in modeling and solving paradigms such as Boolean Satisfiability, Constraint Programming, and Mixed-Integer (Linear) Programming. You will also develop methods for reasoning about discrete probability distributions, sampling complex spaces, and statistical analysis. The role involves collaboration with other researchers and software engineers to create practical tools for both academic and societal stakeholders. You will disseminate your findings through publications and presentations at leading conferences and journals, providing excellent opportunities for international networking and professional growth. The Algorithmics section is a dynamic, diverse environment where PhD and postdoc researchers work together on theoretical and algorithmic contributions to intelligent decision-making. The group addresses challenges including scalability, model learning for planning and verification, and the integration of stakeholder preferences into algorithmic processes. TU Delft's interdisciplinary ecosystem further enhances your research experience, with opportunities to engage in cross-faculty initiatives addressing topics such as climate change, energy transition, and artificial intelligence. Applicants should possess a Master's degree in Computer Science, Operations Research, or a related field (required by the Graduate School of TU Delft), proficiency in the English language, demonstrable knowledge of reasoning paradigms such as Boolean Satisfiability, Constraint Programming, or Mixed Integer (Linear) Programming, programming skills in languages such as Java, Python, or C++, solid understanding of statistics and probability theory, excellent critical and analytical thinking skills, a proven record of and interest in further developing research skills, including self-organization, academic writing, and a critical attitude, strong enthusiasm for state-of-the-art algorithmic and optimization techniques, especially their application to decision-making, affinity for teaching and mentoring students, and ability to work effectively in a team and take initiative. This position is ideal for candidates who are passionate about symbolic AI, optimization, statistical reasoning, and who are eager to contribute to the advancement of robust decision-making methodologies. If you are driven to make a meaningful impact on decision-making methodologies and thrive in a collaborative, interdisciplinary environment, we encourage you to apply for this PhD position at TU Delft.,

Posted 1 day ago

Apply

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.