Job Offers for Academic Positions at Freie Universität Berlin
Job Offers for Academic Positions at Freie Universität Berlin
Fachbereich Mathematik und Informatik Institut für Informatik AG Intelligente Systeme und Robotik
Wiss. Mitarbeiterin / Wiss. Mitarbeiter limited to 36 months Entgeltgruppe 13 TV-L FU
Job description:"Effective Higher-Order Automated Theorem Proving LEO-III" funded by the German Research Foundation (DFG)
Significant progress has recently been achieved in higher-order automated theorem proving. This includes the improvement of existing provers and the development of new provers and model finders. Moreover, many new application domains have been explored and a high number of experiments have been carried out. These experiments show that higher-order theorem proving systems can solve relevant problems in many application domains that cannot be solved effectively in less expressive logics. This progress has been fostered by the new international TPTP THF infrastructure.
The goals of the LEO-III project in research and technology are versatile, but strongly interrelated. One common pattern in several of our research tasks is the idea to exploit, transfer, and adapt selected theoretical and technological achievements in first-order automated theorem proving for the higher-order context. This way we want to improve overall automation and make it readily available to a range of scientists from other fields, including AI, mathematics, and philosophy.
The cooperative architecture of previous LEO provers has supported the mediation between expressive modeling languages and restricted, but computationally more tractable logics for proof automation. This mediation is an inherent principle of the LEO approach and will be further explored in the LEO-III project.
The list of objectives includes:
Novel calculi and new design for LEO-III: the new system will be based on paramodulation/superposition; term-orderings, labeling techniques, and free-variable representations will be adapted and further developed for these purposes
Flexible, concurrent collaboration with specialist reasoners for first-order logic and novel collaborations with specialist reasoners for other computationally interesting fragments of higher-order logic
Provision of proof objects and support for the integration of LEO-III with proof assistants or other AI systems
Application and evaluation of LEO-III
Dissemination of LEO-III and contribution to the build-up resp. extension of an international infrastructure
The range of objectives is from technological challenges to foundational, theoretical issues. The research methods include theory, modeling, implementation, and evaluation.
The postdoctoral candidate is expected to support the principal investigator in the implementation of the project, to co-supervise a team of students working on project related topics, and to carry out major parts of the proposed research.
PhD respectively Doctorate in Computer Science, Mathematics, or Theoretical Philosophy Desirable: We are seeking a postdoctoral candidate with exceptional research record in automated theorem proving, ideally in higher-order logics. Familiarity with LEO-II and/or Isabelle or Coq will be favorable.
We are seeking a postdoctoral candidate with exceptional research record in automated theorem proving, ideally in higher-order logics. Familiarity with LEO-II and/or Isabelle or Coq will be favorable. Further requirements include experience in modern functional programming languages, preferably OCaml or Scala, and excellent writing and presentation skills.
Applications by February 17th, 2014 quoting the reference 721101-wiMi shall be addressed to
Freie Universität Berlin Fachbereich Mathematik und Informatik Institut für Informatik Herrn Dr. (habil.) Christoph Benzmüller Arnimallee 7 14195 Berlin (Dahlem)
Fachbereich Geschichts- und Kulturwissenschaften Friedrich-Meinecke-Institut - EU-FP7-Projekt: CENDARI „Collaborative European Digital/Archival Infrastructure“
Research Associate The initial contract will end on June 30th, 2015 with the possibility of an extension until January 31st, 2016 pending the approval of further funding. E 13 TV-L FU
CENDARI offers a challenging work environment at the intersection of cutting-edge historical scholarship and the digital humanities. For more information, please visit www.cendari.eu.The responsibilities of this position include:
coordination and realization of all the Friedrich-Meinecke-Institut’s work packages
communication with the team’s project partners
coordination between the technical and research divisions of the project team
composition of progress reports for the EU
researching archival collections.
A central part of this work will include
describing collections, networking and communication with archives and cultural institutions
authoring virtual research guides on various topics
the organization of internal meetings and external expert seminars
Ph.D. in modern history, with specialization in a topic related to the First World War
Fluency in German and English
good knowledge of the Russian language and modern Russian history
extensive experience with archival research, particularly Russian archives
a high level of computer literacy
experience in project management and the administration of third-party funding; extensive knowledge of archival standards and work methods
interest in developments in the field of digital humanities
knowledge of at least one of the following languages in addition to Russian: Serbo-Croatian, Rumanian, Bulgarian, Turkish, Hungarian, Lithuanian, Estonian, Latvian
high competency in organization, communication and event moderation
experience with databases, common markup languages, and content management systems
Applications quoting the reference code FMI/CENDARI/1/2014 must be received no later than March 3rd, 2014 at
Freie Universität Berlin Fachbereich Geschichts- und Kulturwissenschaften Friedrich-Meinecke-Institut Herrn Prof. Dr. Oliver Janz Koserstraße 20 14195 Berlin (Dahlem)
Department of Education and Psychology Affective Neuroscience & Psychology of Emotion Unit
Student Assistant (41 hrs / month)
The student assistant will work on a research project under the direction of Prof. Hauke Heekeren and Dr. Dar Meshi. This project will utilize functional magnetic resonance imaging (fMRI) to examine the neural mechanism behind a type of social influence. With assistance from a senior member of Prof. Heekeren’s lab, the student assistant will be responsible for the following: programming the experiment in MATLAB; recruiting and scheduling participants for the experiment; meeting participants and collecting behavioral and brain data; analyzing behavioral data with SPSS software; analyzing brain data with SPM or FSL software; completing various other tasks related to the research project.
Desired Skills and Experience:
two completed semesters of university-level study
Important but not mandatory
an intense interest in conducting cognitive neuroscience research, and learning techniques and analyses that the student assistant may not already know
fluent in English (both speaking and writing)
fluent in German (both speaking and writing)
advanced degree in neuroscience, cognitive science, psychology, computer science or a related discipline
knowledge of the following software programs: MATLAB; SPSS; SPM or FSL; applicants with expertise in computer programming are highly desirable
We would like to hire the student assistant as soon as possible.
Duration of Contract:
Please sending applications, quoting the reference code 12-06/2014 not later than February 17th, 2014 to
Freie Universität Berlin, Department of Education and Psychology Affective Neuroscience & Psychology of Emotion Unit Dr. Dar Meshi Habelschwerdter Allee 45 14195 Berlin or as an Email: email@example.com