| Job specification: |
The postdoctoral researcher will work within the subproject ‘Core Theory & applications’, lasting for the last four years of the project (2018-2021), and will be employed full-time. This subproject will
- develop the Core LoC theory and solve the open problems the project is meant to address: the problem of logical omniscience in epistemic logic, the problem of Information overload, and the problem of how to model moderately rational cognitive agents; it will also
- provide formal models of the LoC suitable for development in Artificial Intelligence research.
This will be a pure research position, with the researcher expected to:
- present intermediate research results at international workshops and conferences;
- deliver a number of excellent publications, also in cooperation with the PI and the other project members.
- The postdoctoral researcher is also expected to help with all the organizational tasks connected to the project, including:
- the organization and attendance of a regular LoC project seminar;
- the organization of a major LoC Conference in year 4 of the LoC project;
- the maintenance of the interactive project web site;
- the dissemination of results to non-specialists as planned in the LoC project.
|