Diary id: PAR 2020/301
Employment level: Fixed term
Location: Dept of Philosophy, Linguistics & Theory of Sci.
Apply by: 2020-06-15
The University of Gothenburg
tackles society's challenges with diverse knowledge. 37 000 students and
6 000 employees make the university a large and inspiring place to work
and study. Strong research and attractive study programs attract
scientists and students from around the world. With new knowledge and
new perspectives, the University contributes to a better future.
The Logic Group at the Department of Philosophy, Linguistics and Theory of Science applies formal techniques to questions from philosophy, mathematics, computer science and linguistics. Broad interests in the foundations of mathematics and modal logic are represented. In particular, there is expertise on proof theory, model theory, set theory and theories of truth, as well as on type theory, fixed-point logic and dependence logic. More information about the Logic Group and its activities can be found at https://flov.gu.se/english/research/research-areas/logic
The Department of Philosophy, Linguistics, and Theory of Science seeks to appoint two well-qualified and highly motivated doctoral students in Logic. One position is available on the research project Modal mu-calculus: A study in descriptive complexity lead by Bahareh Afshari funded by the Swedish Research Council. This research project is concerned with the study of the modal mu-calculus, a rich and expressive logic formalizing reasoning on inductive and co-inductive structures and brings together techniques from theoretical computer science (automata, games, tableaux) and mathematical logic (proof theory, in particular circular and non-well-founded proofs). The second position is open to all topics in mathematical, philosophical and computational logic within the expertise of the Logic Group.
Subject area
Logic
Specific subject description
One position in the mathematical and computational study of fixed-point logics; one position in topics within the expertise of the Logic Group.
Job assignments
The successful candidate(s) is expected to devote her or his time to write a doctoral thesis in Logic and the completion of obligatory course work. He or she may, however, also undertake a limited amount of teaching, administration or research not directly connected to the dissertation topic. Such duties extend the position accordingly. The successful candidate applying to the externally funded project position on mu-calculus will be expected to write their doctoral thesis within the subject specific area of fixed-point logic.
The successful candidate is expected to participate in the activities of the Logic Group, such as seminars and workshops. He or she is expected to carry out the vast majority of the research in Gothenburg and to participate in a regular and consistent manner in the department’s other relevant research activities. The working language within the department is English. In addition to salary, there will be funds available for travel and shorter visits to other universities and research institutes.
Eligibility
To be eligible for the position, the applicant must meet both general and specific entry requirements.
A person meets the general entry requirements under Chapter 7, Section 39 of the Higher Education Ordinance if he or she:
Admission to the third-cycle program in Logic also requires:
https://flov.gu.se/english/education/doctoral-studies-third-cycle/general-syllabus
The Logic Group at the Department of Philosophy, Linguistics and Theory of Science applies formal techniques to questions from philosophy, mathematics, computer science and linguistics. Broad interests in the foundations of mathematics and modal logic are represented. In particular, there is expertise on proof theory, model theory, set theory and theories of truth, as well as on type theory, fixed-point logic and dependence logic. More information about the Logic Group and its activities can be found at https://flov.gu.se/english/research/research-areas/logic
The Department of Philosophy, Linguistics, and Theory of Science seeks to appoint two well-qualified and highly motivated doctoral students in Logic. One position is available on the research project Modal mu-calculus: A study in descriptive complexity lead by Bahareh Afshari funded by the Swedish Research Council. This research project is concerned with the study of the modal mu-calculus, a rich and expressive logic formalizing reasoning on inductive and co-inductive structures and brings together techniques from theoretical computer science (automata, games, tableaux) and mathematical logic (proof theory, in particular circular and non-well-founded proofs). The second position is open to all topics in mathematical, philosophical and computational logic within the expertise of the Logic Group.
Subject area
Logic
Specific subject description
One position in the mathematical and computational study of fixed-point logics; one position in topics within the expertise of the Logic Group.
Job assignments
The successful candidate(s) is expected to devote her or his time to write a doctoral thesis in Logic and the completion of obligatory course work. He or she may, however, also undertake a limited amount of teaching, administration or research not directly connected to the dissertation topic. Such duties extend the position accordingly. The successful candidate applying to the externally funded project position on mu-calculus will be expected to write their doctoral thesis within the subject specific area of fixed-point logic.
The successful candidate is expected to participate in the activities of the Logic Group, such as seminars and workshops. He or she is expected to carry out the vast majority of the research in Gothenburg and to participate in a regular and consistent manner in the department’s other relevant research activities. The working language within the department is English. In addition to salary, there will be funds available for travel and shorter visits to other universities and research institutes.
Eligibility
To be eligible for the position, the applicant must meet both general and specific entry requirements.
A person meets the general entry requirements under Chapter 7, Section 39 of the Higher Education Ordinance if he or she:
- has been awarded a second-cycle qualification, or
- has satisfied the requirements for courses comprising at least 240 higher education credits of which at least 60 higher education credits were awarded in the second-cycle, or
- has acquired substantially equivalent knowledge in some other way in Sweden or abroad.
Admission to the third-cycle program in Logic also requires:
- at least 30 higher education credits in Logic at the advanced level, of which at least 15 higher education credits must be from an independent project, or equivalent.
- required language skills in Swedish and English for taking compulsory courses and participating in seminars or similar activities.
https://flov.gu.se/english/education/doctoral-studies-third-cycle/general-syllabus
No comments:
Post a Comment
Thank you for visiting this Blog.
Enjoy and share the information with your community.
Information is money, don't hoard it!