Open Positions

Postdoc in Logical Foundations of AI – Deadline 30th June 2021

The Logic Group is thrilled to advertise a postdoc position (two years, renewable) within the project “Logical Foundations of AI

THE PROJECT

The project will be developed within a research line contributing to bridging the gap between statistical methodologies at the basis of (supervised, unsupervised) Machine Learning and Logic in the development of AI. We aim to develop Logics for Reasoning under Uncertainty and with limited resources to analyse and check transparency and trustworthiness of AI systems. Properties of interest include but are not limited to: Causality, Safety and Fairness.

THE LOGIC GROUP

The selected candidate will join a thriving research group based at the Department of Philosophy at the University of Milan, and will be working under the joint supervision of Marcello D’Agostino and Giuseppe Primiero. Check out the members page for more information about our group and research interests.

MILAN

Among the most attractive Italian cities, Milan is highly international and dynamic, with much to offer in terms of culture, entertainment and research. For more information, we refer to https://www.yesmilano.it/en

THE IDEAL CANDIDATE

The ideal applicant will hold a Ph.D. in Logic, obtained either within a philosophy, mathematics or computer science programme. The candidate is also required to have good basic knowledge of one or more of the following areas: Foundations of Resource-Bounded Logics; Epistemic and Non-Monotonic Logics; Logics of Uncertainty and Probabilistic Logics; Temporal Logics; Proof Theory; Verification (both model-checking and automated theorem proving).

Potential applicants are strongly encouraged to get acquainted with the Logic Group’s style of research. We expect the candidates to propose projects in line with the Group’s research interests and results, as illustrated in the following publications:

[1] Paolo Baldi, Hykel Hosni. Depth-bounded Belief Functions, International Journal of Approximate Reasoning, vol. 123, pp. 26-40, 2020.
[2] Taolue Chen, Giuseppe Primiero, Franco Raimondi, and Neha Rungta. A computationally grounded, weighted doxastic logic. Studia Logica, 104(4):679–703, 2016.
[3] Giorgio Cignarale, Giuseppe Primiero, A Multi-Agent Depth-Bounded Boolean Logic, SEFM 2020: 176-191.
[4] Marcello D’Agostino and Sanjay Modgil. Classical logic, argument and dialectic. Artif. Intell., 262:15–51, 2018.
[5] Marcello D’Agostino and Sanjay Modgil. A fully rational account of structured argumentation under resource bounds. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pages 1841–1847. ijcai.org, 2020. Scheduled for July 2020, Yokohama, Japan, post-poned due to the Corona pandemic.
[6] Fabio D’Asaro and Giuseppe Primiero. TPTND: Probabilistic typed natural deduction for trustworthy computations. In Proceedings of the 22nd International Workshop on Trust in Agent Societies, co-located with 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020), London, UK May 3rd, 2021, CEUR Workshop Proceedings. CEUR-WS.org, forthcoming. Preprint: https://drive.google.com/file/d/1yKdg0kQrUCSoyZK6EWpi78V6N5fDryrb/view
[7] Tommaso Flaminio, Lluı́s Godo, and Hykel Hosni. Boolean algebras of conditionals, probability and logic. Artif. Intell., 286:103347, 2020.
[8] Giuseppe Primiero. A logic of negative trust. J. Appl. Non Class. Logics, 30(3):193–222, 2020.
[9] Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero: Robust Model Checking with Imprecise Markov Reward Models. CoRR abs/2103.04841 (2021).

The appointed researcher will be expected to contribute to the activities of the Logic Group, to present and publish their results at high-standard conferences and journals.

HOW TO APPLY

The deadline for application is 30th June 2021 at noon 12:00 CET (strict – please note that late applications cannot be considered). Please follow carefully the instructions available on the official call, published here.

The research line to be selected is:

Dipartimento di Filosofia Piero Martinetti
Coordinators: Marcello D’Agostino, Giuseppe Primiero
Research Line: Foundations of Fair and Trustworthy AI

After you apply, we suggest you forward the application form (with all the attachments) to logic.unimi@gmail.com.

Do not hesitate to get in touch with us if you need any clarifications on the application procedure — especially if you’re not Italian: it may sound a bit awkward at first, but the application procedure is not too hard.

The date and place of the interviews will be communicated to the candidates at least 15 days in advance and announced here.

FAQs

“How do I submit my application?”

The candidates must fill in the application form available on-line at https://air.unimi.it/rm/public/postDocFellowship.htm. The application form must be completed and validated before June the 30th 2021 at noon 12:00 CET, otherwise it is inadmissible. The candidate will have to save the PDF file generated by the system, sign and upload it on the procedure after it is scanned, following the instructions in the procedure.

“What will this procedure require me to declare/state?”

  • your BA/BSc and MA/MSc (or equivalent) with obtained final mark and date
  • your Ph.D. thesis, with defense details
  • all your higher-education degrees, e.g. specialization
  • details of your scientific publications
  • post-doc positions held, and any research fellowship you have been granted
  • research activities, e.g. attendance at conferences
  • any other relevant experience

“What will this procedure require me to upload?”

  • a research project appropriate for the chosen research line (see above)
  • Ph.D. Thesis, approved by the supervisor
  • CV (in the format required by the application)
  • scan of a valid ID document
  • a (non-official) translation of the highest degree held and a signed declaration that the applicant owns it (if obtained at a non-italian university; the selected candidate will be required to provide an official translation after the job offer)

“If I am shortlisted, can I be interviewed remotely?”

Yes, shortlisted candidates can be interviewed remotely. If you have been shortlisted, the Human Resources Department will be in touch, and you will be able to request an online interview.

“How do I know whether I have been offered the position, and what do I do afterwards?”

If you are the chosen candidate, you will be informed by email from the Human Resources Department. This email will contain instructions and documentation for accepting the position.

PhD projects – Deadline 28th June 2021

4 Scholarships are available in the Doctoral Programme in
Mind, Brain and Reasoning at the University of Milan.

The Group is active in the Mind, Brain and Reasoning doctoral programme, which is now advertising for 4 fully funded three-year PhD scholarships. If you are interested in applying to work with us, please note that we have a list of projects for which we are offering supervision (subject to funding).

Master’s (Laurea Magistrale) – Deadline 28 August 2021

The Logic Group teaches four Master courses in the Reasoning Analysis and Modelling curriculum of the Laurea Magistrale (MA) in Philosophy. Please see the degree’s official webpages for further details. Non-Italian students are welcome to get in touch via DM for any clarifications on the admission requirements.

Postdoc – Deadline 28th December 2020 (Closed)

The Logic Group is thrilled to advertise a postdoc position (one year, renewable) on the project “Depth-Bounded Logics for non-ideal agents: theory and applications

Postdoc – Deadline 16 November 2020 (Closed)

The Logic Group is thrilled to advertise a postdoc position (one year, renewable) on the project “Foundations and applications of depth-bounded uncertainty measures“.

PhD Mind, Brain, Reasoning – Deadline 14 September 2020 (Closed)

4 Scholarships are available in the new Doctoral Programme in 
Mind, Brain and Reasoning at the University of Milan.

Research Areas include: Logic for Practical Reasoning; Philosophical Logic; Computation; Probability; Logic for Artificial Intelligence.

Application period closes 14/09/2020. Details on the Programme and how to apply are available at this link.

Postdoc – Deadline 3 September 2020 (Closed)

The Logic Group is thrilled to advertise a postdoc position (one year, renewable) on the project “Quantitative and qualitative approximations of reasoning“.