< Back to news
What are you going to do? ![CuspAI Introduces Itself at LAB42](/Cusp_ai.jpg?version=4136)
![Advanced AI for Surveillance Robots: A Collaborative Project by Dutch Institutions](/cees_nieuw_loab.jpg?version=4132)
![NeuroAI: Charlotte Frenkel explores the future of AI inspired by the human brain](/AINED.jpg?version=852)
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
![CuspAI Introduces Itself at LAB42](/Cusp_ai.jpg?version=4136)
6 September 2024
CuspAI Introduces Itself at LAB42
On September 5, 2024, Max Welling and Chad Edwards, founders of CuspAI, presented their innovative company during the IvI coffee & cake gathering.
read more >
![Advanced AI for Surveillance Robots: A Collaborative Project by Dutch Institutions](/cees_nieuw_loab.jpg?version=4132)
5 September 2024
Advanced AI for Surveillance Robots: A Collaborative Project by Dutch Institutions
A consortium of leading Dutch research institutions and government agencies, including TU Delft, the University of Amsterdam, TNO, and the Royal Netherlands Marechaussee, has launched an ambitious project aimed at developing advanced artificial intelligence (AI) for surveillance robots. Officially initiated on September 4, the OpenBots consortium focuses on creating AI systems designed to assist human security officers in various security settings.
read more >
![NeuroAI: Charlotte Frenkel explores the future of AI inspired by the human brain](/AINED.jpg?version=852)
September 5, 2024
NeuroAI: Charlotte Frenkel explores the future of AI inspired by the human brain
With the award of an AiNed Fellowship grant, Dr. Charlotte Frenkel from TU Delft delves into neuromorphic computing, pioneering research aimed at creating energy-efficient and powerful AI systems inspired by the human brain. This research bridges AI and neuroscience to develop faster, more energy-efficient, and smarter computing systems.
read more >