News and Events: Open Positions

The ILLC has expanded recently due to an increase in external funding. The ILLC Office is therefore looking for a colleague (HBO level) with experience in a similar position, to provide support to projects and to participate in the general support tasks carried out by office staff.

The ILLC is looking to fill one or more positions for Project Assistants in Arianna Betti's group 'Concepts in Motion' within the projects 'eIdeas' and 'CatVis'.

The project 'eIdeas' aims at developing a groundbreaking new computational methodology for the History of Ideas. CatVis aims at developing insightful visualisations for the humanities based on cutting edge geometrical algorithmics.

The ideal candidate for this position is a born organiser: a flexible, accurate, highly team-oriented person, capable of working independently, of quickly adjusting to changes of plan, with outstanding social and communicative skills. A BA in philosophy or other field relevant to the project is required. The RA supports the internal and the external workings of the Concept in Motion team by monitoring and taking care of the more practical and collaborative aspects of its internal workings, as well as of its external, digital presence in the internet.

The Collaborative Research Center SFB 1287 'Limits of Variability in Language: Cognitive, Grammatical, and Social Aspects' in Potsdam, Germany, invites applications for 17 positions for PhD candidates and Postdocs available from July 2017 for a duration of four years (subject to funding commitment).

Language users exhibit a high degree of variability at all levels of the linguistic system, language use, and language development and change. By exploring the systematicity and the limits of variability in linguistic behaviours, the main focus of the CRC will be on identifying the constraints of the underlying linguistic system. Several projects will jointly evaluate the limits, relations, dependencies, and commonalities of different types of variability across a range of linguistic phenomena from the perspectives of (A) language interaction and change, of (B) language processing, and of (C) grammatical systems.

The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. 12 positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL. The RTG UnRAVeL aims to significantly advance probabilistic modelling and analysis for uncertainty. Candidates must have (or soon obtain) a master degree in Computer Science, Mathematics or related area and have completed their studies with excellent grades. Proficiency in German is helpful but not compulsory.

The Department of Philosophy, Linguistics and Theory of Science at University of Gothenburg is advertising a PhD position in Logic, with specialisation in Proof Theory. The successful applicant will be employed in the research project Truth and Reflection lead by Graham Leigh, funded by the Knut and Alice Wallenberg Foundation. The position is fully-funded for four years.

Semmle is a software development company built on groundbreaking research in compilers and data analysis, developed by a team from the University of Oxford. The company is looking for an expert in data analysis with a strong background in natural language processing (including sentiment analysis) to automate the interpretation of software engineering data.

Universität Hamburg invites applications for a Research Associate for the project "Knowledge and Decision (PI: Moritz Schulz)", funded by the Deutsche Forschungsgemeinschaft. The position commences on October 1st 2017 or as soon as possible thereafter. It is remunerated at 65% of the salary level TV-L 13.

We are searching for an exceptionally talented and motivated student to join our team as PhD student in the logic group. The ideal candidate should have or be about to obtain an excellent Masters degree (or comparable) in one of the following fields: Mathematics, Computer Science or Philosophy. Competencies in one or several of the following areas would be a plus: Structural proof theory, Deontic logic, Modal logic, Philosophical logic (in particular formalisation of philosophical texts), Implementations.

Willingness to work in an interdisciplinary environment consisting of logicians and indologists is a must. The successful candidate will be an affiliated PhD student in the doctoral program Logical Methods in Computer Science (LogiCS) at the Vienna University of Technology.

10 four-years grants are offered by the faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to E68,000; for research visits abroad the grant can increase up to 50%. Substantial extra funding is available for participation to international conferences, schools, workshops, research visits. The language of the PhD program is English.

The KRDB Research Centre of the faculty is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics described in the call, the KRDB Research Centre is looking for PhD students interested in Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Information Integration, Semantic Technologies, Knowledge Representation, Computational Logic, Artificial Intelligence, foundations of Process-aware Information Systems.

In the Theoretical Computer Science group (Chair Computer Science 8) at the  Friedrich-Alexander-Universität Erlangen-Nürnberg, we have a PhD and a postdoc position available in the DFG-Project "A High Level Language for Programming and Specifying Multi-Effect Algorithms", which is concerned with monad-based semantics and program logics for side-effecting iteration and recursion. The technical part of the project proposal can be made available on request.

The project is supervised by Sergey Goncharov and Lutz Schröder. The positions are in the TV-L E13 or E14 pay scale depending on qualification of the applicant; the project duration is three years.

A *Level B* teaching and research academic is expected to develop curriculum, teach and undertake research or other scholarly work relevant to the development of their discipline or professional field. You must have a demonstrated capacity to teach into a wide range of undergraduate subjects for the Philosophy major. Staff may also be requested to contribute to teaching in interdisciplinary majors such as Gender, Sexuality and Diversity Studies and/or our Politics, Philosophy and Economics degree.

ALEXANDRIA is a five-year ERC-funded project aimed at making interactive theorem proving useful in mathematical research. The workplan includes pilot studies to identify critical issues, library development and the implementation of advanced search, perhaps using machine learning. Two mathematicians and an Isabelle architect will be hired.

The Interactive Intelligence group at Delft University of Technology invites applications for 1 PhD position (4 years) and 1 postdoc position (2 years) in the  CoreSAEP project (Computational Reasoning for Socially Adaptive Electronic Partners) let by Dr. M. Birna van Riemsdijk.

The goal of the project is to develop techniques for creating software that understands norms and values of people, which we call Socially Adaptive Computing. Through development of formal models we lay the foundations for intelligent supportive technology that can take into account social relations and human values, for example privacy, freedom and safety, when taking decisions on our behalf. Decisions may concern, e.g., which data to share with whom or who to contact if help is needed. This becomes more and more important with the rise of AI and Data Science and the increasing pervasiveness of intelligent technology in our daily lives.

The interdisciplinary Research Training (RTG) Group 'Situated Cognition' invites applications for 1 Ph.D. position for a three-year structured PhD program. The program will commence June 1st, 2017 and the candidate should be prepared to start as soon as possible but on 1st of Oct. 2017 at latest. The group is jointly based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum and at the Institute of Cognitive Science and the Department of Philosophy at Osnabrück University.

The PhD candidate for this position will be based in Bochum and work on an essentially interdisciplinary project with an emphasis on philosophical theory formation regarding either (a) situated aspects of perception, supervised by Prof. Dr. Tobias Schlicht, or (b) situated aspects of social understanding, supervised by Prof. Dr. Albert Newen. Ideally, the second supervisor will be an empirical scientist.

The Center for Mind, Brain and Cognitive Evolution at the Ruhr-University Bochum is offering a full-time postdoctoral position, beginning on 1st October 2017, with a limited contract until end of May 2020.

The position is installed to foster the research of young postdocs who have already proven to be excellent in publications. It offers the opportunity to develop one's own research project and research profile in the area of philosophy of mind or cognition. Beside the scientific aspects of this position, there is also the assignment to teach two courses each semester. Moreover, the candidate will be asked to engage in some administrative tasks and to strongly support the organization of the Center for Mind, Brain and Cognitive Evolution.

The Division of the Humanities and Social Sciences at the California Institute of Technology invites applications for a two-year Postdoctoral Instructorship in philosophy of science, broadly construed. The successful candidate will be expected to begin the appointment prior to the start of Caltech’s fall term on September 25, 2017, and to teach three (ten-week) undergraduate courses during each of the two years. The appointment is contingent upon completion of the Ph.D.

A one-year postdoctoral position is available at the Ecole Normale Supérieure de Lyon, LIP. The position is based in the Plume Team, currently composed of 12 permanent researchers and 12 postdocs/PhD students. The main topics of the team are the logical foundations of programming languages and the verification of formal systems. The topic of the postdoc is the study of good-for-games automata, an intermediate model between determinism and nondeterminism, with applications in verification and synthesis.

We are looking for candidates with expertise in one or several of the following fields: automata theory, games, logic, verification. Candidates should hold a PhD in theoretical computer science or mathematics, in relation with the above fields. The position is available from September 2017, with flexibility on the starting date.

Swansea University is intensifying its investments in Computer Science. It wishes to expand the scale, relevance and intellectual diversity of the subject. To this end the University has available 9 permanent academic posts at the rank of lecturer, senior lecturer and associate professor. For five positions the research focus can be in any area of Computer Science. The posts can enhance existing areas, or bring in new areas that resonate with the Department.

The Department would welcome applications from early career academics with a developing portfolio of research interests that that they believe have the potential to play a significant role in the future development of the discipline. Exceptional applicants with a more developed academic portfolio may be appointed to a higher grade.

More information on these positions can be found following the links to the University's web site:
4 Lecturers in Computer Science (Research) - http://www.swansea.ac.uk/personnel/jobs/details.php?nPostingId=4537&nPostingTargetId=7579&LG=UK
1 Senior Lecturer (Teaching) - http://www.swansea.ac.uk/personnel/jobs/details.php?nPostingID=4526&nPostingTargetID=7564&lg=UK
Or contact the Head of Department, Arnold Beckmann, who many will know through CiE: a.beckmann at swansea.ac.uk.