We invite candidates for multiple PhD student and Postdoc researcher positions to start in 2017 or 2018 in the 5-year project "Strong Modular Proof Assistance: Reasoning across Theories" in the CL group at the University of Innsbruck.
The starting date can be negotiated. PhD student positions like Postdoc positions are formal employment in Austria, with a regular salary and benefits. Applications before June 15 will receive a full consideration. A background in proof assistants 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 MSc in computer science or mathematics and candidates for the postdoctoral position hold a PhD degree in computer science or mathematics. Applications and informal inquiries are welcome, please contact Cezary Kaliszyk (cezary.kalis...@uibk.ac.at). Applications should include a CV and names and contact details of two references. For the Postdoc positions please include a brief research statement. The city of Innsbruck, which hosted the Olympic Winter Games in 1964, 1976 and 2012 (YOG), is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. The CL group is one of the leading groups concerned with formalization and certification in the world. More information and links about the project, the group, and the university: http://cl-informatik.uibk.ac.at/cek/smart/ -- Cezary Kaliszyk, University of Innsbruck, http://cl-informatik.uibk.ac.at/cek/ ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
