Papers SEARCHED: Workshop on Epistemic Extensions of Logic Programming

Wolfgang Faber and Michael Morak organize the first Workshop on Epistemic Extensions of Logic Programming, which will be held at the International Conference on Logic Programming in late September 2019 in Las Cruces, New Mexico. Submit your papers by 10 July 2019!

https://www.semsys.aau.at/events/eelp2019/

New research project on spreadsheet errors (FWF / iDEOS)

Spreadsheets based on Microsoft Excel are omnipresent in most organizations. Errors in these spreadsheets can however be highly problematic and a number of examples exist where wrong calculations led to severe financial loss for companies. A new joint project between researchers of AAU and TU Graz will address these problems and develop novel means that help users to detect and remove errors from spreadsheets.

The research project “Interactive Spreadsheet Debugging (iDEOS)” is funded by the Austrian Science Fund (FWF) and will be led by Prof. Dietmar Jannach of the Department of Applied Informatics.

More information about debugging spreadsheets can be found in this research article.

We are looking for a doctoral student (75%) and a postdoctoral researcher (100%). Please contact Prof. Jannach in case you are interested. The project will last 3.5 years.

Job Announcement: PreDoc Scientist (f/m)

The Department of Applied Informatics (Research Group Adaptive and Networked Production Systems) invites applications for the position of an

PreDoc Scientist (f/m) (in German: Universitätsassistent/in)

 

The tasks and responsibilities of the position include:

  • Participation in research and teaching activities of the Research Group Adaptive and Networked Production Systems
  • Independent research with the goal of Doctoral Promotion within the period of appointment
  • Dedicated collaboration in administrative and organizational tasks of the department
  • Project collaboration with academic and industrial partners of the research group
  • Participation in public relations activities of the department and faculty

Required Qualifications:

  • Completed Master’s or Diploma studies with substantial focus on Informatics (e.g., in Informatics, Business Information Systems, Information Management or Data Science) at a domestic or foreign higher education institution
  • Fluency in spoken and written English
  • Basic knowledge and practical experience in one or more of the following areas:

Declarative Problem Solving

Knowledge Representation and Reasoning

Combinatorial Search and Optimization

Constraints and Preferences

Computational Complexity

Planning and Scheduling

Data Mining and Machine Learning

Algorithms and Implementation

Additional Desired Qualifications:

  • Good study performance
  • First scientific publication(s) (in addition to the Master’s or Diploma thesis)
  • International and practical experience specific to the position
  • Social and communicative competences
  • Teaching experience and didactic competence

 

Applications with the customary documents are to be submitted online until 12 June 2019 by pressing the button „Apply for this position“ at the bottom of the announcement indicating reference code 375/19 on jobs.aau.at.

 

 

More cyber security for intelligent cameras

To simplify our daily routines, devices designed for the “Internet of Things (IoT)” are usually equipped with cameras that can record images and videos, and transmit these to other devices. Subhan Ullah’s research focuses on increasing the security of these systems, which often have limited processing capacities. He has recently completed his doctoral thesis.

Read more →