============================================================
Open student assistant (WHK) position (f/m/d) in the DFG
research project "Proof Structures: Proofs as Formal Objects
and as Data Structures" at University of Potsdam
============================================================

- Start Date: At the earliest possible date
- Hours: 10-19 hours per week
- Duration: Approx. 12-18 months (fixed-term contract in
  accordance with the WissZeitVG)
- Remuneration: In accordance with the guidelines of the
  University of Potsdam for graduate research assistants
  (WHK)

Information on the Project:

  http://cs.christophwernhard.com/projects/prs/

Tasks:

  Assistance with the implementation and evaluation of
  automated proving systems, as well as with the
  investigation of conceptual and theoretical questions
  related to the project.

Requirements:

  - Bachelor's degree in Computer Science or Mathematics
  - Strong interest in pursuing scientific work
  - Good knowledge of logics
  - Experience with formal systems and formalizations
  - Good programming skills
  - Confident use of the Unix-Shell and LaTeX
  - Proficiency in academic English

Desired Qualifications:

  - Background knowledge or strong interest in one of the
    following subject areas:
    - Automated theorem proving
    - Knowledge representation and reasoning
    - Logic programming
    - Proof assistants
    - Computational logic
  - Practical experience with logic or functional programming
    languages
  - Experience with reading research literature

Contact:

  If you have any questions or would like to apply, please
  do not hesitate to contact

  Christoph Wernhard
  christoph.wernhard@uni-potsdam.de

Legal Notices of the University of Potsdam:

  The University of Potsdam values the diversity of its
  community and pursues the goals of equal opportunity
  regardless of gender, nationality, ethnic and social
  origin, religion/belief, disability, age, and sexual
  orientation and identity. Applications from abroad and
  from persons with a migration background are expressly
  encouraged. The university strives for a balanced gender
  ratio in all employment groups; in areas where women are
  underrepresented, women are given preference in case of
  equal suitability (Section 7 paragraph 4 of the
  Brandenburg Higher Education Act). People with
  disabilities are given preferential consideration in case
  of equal suitability. In aptitude tests and selection
  interviews, individual compensation measures for
  disadvantages are granted, taking the specific disability
  into consideration. If a person with a disability would
  like to make use of individual compensation measures,
  please state this in the application letter.