News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 27 May 2016). Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Open Positions at ILLC
Headlines Open Positions, General
We are looking for a postdoctoral researcher who will join the research group of Prof. Sonja Smets. Preference will be given to a candidate who is active in one of the following areas:
- Logic and its applications to formal epistemology or multi-agent systems. In particular we are interested in the use of logical methods to study the dynamics of information. Topics of interest can relate to belief revision theory, social network theory, epistemic game theory, truth approximation or formal learning theory.
- Logic and its applications in the area of quantum mechanics or quantum information theory. In particular we are interested in quantum logic and its use in quantum information theory (e.g. logics used for the formal verification of quantum information protocols).
Deadline for applications: 15 June 2016. For more information, see https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/
Two open PhD positions are available in the project 'Justifications and Non-classical Reasoning' in the Logic and Theory Group of the Institute of Computer Science at the University of Bern.
We are looking for students with a strong background in logic (mathematics, computer science, or philosophy) who want to further develop their knowledge and skills in epistemic and non-classical logic.
The salary for the position is approximately 50,000 Swiss Francs per year.
The candidate will bring to the position a relevant and innovative research agenda in the areas of Digital Humanities and Information Cultures and will be especially interested in the critical study, de- velopment and application of digital methods, techniques and tools.
Application deadline: 30 May 2016. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=7374
In order to increase the number of young researchers participating in its Intensive Research Programs, the CRM announces a call for participants interested in participating in the IRP on Large Cardinals and Strong Logics, from September to December 2016. We can offer two different packages including registration and housing: CRM package 1 (September 19-30) and CRM Package 2 (November 7-18).
Application deadline: 31 May 2016. For more information, see http://www.crm.cat/en/Activities/Curs_2016-2017/Pages/CRM-Grants-LCSL.aspx
The Algorithms Research Group at The Department of Informatics of University of Bergen, Norway has a vacancy for a PhD position for 3 years, starting September 1, 2016. The application deadline is May 29, 2016. The successful candidate will be working under the supervision of Professor Pinar Heggernes.
The position is part of the project 'CLASSIS : The renaissance of graph classes - New algorithmic theory of forbidden induced subgraphs' funded by the Research Council of Norway. The goal of this project is to develop a new algorithmic theory of graph classes based on forbidden induced subgraphs. Main research areas are algorithms and complexity, combined with structural graph theory (graph classes).
Detailed information can be obtained and applications must be submitted via the following web page: https://www.jobbnorge.no/en/available-jobs/job/125338/phd-position-in-algorithms
The Institute for Philosophy II at the Ruhr-University Bochum (RUB) invites applications for a Post-doctoral research position in the domain of nonmonotonic logics and formal argumentation. The position is part of a research project on formal argumentation and defeasible reasoning.
Duration: 3 years. Starting date: latest at 1. August 2016. The candidate is supposed to have a PhD degree (or equivalent) in philosophy, computer science, m, or another relevant discipline. Furthermore, the candidate should have expertise in formal logic and/or formal argumentation. Mastering the German language is not required.
Deadline for the application: 31. May 2016 For more information, see http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/call-postdoc2.html or contact christian.strasserRUB.de.
Selection of foreign candidates not resident in Brazil for Master or PhD in the PPGF (Programa de PÃ³s-GraduaÃ§Ã£o em Filosofia) is open up to May 31st. No need to come on location to submit an application. Details can be found here http://www.ppgf.ifcs.ufrj.br/wp-content/uploads/2016/03/Edt_ESTR_2016.pdf
The Research Foudation of the State of Rio de Janeiro (FAPERJ) is also offering research grants for a stay of 4 to 12 months including airticket for foreign students doing their PhDs outside of Brazil http://www.faperj.br/?id=18.4.2. Deadline is May 12.
Within the research unit Computation with Bounded Resources at the University of Innsbruck, Austria there is an opening for a 2 year position as postdoctoral researcher or a 3 year position as PhD student. The position is funded by the ANR-FWF project "The fine structure of proof systems and their computational interpretations" (FISP for short). The research unit is part of the Computational Logic Group of the Department of Computer Science.
The objective of FISP is to apply the powerful and promising techniques from structural proof theory to central problems in computer science for which they have not been used before, especially the understanding of the computational content of proofs, the extraction of programs from proofs and the logical control of refined computational operations. Its primary objective is to build new concrete computational interpretations of proof systems based on the techniques developed in the STRUCTURAL project (2011-2013).
Applications must be received before 31 May, 2016. Further information is available from the Project FISP page at http://cl-informatik.uibk.ac.at/research/projects/, or by contacting Prof. Georg Moser at georg.moseruibk.ac.at.
The Scuola Normale Superiore (SNS) invites expressions of interest from qualified academics in the field of Logic, and announces the possible opening of one position in its Classe di Scienze Umane at the full professor level.
SNS seeks candidates with a proven record of achievements in logic and a high international profile. Applicants should have a strong interest in the philosophical aspects of logic and in the philosophy of mathematics, so as to integrate their own teaching with Philosophy and History of Philosophy courses offered at the Scuola. Knowledge of Italian is highly appreciated.
The deadline for applications is the 31st of May 2016. For more information, see http://en.sns.it/bando/professorship-logic-scuola-normale-superiore-pisa-italy
A two-year postdoctoral position is available at Uppsala University. The position is within the project The Lightness of Being, financed by Riksbankens Jubileumsfond. The principal investigator is Professor Matti Eklund. The project is on metaontology . Among the research that might be of interest for the project is research in metaphysics, philosophy of language, philosophy of logic, epistemology, and the history of analytic philosophy.
Applications must be received before 1 June, 2016. For more information, see http://uu.se/en/about-uu/join-us/details/?positionId=102524 Or contact Matti Eklund at matti.eklundfilosofi.uu.se.
A postdoctoral position in the area of efficient algorithms is available in the research group of Prof. Susanne Albers, Department of Computer Science, Technical University of Munich (TU Munich).
The position will be funded by a new ERC Advanced Grant entitled "APEG: Algorithmic Performance Guarantees" that addresses innovative research in the fields of approximation algorithms, online algorithms and algorithmic game theory. Therefore, the postdoc should have a research interest in at least one of these areas.
The position provides a competitive 12 month salary with standard benefits. The initial appointment is for a period of one year. The expected start date of the position is fall/winter 2016/17.
The successful candidate should have a PhD degree in computer science or mathematics. Furthermore, he/she should be interested in collaborating with PhD students. The application material should include (1) a cover letter describing the interest in the position, (2) a CV and list of publications, (3) a short research summary, and (4) the names and contact information of at least two references. The material should be sent electronically to <albersin.tum.de>.
Applications will be reviewed starting from June 1, 2016. More information about Susanne Albers and the research group can be found at http://wwwalbers.in.tum.de/index.html.en
The Department for Philosophy and Religious Studies at Utrecht University is looking for an Assistant Professor in the field of Theoretical Philosophy, with a research focus on mathematical logic or formal epistemology. This position includes both teaching (70%) and research in this field (30%). Within the department the position is part of the group for "Theoretical Philosophy", The group has research foci in foundations of mathematics, mathematical logic, logic for AI, philosophy of AI, metaphilosophy, philosophy of science, metaphysics, philosophy of mind, and in philosophy of language, and stands in close interaction with the History and philosophy of science-group at Utrecht University.
The Research School of Computer Science (RSCS) at the Australian National University (ANU) is seeking an outstanding Research Fellow interested in Universal AI with excellent mathematical background and research expertise in Machine Learning, (Algorithmic) Information Theory, (Bayesian) Statistics, Artificial Intelligence or any related area. Possible backgrounds are a PhD, or near completion of a PhD, in mathematics, physics, computer science, engineering, or related. The position holder will be member of the Intelligent Agents team lead by Professor Marcus Hutter, and primarily work on Unifying Foundations for Intelligent Agents.
The position is available immediately - fixed term - for 2 years - potential prolongation by 1-2 more years. Closing Date: 30 June 2016. Further information for applicants is available at http://jobs.anu.edu.au/cw/en/job/508515/ and http://www.hutter1.net/rsise/postdoc15.htm.
The University of Rochester Department of Computer Science seeks applicants for two full time lecturer positions. Candidates must have a PhD in computer science or a related discipline and/or significant teaching experience. The preferred candidate will have college teaching experience, a strong commitment to working with students, the ability and passion to help develop new courses along with any necessary labs, and high personal motivation and responsibility. The position may start as early as July 1, 2016.
For more information, see http://www.cs.rochester.edu/about/recruit.html. If after reading this you have questions about the positions, contact the chair of the CS department, Prof. Sandhya Dwarkadas (dwarkadascs.rochester.edu).
The Chair for Software and Systems Engineering (Prof. Stefan Leue), in the department of Computer and Information Science at the University of Konstanz (Germany), has an opening for the full-time position of a Research Assistant/PhD Student (Salary Scale 13 TV-L). The position may be interesting for a logician with strong interests in computer science in general and logic in computer science (e.g., temporal logics, model checking, program semantics, etc.) in particular.
The position is primarily geared towards PhD candidates, but in exceptional circumstances post-doctoral candidates can be considered as well. Competency in German is not a prerequisite.
The group of Prof. Dr. Stefan Leue likes to work on formal methods for software and systems modeling and analysis, with particular interest in applying formal methods research in practical settings. They have recently come up with the concept of causality checking and are developing tools for system safety analysis.
Deadline for applications: 18 April 2016. For more information, see http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2016/ (scroll down for the English version) or contact Prof. Stefan Leue at Stefan.Leueuni-konstanz.de.
The Centre for Logic and Philosophy of Science (CLPS) of Ghent University (Belgium) is offering a full-time position for 2+2 years, for a pre-doctoral researcher, starting October 2016 (flexible, but in any case not later than December 1, 2017). It is part of the project "Towards a more integrated formal account of actual ethical reasoning, with applications in medical ethics", funded by the Flemish Research Foundation (FWO-Vlaanderen) and supervised by Joke Meheus (Ghent University), Frederik Van De Putte (Ghent University), and Christian Straßer (Ruhr-Universität Bochum).
The project is situated at the intersection of philosophical logic and ethics. More specifically, the aim of this project is to lay the conceptual groundwork for a formal account for the explication of ethical reasoning, to develop and study deontic logics within that account, and to apply them to some real-life examples from medical ethics. For more information on the project, see the attached outline.
Looking for a Ph.D. thesis that combines computer security and mathematics? IRISA, the computer science laboratory of Rennes in France, seeks to hire an outstanding Ph.D. student to perform research in the field of formal modeling and analysis of security.
The position is within the project entitled "Attack-Defense Trees for Computer Security: Formal Modeling of Preventive and Reactive Countermeasures". Attack-defense trees constitute a methodology to represent how an attacker may compromise a system and how a defender can protect it against potential attacks. The project's objective is to increase the expressive power of attack-defense trees by integrating reactive countermeasures into the formalism.
We offer a three year appointment funded by the French Ministry of Higher Education and Research. The successful candidate will participate in the activities of the Embedded Security and Cryptography (EMSEC) research team co-led by Prof. Dr. Gildas Avoine and Prof. Dr. Pierre-Alain Fouque. The student will be supervised jointly by Dr. Barbara Kordy and Prof. Gildas Avoine.
Applications will be considered on a rolling basis until the position is filled. For more information, see http://people.irisa.fr/Barbara.Kordy/vacancies.php or http://people.irisa.fr/Barbara.Kordy/vacancies/PhD_16.pdf, or contact dr. Barbara Kordy at barbara.kordyirisa.fr.
The Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg has openings for a doctoral studentship position (one or several) in Computational Linguistics. This would be a fixed-term employment (48 months), starting 2016-09-01.
The Centre for Linguistic Theory and Studies in Probability (CLASP) is based in the Department. CLASP is devoted to research and advanced training in the application of probabilistic modelling and machine learning methods to core issues in linguistic theory and cognition. It also addresses topics in dialogue and linguistic interaction. As the position is funded in part by a research grant from the Swedish Research Council, the successful candidate should write her or his doctoral thesis within one of CLASP's core areas, and the research should fit in within the research programme of the centre.
Closing date: 2016-05-19. Reference number: UR 2016/335. For more information, see http://www.gu.se/english/about_the_university/.
The Department of Mathematics at the University of Salerno invites applications for a three-year postdoctoral position in Mathematical Logic. The position is co-funded by the Horizon 2020 project 'SYSMICS' and involves a commitment of 20% of time for project assistance duties. The research focus in on: algebraic logic, many-valued logics, and substructural logics. The net salary is approximately 1450 euros per month.
Applicants are expected to have a strong background in mathematics and logic, the ability to conduct collaborative mathematical research, and the potential for excellence in research. Good written and oral English skills are required. The postdoctoral fellow will work within the logic group of the department and will be in contact with researchers in more than 20 universities participating in the project.
The deadline for applications is the 10th of May. Details on content, requirements and application procedure can be found at: http://logica.dmi.unisa.it/lucaspada/745-postdoc. For further inquiries please contact Dr. Luca Spada (lspadaunisa.it).
The Mathematics Research Unit of the University of Luxembourg has obtained a large grant from the Fonds National de la Recherche Luxembourg for its PhD programme and opens up to 9 positions for PhD candidates.
Starting date: 1 September 2016 or later. Applications received on or before 10 May 2016 will be treated with priority.
For more information and an application form, see http://emea3.mrted.ly/116rn
CMAF-CIO, a mathematics research center based at the University of Lisbon (Portugal) is advertising several post-doc positions, including Mathematical Logic.
Please see http://cmafcio.campus.ciencias.ulisboa.pt/node/1 for more details. The call is open from May 16 to June 30.
A one-year postdoc position is available at Université de Bordeaux in LaBRI on the topics of the ANR project Stoch-MC ( http://perso.crans.org/~genest/stoch.html ) to start in October 2016 (not strict).
We seek candidates with a PhD in computer science or mathematics and a strong interest in one or several of the following topics:
* stochastic games
* Markov decision processes
* probabilistic automata
* any other topic related to the Stoch-MC ANR project.
Inquiries and applications should be sent to hugo.gimbertcnrs.fr