The Artificial Intelligence and Intelligent Agents Group of the University of L’Aquila (Italy) is seeking post-doc research candidates in the area of Computational Logic and Logical Agents.
The position concerns research and development related to the agent-oriented logic programming language DALI, that has been defined and implemented by the group (http://www.di.univaq.it/stefcost/Sito-Web-DALI/WEB-DALI/index.php).
Research topics may concern agents, but also agent-related knowledge representation and reasoning techniques, such as, e.g., answer set programming, abduction, learning, etc.
Applicants should possess a Ph.D. degree in Computer Science. Experience in at least one of Datalog or logic programming (Prolog, ASP, …), is required. Implementation experience is an important asset. In fact, the selected candidate should work on both the theoretical and practical aspects, and would be required to manage the language interpreter.
Appointment to the position will be for the period of one year and can be renewed up to four years, with a salary of 21.600 Euros per year (sufficient in Italy to make a living, especially in a University town such as L’Aquila). In Italy, access to positions of Assistant, Associate and Full Professor is periodically open (every second year) and is subjected to a nationalwide competion based on CV and h-index.
Potential candidates should contact by e-mail the Group Head (providing a short CV):
Prof. Stefania Costantini
Dept. of Information Engineering, Computer Science and Mathematics
Via Vetoio Loc. Coppito, I-67010 L’Aquila
Ph. +39 0862 433135 E-mail email@example.com