Logic List Mailing Archive

PhD student and postdoctoral positions in logic & computation, Vienna (Austria)

PhD and PostDoc positions are available at the Database and Artificial 
Intelligence Group at the Institute of Logic and Computation (TU Wien, 
Austria). We invite highly motivated applicants interested both in the 
theory and practice of

*Description Logics,
*Rule-based Languages,
*Semantic Web,
*Reasoning about Actions and Change,
*Databases,
*Artificial Intelligence.

In particular, we are seeking to strengthen our research teams in two 
foundational research projects [1, 2] funded by the Austrian Science Fund 
(FWF), and the industry-oriented project [3] funded by the Vienna Business 
Agency. Depending on research tasks, funding is available for up to 3.5 
years.

PhD students would join the LogiCS doctoral program [4], which offers top 
research expertise, and a stimulating and supportive environment. Vienna 
is a beautiful city that offers excellent quality of life, while TU Wien 
is a great place for professional growth (e.g., the Austrian Science Fund 
offers multiple funding opportunities for young researchers to advance 
their independent scientific careers).

Interested candidates should contact Mantas Simkus 
(simkus@dbai.tuwien.ac.at). If you are interested in the industry-oriented 
project [3], which is in cooperation with Campfire Solutions and the Free 
University of Bozen-Bolzano (Italy), you can directly write to 
jobs@campfire-solutions.com.

Links:

[1] http://www.simkus.info/projects/fwf-project-p30360/
[2] http://www.simkus.info/projects/fwf-project-p30873/
[3] https://www.campfire-solutions.com/job-offer-researcher-m-w-d/
[4] https://logic-cs.at
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam