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.
Scientific Associate I, Novartis, Switzerland, about 17 hours ago
Job ID 235916BR Position Title Scientific Associate I Division NIBR Country Switzerland Work Location Basel Job Type Full Time Job Description At the Novartis Institutes for BioMedical Rese...
In Country/In Region University Of Mauritius • Daad, DAAD, Germany, 1 day ago
Overview Eine Druckversion dieser Ausschreibung (PDF) steht Ihnen in den weiteren Registerkarten (z.B. „Bewerbungsvoraussetzungen“) zur Verfügung. A print version of this announcement (PDF) is ava...
Project Leader (M/F) 1.0 Fte, Eindhoven University of Technology, Netherlands, 8 days ago
Position Non academic staff (supporting staff) Department(s) Department of Electrical Engineering Reference number V36.3232 Job description Work environment Eindhoven University of Technology (htt...
Ph D In Predictive Maintenance For Aircraft Systems (Lr18.09), Delft University of Technology, Netherlands, about 18 hours ago
PhD in Predictive Maintenance for Aircraft Systems Department/faculty: Faculty Aerospace Engineering Level: University Graduate Working hours: 38.0 hours weekly Contract: 4 years Salary: 2222 - 28...
Max Planck Humboldt Research Award, Humboldt-Stiftung Foundation, Germany, about 16 hours ago
The Alexander von Humboldt Foundation and the Max Planck Society redesigned their joint research award: the Max Planck-Humboldt Research Award is granted in recognition of the outstanding academic...
In Situ Real Time Rheological Characterization Of Alginate Gelation , Technische Universität München, Germany, about 16 hours ago
07.03.2018, Wissenschaftliches Personal The research group “Fluid Dynamics of Complex Biosystems” headed by Prof. Dr. Natalie Germann has an open PhD position in the field of experimental rheology...