Logic List Mailing Archive

PhD student position on explaining the meaning of logical formulas, Utrecht (The Netherlands), Deadline: 4 Jun 2021

The Natural Language Processing group at Utrecht University?s Information 
and Computing Sciences department is looking for a junior researcher who 
wants to take up a PhD position to develop algorithms for explaining the 
meaning of logical formulas in ordinary language. This four-year position 
comprises 85-90% research time and 10-15% teaching time, thus presenting 
an excellent opportunity to develop an academic profile as a researcher 
and teacher.

The idea is to investigate computational techniques for optimising logical 
formulas and "translating" these into NL text, and to empirically evaluate 
the clarity and usefulness of the resulting text.

The totality of the above research programme comprises aspects of 
computational logic, natural language generation, and experimental 
psychology. Since few people master all relevant research areas, the 
precise focus of this PhD project will be chosen in discussion with the 
successful candidate. The choice of logical formalism is still open; 
options include First Order Predicate Logic and formalisms of Formal 
Argumentation. The choice of natural language is likewise still open; 
options include English, Dutch, and Chinese, which are all studied in the 
department. The supervisory team will include Kees van Deemter (of Utrecht 
University) and Jordi Levy (of CSIC?s Research Institute for Artificial 
Intelligence in Barcelona). The PhDship will include three secondmends, 
two at the Research Institute for Artificial Intelligence in Barcelona, 
and one at ARRIA NLG Limited in Aberdeen.

This PhD position is part of the project called "Interactive Natural 
Language Technology for Explainable Artificial Intelligence" (NL4XAI), 
which has received funding from the European Union?s Horizon 2020 research 
and innovation programme under the Marie Sk?odowska-Curie grant scheme. 
Consequently, the candidate must not have resided or carried out her/his 
main activity (work, studies, etc.) in The Netherlands for more than 12 
months in the 3 years immediately before the recruitment date? unless as 
part of a procedure for obtaining refugee status under the Geneva 
Convention.

Please do not hesitate forwarding this advert to potentially interested 
people.

We?re looking for someone to start as soon as possible after the 
recruitment process is concluded. (The formal text put this a bit 
strangegly as "Estimated starting date: 4th July 2021?).

Application deadline: 4 June 2021.

Applications and further information: 
https://nl4xai.eu/open_position/new_esr4/ .

Enquiries: Kees van Deemter at c.j.vandeemter@uu.nl .


--
[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