We are looking for a highly motivated PhD student to work in the project “Sequent and tableau-based systems for non-classical logics”. The duration of the project is 33 months . A monthly stipend of 2500 PLN is attached to the position. Research in the project will be conducted under the supervision of prof. Andrzej Indrzejczak in the Department of Logic and Methodology of Science at the University of Łódź, Poland.
BRIEF PROJECT DESCRIPTION A (non-exhaustive) list of topics of interest comprises the following: - sequent calculi for temporal and other non-classical logics - tableau-calculi for logics with cardinality constraints and other non-classical logics - decision procedures for various logics - computational complexity and proof complexity of various logics. MAIN RESPONSIBILITIES - Participating actively in research conducted by other team members - preparing papers for publication and/or presentation at domestic and/or international conferences - conducting case studies, i.e., applying general methodology of devising tableau/sequent calculi to concrete logics - (optionally) implementing concrete sequent and tableau-based decision procedures as automated provers. SELECTION CRITERIA Essential A successful candidate - holds Bachelor's/Master's degree in philosophy/mathematics/cognitive science or related discipline (involving logic); - is a PhD student in his/her first or second year of studies (logic or related discipline) or is going to obtain this status by October, 3rd, 2018 (It is possible to apply for PhD studies in the Institute of Philosophy at the University of Łódź, see: https://rekrutacja.uni.lodz.pl.); - betrays extensive interest in logic and has good background in this discipline; - has experience in delivering talks at conferences and writing scientific papers and submitting them for publication; - has good command of English; - has very strong motivation for scientific work; - is ready for full involvement in the project, consisting in regular meetings with other members of the project and regular reporting on the progress of work to the PI. Desirable - Publication record in logic-related topics; - Experience in publishing/delivering talks at conferences in English; - Programming skills; - Some background in theoretical computer science (computational complexity, proof complexity); - Working knowledge of LaTeX. HOW TO APPLY? Applications should be send by email to the Principal Investigator of the project, prof. Andrzej Indrzejczak ([email protected]), no later than on October, 3rd, 2018, 20:00, and titled “Application, position for a PhD student”. Candidates should attach the following documents (in Polish or English): - academic CV (including information on scientific interests, list of publications and conference talks etc.) - cover letter - sample of writing (a scientific article, an excerpt from a bachelor’s/master’s dissertation etc.) in English or Polish - reference contact list (with email addresses and optionally phone numbers); at least one contact is mandatory. --------------------------------------------------------- This email has been sent via Studia Logica address list; see also http://www.StudiaLogica.org and http://www.StudiaLogica.org/call.for.papers.html We acknowledge the use of the following mailing list: Algebra Universalis researchers Logicians in Japan: [email protected] Logicians in China and Singapore Polish Association for Logic and Philosophy of Science --------------------------------------------------------- Best Regards Krzysztof Pszczola (www.StudiaLogica.org webmaster) --------------------------------------------------------- -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil http://www.cambridge.org/br/academic/subjects/philosophy/twentieth-century-philosophy/significance-new-logic?format=HB&isbn=9781107179028 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli CV Lattes : http://lattes.cnpq.br/1055555496835379 -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58OS1AL5aLTKorOiFOJPTzM93MoUUzrSAc3RP_uqT0VfFw%40mail.gmail.com.
A position for a PhD student.pdf
Description: Adobe PDF document
