Beitrags-Archiv für die Kategory 'Forschung'

Job offer @ Pervasive Computing!

Montag, 10. September 2018 9:43

Alpen-Adria-Universität Klagenfurt announces the following job vacancy

University Assistant (f/m)

at the Faculty for Technical Sciences, Institute of Networked and Embedded Systems. The expected starting date for this 4-year contract (30 hours/week) is November 5, 2018. The legally binding job announcement can be found at https://www.aau.at/blog/universitaetsassistentin-universitaetsassistent-am-institut-fuer-vernetzte-und-eingebettete-systeme-abteilung-pervasive-computing-kennung-572h18/.

The Institute of Networked and Embedded Systems is a leading partner of the university’s key research strength “networked and autonomous systems” with a strong emphasis on communications and networking, wireless sensor and camera networks as well as autonomous robot and drone systems. Various projects are conducted in collaboration with industrial and research partners.

To strengthen our team further, we are searching for a pre-doc researcher who will perform the following tasks:

  • Research on innovative solutions for networked embedded systems
  • Perform independent scientific research with the goal to complete the PhD (Dr. techn.)
  • Hold tutorial courses for the study program information and communications engineering at the bachelor level (in German) and/or at the master level (in English)
  • Mentor students
  • Participate in administrative and organizational tasks of the institute
  • Collaborate in public relation activities of the institute and the faculty

Required qualifications:

  • Master degree in electrical engineering, information and communications engineering, informatics, or applied mathematics graded with “good” or better
  • Profound knowledge and experience in at least two of the following fields: camera and sensor networks, robot and drone systems, algorithms, multi-agent systems, digital systems, communication protocols and computer architectures
  • Programming skills in C/C++, Matlab, VHDL, Python or Java
  • Technical and didactic competence for teaching fundamentals of digital circuits
  • Fluent in written and spoken English

Desired qualifications:

  • Fluent in written and spoken German
  • Social and communicative competences and ability to work in a team
  • First relevant scientific publications (beyond the master thesis)
  • Relevant international experience
  • Commitment to high-quality teaching and research

The monthly minimum salary for this position as stated in the collective agreement and according to the classification scheme is €2.096,- (pre-tax, 14 x per year), but may be higher due to previous employment periods eligible for inclusion and other earnings and remunerations.

Alpen-Adria-Universität Klagenfurt is a young and vibrant campus university hosting 10,000 students. It is located in the southern part of Austria, a region with outstanding quality of life at the intersection of Alpine and Mediterranean culture. The institute’s offices and laboratories are located in the well-equipped Lakeside Science & Technology Park. Our team is very international with English being the working language.

The university strives at raising the number of female scientific staff members and therefore specifically invites women to apply. In case of equal qualifications, women will receive priority consideration.

People with disabilities or chronic diseases, who fulfill the requirements, are particularly encouraged to apply.

All relevant documents for the application (including copies of all school certificates and performance records) must be submitted via the online application form www.aau.at/obf of Alpen-Adria-Universität Klagenfurt no later than October 17, 2018, indicating reference code 572H/18.

General information for applicants is available on www.aau.at/jobs/information. Additional information on the Institute of Networked and Embedded Systems is available on https://nes.aau.at or by contacting Professor Bernhard Rinner (+43 463 2700 3670). Travel and accommodation costs incurred during the application procedure cannot be reimbursed.

Share

Thema: Forschung, Institut, Jobs, NES | Kommentare (0) | Autor:

Universitätsassistentin/Universitätsassistent @ Pervasive Computing/NES

Donnerstag, 3. Mai 2018 10:05

Die Alpen-Adria-Universität Klagenfurt
schreibt gem. § 107 Abs. 1 Universitätsgesetz 2002 folgende Stelle zur Besetzung aus:

Universitätsassistentin / Universitätsassistent

an der Fakultät für Technische Wissenschaften, Institut für Vernetzte und Eingebettete Systeme, Abteilung Pervasive Computing, im Beschäftigungsausmaß von 75 % (Basis KV: B1). Das monatliche Mindestentgelt für diese Verwendung beträgt € 2.096,- brutto bei 75 % (14 x jährlich) und kann sich auf Basis der kollektivvertraglichen Vorschriften durch die Anrechnung tätigkeitsspezifischer Vorerfahrungen erhöhen. Voraussichtlicher Beginn des auf vier Jahre befristeten Anstellungsverhältnisses ist der 2. Juli 2018.

Aufgabengebiet:

  • Forschung im Bereich neuartiger Lösungen für vernetzte und eingebettete Systeme
  • Selbstständiges wissenschaftliches Arbeiten mit dem Ziel der Erstellung einer Dissertation
  • Abhaltung von deutschsprachigen Bachelor und/oder englischsprachigen Master-Lehrveranstaltungen in der Informationstechnik
  • Mitarbeit an administrativen und organisatorischen Aufgaben des Instituts (z. B. Website, Forschungsdatenbank, Organisation von Workshops)
  • Betreuung von Studierenden
  • Mitwirkung in der Öffentlichkeitsarbeit des Instituts bzw. der Fakultät

 

Voraussetzungen:

  • Abschluss eines Master- oder Diplomstudiums an einer in- oder ausländischenUniversität in Elektrotechnik und Informationstechnik, Informatik oder angewandter Mathematik mit gutem Erfolg
  • Fundierte Kenntnisse in zwei oder mehreren der folgenden Bereiche: Kamera- und Sensornetze, Robotik- und Drohnensysteme, Algorithmen, maschinelles Lernen, Multi-Agentensysteme, digitale Systeme, Kommunikationsprotokolle, Rechnerarchitekturen
  • Ausgewiesene Programmierfertigkeiten in C/C++, Matlab, VHDL, Python oder Java
  • Fachliche und didaktische Eignung zur Lehre zu den Grundlagen digitaler Systeme

Nachweise für die Erfüllung dieser Voraussetzungen müssen bis spätestens 1. Juli 2018 vorliegen.

Details zur Ausschreibung finden Sie auf den Webseiten des Instituts und hier!

 

 

Share

Thema: Forschung, Institut, Jobs, NES | Kommentare (0) | Autor:

Wanted Participants for Study!

Montag, 23. Mai 2016 13:04

Wanted

Driver State Estimation Study

 

 

Share

Thema: Forschung, Institut, IST | Kommentare (0) | Autor:

Der nächste große Schritt für die Künstliche Intelligenz

Donnerstag, 21. April 2016 9:20

Heuristik für Industrie 4.0

artikel_siemens_geleise

 

Mit dem Projekt „Heuristic Intelligence“ – HINT werden buchstäblich neue Weichen gestellt. Mit der von der FFG geförderten Forschungskooperation der Angewandten Informatik unter Projektleiter Univ.-Prof. Gerhard Friedrich, des Instituts für Psychologie, der TU-Wien/Oxford, Siemens und Infineon werden neue Maßstäbe für die Industrie 4.0 gelegt.

Ausführliche Informationen über das Projekt finden Sie unter: HINT – Heuristik für Industrie 4.0

 

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Gastvortrag: Dr. Carmine Dodaro (University of Calabria)

Dienstag, 12. April 2016 12:54

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „Efficient Solving Techniques for Answer Set Programming“

Zeit:           Dienstag, 19. April 2016, 14:00-16:00 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1

 

Abstract:

Answer Set Programming (ASP) is a well-established declarative programming paradigm. The high expressivity of ASP, combined with the growing number of industrial applications, made the implementation of efficient ASP solvers a challenging and crucial research topic. Efficient ASP solvers are required to address several reasoning tasks that go beyond the mere computation of answer sets. Among them are cautious reasoning, for modeling query entailment, and optimum answer set computation, for supporting numerical optimization. This talk reports on the techniques employed by the most efficient ASP solvers, and details the algorithms and the design choices for addressing several reasoning tasks in ASP.

CV: see http://www.cdodaro.eu

Die Folien zum Gastvortrag finden Sie hier: slides

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Vortrag: Radu Mateescu, INRIA, Grenoble

Mittwoch, 2. März 2016 12:01

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „On-the-Fly Verification for Extended Action-Based Temporal Logics“

Zeit:           Donnerstag, 3. März 2016, 11:00-12:30 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1

 

Abstract:

For analyzing the dynamic behaviour of concurrent value-passing systems, classical temporal logics must be extended with data-handling primitives. Since the early days of formal verification, many such extensions were proposed, both in the linear/branching time and the state/action based settings. We present here MCL (Model Checking Language), an extension of the alternation-free modal mu-calculus with data-handling features, generalized regular expressions over transition sequences, and fairness operators. MCL was designed to allow a versatile and succinct formulation of temporal properties interpreted on labeled transition systems (LTSs) containing data values. We illustrate the usage of MCL by means of classical examples of properties (safety, liveness, fairness). We also describe the implementation of MCL provided by the EVALUATOR 4.0 model checker of the CADP verification toolbox, which evaluates an MCL formula on-the-fly on an LTS and also produces full diagnostics (witnesses and counterexamples), i.e., subgraphs of the LTS illustrating the truth value of the formula. We discuss the expressiveness and evaluation complexity of MCL, and we outline directions of ongoing work.

CV: see http://convecs.inria.fr/people/Radu.Mateescu/

 

Share

Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

IEEE Student Paper Contest

Mittwoch, 25. November 2015 12:50

Dear students,

The IEEE Student Branch is organizing a student paper contest.
Deadline is December 10 (hard). To participate, please send your paper (maximum 6 pages, two-column style) to ieee_sb@aau.at

The contest is open to all students of this university, not only technical students. However, the paper topics need to be related to a technical content.

The best paper will be nominated for the IEEE Region 8 Student Paper Contest.

IEEE Region 8 Student Paper Contest is for IEEE R8 student members or graduate student members who have not yet started their PhD. Professors-mentors and other associates can not be SPC authors (but their names could be acknowledged in the FINAL versions of the papers). Each student author must be a member of an IEEE Student Branch at the time of the original submission of the paper to the Branch Contest, and a member (student or not) of the IEEE at the time of the R8 Oral Finals presentation. The work presented has to be completed before the student receives the engineering degree that entitles her/him to start preparing a doctoral thesis. The submission of the paper to the Region 8 SPC must be completed within 12 months after graduation. A doctoral thesis is not considered. Published work is excluded from the Contest.

Best wishes,

Share

Thema: Forschung, Institut, Preis/Auszeichnung, Preisausschreiben, Studierendenpublikation, Uncategorized | Kommentare (0) | Autor:

Klagenfurt meets Robots: EU Robotics Week at AAU Klagenfurt

Dienstag, 10. November 2015 18:58

The IEEE Student Branch organizes from 23 to 27 November, a networking event for all those who deal with robotics or look forward to do so.

Numerous research projects at the Alpen-Adria University, the Lakeside Science & Technology Park, in the Lakeside Labs GmbH and in the laboratories of Joanneum Research are dealing with robotics. IEEE Student Branch is now organizing a multi-day event, where different Robotics groups present their research and invite the audience to explore the fascinating development going on in their research labs. Part of the program also provides the computer science workshop at the Institute for Informatics Didactics, which is aimed at school pupils.

The workshop concludes on 27 November with a robotics competition: participants in 14 teams will build their own Lego robots and program them to solve the given task in the most efficient manner. The participants will be divided into the Junior League (under 18 years) and Senior League (over 18 years. The winners of the Junior League will eventually compete against the winners of the Senior League. The award ceremony will take place from 16:00 clock on Friday 27 of November.

If you would like to participate with your team in the Robotics Competition, please register here: http://goo.gl/forms/7FFqvuwKfN

The maximum number of teams that can participate is 14 due to technical limitations. The registration is therefore on a first come, first served basis and all teams will be informed about further details via e-mail.

Please note that only the LEGO kits will be provided and each team should bring at least one laptop on their own!

Details of the program will follow shortly.

23.11.2015
24.11.2015
25.11.2015
26.11.2015
27.11.2015
09:00-14:00
Robotics Competition: Assembling Lego Robots and problem solving for task completion
(Lakeside Park B01)
14:00-15:00
Informatik-Werkstatt for  School Kids by Institute for Informatics Didactics  (E.2.69)
15:00-16:00
 
16:00-17:00
Award and closing ceremony with snacks and drinks
(Lakeside Park B01)
18:00:18:30
Robotics @ Joanneum: Presentation
(B04, Lakeside Labs seminar Room)
Robotics @ Pervasive computing: Presentation(B04, Lakeside Labs seminar Room)
Robotics @ Control of Networked Systems: Presentation
(B04, Lakeside Labs seminar Room)
Robotics @ Mobile Systems: Presentation
(B04, Lakeside Labs seminar Room)
18:30-19:30
Robotics @ Joanneum: Open Lab
(Joanneum Research B08)
Robotics @ Pervasive Computing: Open Lab
(NES B02)
TED talks and discussion about Control of Networked Systems
(B04, Lakeside Labs seminar Room)
Robotics @ Mobile Systems: Open Lab
(NES B02)

Share

Thema: Forschung, Institut, Lakeside Labs, Uncategorized, Veranstaltung | Kommentare (0) | Autor:

Pervasive Computing is hiring!

Donnerstag, 29. Oktober 2015 15:20

We are looking for a

Research Staff member (PhD student)

for participation in a national research project on Mobile and Cooperative Camera Networks. Candidates should have a strong interest in one or more of the following topics:

  • Sensor networks and Internet of things
  • Smart cameras and embedded systems development
  • Computer vision and image processing

The compensation for this position complies with Uni-KV B1 (part time contract of 30h/week with a minimum annual gross income of € 28,000). The employment contract may be expanded to 40h/week (full time) depending on the availability of funding and the candidate’s performance. A formal requirement for this position is the successful completion of a master program in information technology, computer science, electrical engineering or a related field of studies.

Alpen-Adria-Universität Klagenfurt aims to increase the number of female employees and therefore specifically invites qualified women to apply. Your application should include a letter of interest, curriculum vitae, academic certificates and courses, list of publications and contact details of two references. Please submit your application as a single PDF file to pervasive@aau.at.

The application deadline is November 30, 2015. Please check the pdf-file for details: Call For Applications _Pervasive Computing_ Oct2015

Share

Thema: Forschung, Institut, Jobs, NES | Kommentare (0) | Autor:

Stellenausschreibung Universitätsassistentin/Universitätsassistent @ Pervasive Computing

Mittwoch, 19. August 2015 15:39

Die Alpen-Adria-Universität Klagenfurt
schreibt gem. § 107 Abs. 1 Universitätsgesetz 2002 folgende Stelle zur Besetzung aus:

Universitätsassistentin / Universitätsassistent

Wir suchen DICH!

an der Fakultät für Technische Wissenschaften, Institut für Vernetzte und Eingebettete Systeme, Forschungsgruppe Pervasive Computing, im Beschäftigungsausmaß von 100 % (Uni-KV: B1). Das monatliche Mindestentgelt für diese Verwendung beträgt € 2.662,90 brutto (14 x jährlich) und kann sich auf Basis der kollektivvertraglichen Vorschriften durch die Anrechnung tätigkeitsspezifischer Vorerfahrungen erhöhen. Beginn des auf vier Jahre befristeten Dienstverhältnisses ist zum 01.11.2015 möglich.

Details zur Stellenausschreibung: Universitaetassistentin_Universitaetsassistent Alpen-Adria Universitaet Klagenfurt_Pervasive Computing

Share

Thema: Forschung, Institut, Jobs, NES | Kommentare (0) | Autor: