(Posso passar mais informações a quem estiver interessado.) JM
---------- Forwarded message --------- *PhD Scholarship**, **University* *of Queensland, **Australia* *Scientific area: *Mathematical logic *Location: *Brisbane, Queensland, Australia *Employment Type*: Full-time *Duration*: 3.5 years with the possibility of a 6 months extension *Yearly Salary*: $28,854 (Australian dollars) tax free. Medical Insurance (Single Overseas Student Health Cover) and Student Tuition fees are covered. The University of Queensland is regularly ranked in the top 50 universities worldwide. The applicant will be based at the St Lucia campus in Brisbane. Brisbane is cited among the 10 "Most Liveable Cities in the World" in the Global Liveability Index 2021. *Description* As part of the Australian Research Council project DE220100544 <https://www.google.com/url?q=https%3A%2F%2Fdataportal.arc.gov.au%2FNCGP%2FWeb%2FGrant%2FGrant%2FDE220100544&sa=D&sntz=1&usg=AFQjCNHYgusBhPNq0J9wg3vydYssEbI5Gw> one PhD scholarship is available at the University of Queensland. Primary supervision will be provided by Dr. Guillermo Badia (University of Queensland) and secondary supervision by Dr. Carles Noguera (University of Siena, Italy). Data available for collection in the real world is very often not a matter of yes or no, not a matter of all or nothing, but actually a matter of degrees. There is a growing need to represent this information in graded databases. Moreover, real-world data usually involves only finitely-many objects. Mathematical logic offers precise syntactic tools via logical languages that allow for expressing and querying information, which has already proved its power in the case of finite databases with binary yes-or-no properties with the deep development of classical finite model theory. On another research stream, mathematical fuzzy logic has developed a wealth of results about logical tools for general (possibly infinite) graded structures. However, graded finite structures pose specific difficulties that do not allow a straightforward application of general results. In this project, we want to fill this obvious theoretical gap by putting forward a mathematically ambitious study of graded finite structures, which may turn out to be crucial for a wider applicability of mathematical logic. The successful candidate is expected to produce scientific publications and a PhD dissertation in the broad area of the project. *Candidate requirements * The successful applicant will have an excellent academic track record in logic, including its technical and mathematical aspects, at least at the Master degree level. Experience in many-valued logics, abstract algebra or model theory, in particular, is desirable but not essential. *Application * Applications and inquiries should be sent to g.ba...@uq.edu.au with copy to carles.nogu...@protonmail.com. Interested candidates should e-mail a curriculum vitae, including academic record, a list of any published scientific works, conference presentations and relevant work experience. Moreover, contact details of two academic referees should be included. Shortlisted candidates will be interviewed, over Zoom if necessary. The interviews will be conducted in English.The deadline for applications is *January 31 2022*. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li5o-zzD8ZCvAJwOL0MHc8XpUmtpB5Y%2BcxhgpZCsLA7uQ%40mail.gmail.com.
