Student Researcher (Master Student)

Updated: 11 months ago
Deadline: 30 Dec 2017

We invite candidates for a student-researcher position at the CL group at the University of Innsbruck. The starting date can be negotiated, please apply before November 30, 2017.

A background in proof assistants, in particular practical knowledge of formalization in Isabelle/HOL is required. Knowledge of further theories of interest to the project, such as economics, automated reasoning, or machine learning is an advantage.

Knowledge of German is not required, the group is international and the language of communication is English.

Candidates for a PhD position must hold a BSc in computer science or mathematics.

View or Apply

Similar Positions