Stellenangebote

Manchmal erhalte ich per E-Mail Hinweise auf freie Positionen an anderen Universitäten. Diese werden hier für einige Wochen gespeichert. Die Verantwortung für den Inhalt liegt beim jeweiligen Absender.
  1. Lucca (ITA)

    The Institute for Advanced Studies IMT Lucca - Italy (http://www.imtlucca.it/) announces 36 PhD scholarships providing about €13,600 EUR gross yearly plus accommodation and full board. Deadline for application is September 26, 2012.

    IMT Lucca (Italy) is an Institute for Advanced Studies and an International Graduate School that acts as a research university with the aim of forming human capital in disciplines characterized by their high potential for concrete application. IMT strives to reach the fusion of theoretical comprehension and practical relevance.

    PhD programs are taught exclusively in English. The PhD Program includes a Track in Computer, Decision and Systems Science with a specific Curriculum in Computer Science. The track is coordinated by Rocco De Nicola and aims at preparing researchers and professionals with a wide knowledge of the theoretical foundations of computer science and informatics, control systems and optimization, image analysis, and management science.

    The curriculum in Computer Science focuses on languages, models, algorithms, and verification methods for modern distributed systems. PhD students following the curriculum in Computer Science will perform their activities in collaboration with the SysMA research unit (http://sysma.lab.imtlucca.it/) on system modelling and analysis. This research unit focuses on formal languages, models, methodologies and tools to support the development of correct software systems with high quality in terms of predictability, security, efficiency, usability, re-usability, maintainability, and modularity.

    http://www.imtlucca.it/phd/call_for_applications/

    (26.07.2012)

  2. Kiel

    Am Institut fuer Informatik der Christian-Albrechts-Universitaet zu Kiel ist zum 1. Oktober 2012 die Stelle einer/eines

    wissenschaftlichen Mitarbeiterin/Mitarbeiters mit Zielrichtung Promotion

    fuer die Dauer von zunaechst zwei Jahren (mit Verlaengerungsmoeglichkeit um weitere zwei Jahre) zu besetzen. Die Verguetung erfolgt nach Entgeltgruppe 13 TV-L; die regelmaessige woechentliche Arbeitszeit betraegt die einer/eines Vollbeschaeftigten (z.Zt. 38,7 Stunden).

    Einstellungsvoraussetzungen:
    Vorausgesetzt wird ein guter Abschluss (Diplom oder Master) eines wissenschaftlichen Hochschulstudiums (Universitaet oder TH) der Informatik oder einem benachbarten Fach oder ein vergleichbarer Abschluss. Kenntnisse im Bereich deklarativer Programmiersprachen sind erforderlich.

    Aufgabengebiet:
    Zum Aufgabenbereich gehoeren neben der Mitarbeit in der Lehre (4 Lehrveranstaltungsstunden) vor allem die Forschung auf dem Gebiet der deklarativen Programmiersprachen.

    Moegliche Schwerpunkte sind:
    - Integration programmiersprachlicher Konzepte (z.B. funktionale, logische, objektorientierte, nebenlaeufige Konzepte)
    - Implementierung deklarativer Programmiersprachen
    - Analyse und partielle Verifikation von Programmen
    - Programmierumgebungen und Anwendung deklarativer Programmiersprachen

    Bewerbungen mit den ueblichen Unterlagen sind bis zum 5. August 2012 zu richten an:

    Prof. Dr. Michael Hanus
    Institut fuer Informatik
    Christian-Albrechts-Universitaet zu Kiel
    Christian-Albrechts-Platz 4
    24118 Kiel
    WWW: www.informatik.uni-kiel.de/~mh/

    (12.07.2012)

  3. Brighton (UK)

    We have a 1 year position for a Research Fellow to work on a UK EPSRC funded project on Automatic Diagram Generation. The post is at the University of Brighton, UK, and the Principal Investigator for the project is Dr Andrew Fish. The project offers an excellent opportunity for interaction with international research groups of prominent academics as well as with industrial partners.

    A PhD in Computer Science or Mathematics is essential, whilst research experience in one or more of the following areas is highly desirable: Graph Drawing; Information Visualisation; Spatial Representation and Reasoning; Topology/Knot Theory or Visual Languages/Interfaces.

    The job advert can be found here: http://www.jobs.ac.uk/job/AEJ927/research-fellow-in-automatic-diagram-generation/ .

    Closing date: 7 June 2012.

    (16.05.2012)

  4. Marburg/Oldenburg

    2 PhD positions are available in the research project "Meta-modeling and graph grammars: Integration of two paradigms to define visual modeling languages":

    Visual modeling languages play an important role for the understanding and construction of systems. This is true for hard- and software systems in computer science as well as other systems such as production systems. In model-driven software engineering, models are even treated as the central artifacts of software development. According to the goal of modeling, different modeling languages are needed, general and domain-specific ones as well as visual and textual ones.

    In this project, we focus on two complementary approaches to define visual modeling languages: meta modeling and graph grammars. While meta-modeling represents a declarative language design, graph grammars define languages in a constructive way. To use the advantages of both paradigms, we aim to integrate them in a suitable way. Meta-models should be translated into equivalent model grammars, enabling a well-founded automated generation of instance models. As formal basis of this work we use the theory of algebraic graph transformation. This meta-model translation shall be used for the development of user-friendly model editors as well as for the systematic testing of model transformations. The newly developed techniques shall be implemented based on the Eclipse Modeling Project and evaluated at two reference applications.

    We are looking for highly motivated persons with
    1. excellent knowledge in model-driven software development, more specifically UML/OCL, EMF, and model transformation as well as knowledge on the formal foundation of graph transformation
    2. excellent knowledge on the formal foundation of graph transformation and knowledge in model-driven software development
    Both PhD positions are fully funded by the German Research Council (DFG). The duration of the contract is for 2 years and can be prolonged by another year.

    Deadline: April 30, 2012
    For more information see:
    Position in Marburg:
    http://www.uni-marburg.de/personal/informationen_personalabteilung/fuer-bewerber/stellen/oeffentlich/oeffwisstellen
    Position in Oldenburg:
    http://formale-sprachen.informatik.uni-oldenburg.de/projects/mmgg

    (16.04.2012)

  5. Kiel

    Am Institut fuer Informatik der Christian-Albrechts-Universitaet zu Kiel ist zum 1. April 2012 die Stelle einer/eines

    wissenschaftlichen Mitarbeiterin/Mitarbeiters mit Zielrichtung Promotion

    fuer die Dauer von zunaechst zwei Jahren (mit Verlaengerungsmoeglichkeit um weitere zwei Jahre) zu besetzen. Die Verguetung erfolgt nach Entgeltgruppe 13 TV-L; die regelmaessige woechentliche Arbeitszeit betraegt die einer/eines Vollbeschaeftigten (z.Zt. 38,7 Stunden).

    Einstellungsvoraussetzungen:
    Vorausgesetzt wird ein guter Abschluss (Diplom oder Master) eines wissenschaftlichen Hochschulstudiums (Universitaet oder TH) der Informatik oder einem benachbarten Fach oder ein vergleichbarer Abschluss. Kenntnisse im Bereich deklarativer Programmiersprachen sind erforderlich.

    Aufgabengebiet:
    Zum Aufgabenbereich gehoeren neben der Mitarbeit in der Lehre (4 Lehrveranstaltungsstunden) vor allem die Forschung auf dem Gebiet der deklarativen Programmiersprachen.

    Moegliche Schwerpunkte sind:
    - Integration programmiersprachlicher Konzepte
    (z.B. funktionale, logische, objektorientierte, nebenlaeufige Konzepte)
    - Implementierung deklarativer Programmiersprachen
    - Analyse und partielle Verifikation von Programmen
    - Programmierumgebungen und Anwendung deklarativer Programmiersprachen

    Bewerbungen mit den ueblichen Unterlagen sind bis zum 17. Februar 2012 zu richten an:
    Prof. Dr. Michael Hanus
    Institut fuer Informatik
    Christian-Albrechts-Universitaet zu Kiel
    Christian-Albrechts-Platz 4
    24118 Kiel
    WWW: www.informatik.uni-kiel.de/~mh/

    (06.02.2012)

watermark seal