PhD Scholarship (Logic), University of Queensland, Australia

[Guillermo Badia]

*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.badia at uq.edu.au with copy to
carles.noguera at 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*.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211029/24adacb2/attachment-0001.html>