Logic List Mailing Archive

PhD scholarship in mathematical logic, Brisbane (Australia), Deadline: 31 Jan 2022

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 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@uq.edu.au with copy 
to carles.noguera@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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam