< Back to news
What are you going to do?
21 February 2024
Open PhD Position on Machine Learning for Automated Reasoning
Are you interested in working, in an interdisciplinary research setting, on topics at the intersection of logic, machine learning and automated reasoning? The Institute for Logic, Language and Computation (ILLC) is looking for a talented PhD candidate.
Your research will be part of the Theoretical Computer Science unit of the ILLC, and will concern use of machine learning for automated reasoning (such as mathematical theorem proving and/or declarative constraint-based reasoning).
What are you going to do?
You will be expected to: complete and defend a PhD thesis within the official appointment duration of four years; present research results regularly at international workshops and conferences, and to publish them in conference proceedings and journals; participate in and to contribute to the organisation of research activities and events at the Institute, such as workshops and colloquia; make a small contribution to the FNWI’s educational mission, by working as a teaching assistant for courses in your area of expertise and by assisting with the supervision of students’ research projects; Contribute to UvA’s research programme on artificial intelligence.
Read everything here.
Vergelijkbaar >
Similar news items
14 November 2024
The Amsterdam Vision on AI: A Realistic View on Artificial Intelligence
In its new policy, The Amsterdam Vision on AI , the city outlines how artificial intelligence (AI) should be integrated into urban life and how it should influence the city according to its residents. This vision was developed through months of conversations and dialogues with a wide range of Amsterdammers—from festival-goers to schoolchildren, experts to novices—who shared their thoughts on the future role of AI in Amsterdam.
read more >
14 November 2024
Interview: KPN Responsible AI Lab with Gianluigi Bardelloni and Eric Postma
ICAI's interview appeared this time with Gianluigi Bardelloni and Eric Postma, they talk about the developments in their ICAI Lab.
read more >
November 14
AI pilots TLC Science: generative AI in academic education
The University of Amsterdam has launched a new project through its Teaching & Learning Centre Science, exploring how Generative AI, like ChatGPT, can enhance academic education. This pilot program at the Faculty of Science tests and evaluates various applications of GenAI in higher education.
read more >