Call for applications (deadline 27 November 2023)
We are looking for a postdoctoral researcher with a very strong background in logic who specialises in non monotonic reasoning and belief revision. Fluency with statistical inference and ordered structures are a definite plus. The successful candidate will investigate consequence relations capable of capturing relevant aspects of inference based on statistical significance.
The duration of the contract is one year, but it can be extended to two further years depending on performance. The salary is around 22000 Euro after tax. We are aware of the difficulties raised by moving to a new place for a temporary position. Hence flexible working arrangements are possible and will be discussed on an individual basis during the interview.
The successful candidate will join the Logic Uncertainty Computation and Information (LUCI) Lab. The group includes logicians from the mathematics, computer science and philosophy track. Please see https://luci.unimi.it/ for further details.
Please address informal enquiries to hykel.hosni@unimi.it
How to apply
The call is available in Italian and in English. Application is by email only. Your email must reach unimi@postecert.it by 23:59 (Italian time, strict deadline) 27 November 2023. We strongly advise to complete your application a few days before the deadline.
Please make sure your write “Pec Domanda di concorso Assegno di Ricerca Prof. D’Agostino Marcello – Cod. ID: 6000” in the subject of the email. Here is what you should attach to it:
- Your CV formatted according to this template
- A filled out application form
- All relevant publications (NOTE the publications must be both attached and listed in the last page of the application form among the “assessable qualifications”)
- A scan of all your degree certificates up to the PhD which must include the list of all your marks (and translated in English if obtained outside Italy.)
Please bear in mind that University regulations prevent us from evaluating any aspect of your work which is not mentioned explicitly in your CV and in the application form, so make sure you fill out those forms carefully.
If you have any questions concerning the application procedure, please write to hykel.hosni@unimi.it
Expressions of interest
We will shortly be advertising calls for up to five more full-time postdoctoral researchers. We will be seeking applications with strong skills in
- Nonmonotonic logics
- Logics for AI
- Statistical inference and decision-making under uncertainty
- Temporal Logics
- Markovian Semantics
- Computational Logics and Proof Theories for uncertainty
Flexible working arrangementswill be possible.
Please see the LUCI website for further details about the Lab members and our research.
We are planning to post the call for applications for at least some of the positions before the end of 2023, but we encourage potential applicants to get in touch with us to express their interest.
Marcello D’Agostino (marcello.dagostino@unimi.it)
Hykel Hosni (hykel.hosni@unimi.it)
Giuseppe Primiero (giuseppe.primiero@unimi.it)
2 Years post-doc position in Logic within the Logic, Uncertainty, Computation and Information (LUCI) Group, Department of Philosophy, University of Milan.
PROJECT:
This project aims to develop logics for the verification of properties of interest in the development and use of machine learning systems in Artificial Intelligence. In particular, the aim is to develop methods for demonstrating or verifying models that simulate the probabilistic structures underlying supervised, unsupervised and/or reinforcement learning methods and to check for biases and assess their risks.
The project activities consist of:
1) Formulation of multi-agent models and/or probabilistic deductive reasoning checking for forms of bias and risk
2) Presentation of scientific results at international conferences
3) Publication of research results in international journals
4) Supporting the organisation of scientific events
PROFILE OF THE RESEARCHER
The ideal candidate has obtained a PhD in Logic or related field (Philosophy/AI/CS/Mathematics), with knowledge of least two of the following disciplines:
– proof theory and automated theorem proving
– probabilistic extensions of Curry-Howard isomorphisms and lambda-calculus
– temporal logics and model checking
– formal models of Bias and Risk in AI
In addition, the ideal candidate has a great aptitude for teamwork, with good organisational skills.
HOW TO APPLY & DEADLINE
The deadline for application is on 18th January 2023 at 23:59 CET (strict – please note that late applications cannot be considered). Please follow carefully the instructions available on the official call, published at
Online interviews are scheduled on 27th January 2023 at 10:00am CET.
For any informal inquiry please write to giuseppe.primiero@unimi.it
Post-doc Position in Logic (1 year renewable)(Closed)
This post-doc position is within the BRIO Project (PI Giuseppe Primiero) funded by the Italian Ministry for University and Research. All details and instructions to apply are available here.
Assistant Professor of Logic (three-years fixed-term)(Closed)
The LUCI group is very happy to advertise a post for a fixed-term Assistant Professor (RTD-a) in “Logic for AI“
Deadline 23 March 2022 (12 noon, strict deadline)
What we are looking for
The ideal candidate has a strong background in logic and is fluent in at least one of the following areas of logic-based AI:
- knowledge representation and reasoning
- reasoning and decision-making under uncertainty,
in which the successful candidate is expected to do research. Competence in fair and trustworthy AI is a welcome plus.
The successful candidate will be teaching in English up to 40 hours in the newly established Bachelor in Artificial Intelligence https://bai.unipv.it/.
How to apply
Please apply online by 23 March at 12 am (Italian time, strict deadline) at https://www.unimi.it/it/ateneo/lavora-con-noi/reclutamento-ricercatori/selezioni-ricercatori/ricercatore-tipo-dm-737-21-sc-11/c2-ssd-m-fil/02-codice-4961
The online application form is available by following the “Presenta la domanda” link on the page. Please note that this link is currently unavailable on the English version of the page.
We apologise to non-Italian speaker applicants for the inaccurate English translation of the official documentation which is available from the link above, and we invite all candidates to address informal enquiries to hykel.hosni@unimi.it
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
Postdoc in Logical Foundations of AI – Deadline 30th June 2021 (Closed)
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.
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 (Closed)
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“.