The Database Group at University of Bremen announces:
- one position at the level of Postdoc - one position at the level of PhD student
Both positions are initally for the duration of 3 years, and can be extended by two more years. The positions include a teaching load of 4h per week during teaching periods. For further questions and applications please contact:
maneth@uni-bremen.de
More details on these positions can be found below (details for the PhD position are in German, but non German speakers may apply).
Best regards, Sebastian Maneth
--- (1) PostDoc Position:
At the University of Bremen in the department of mathematics and informatics there is a full PostDoc position - under the condition of job release – available, commencing at the earliest convenience, for a duration of initially three years. The position is at the level of
Wissenschaftliche/r Mitarbeiter/in Entgeltgruppe 13 TV-L
within the group "databases" headed by prof. Sebastian Maneth. The research topics of this group lie at the intersection of databases, formal methods, and automata theory. The position is funded by the university and includes a teaching load of 4 hours per week during teaching periods (teaching may be in English). The employment is fixed-term and governed by the Act of Academic Fixed-Term Contract, §2 I (Wissenschaftszeitvertragsgesetz – WissZeitVG). Therefore, candidates may only be considered for appointment if they still have the respective qualification periods available in accordance with § 2 (1) WissZeitVG. Besides teaching the main tasks of the position are to carry out research and to publish research results within the areas mentioned below. The position serves for further scientific qualification with the aim of habilitation.
Qualification: a PhD in computer science or mathematics and research experience in at least on of the following areas:
- formal methods and automata - databases - algorithms
We expect good programming skills and eagerness to carry out and/or coordinate programming tasks.
We specifically support the employment of women and encourage qualified female researchers to apply. Disabled applicants with equal qualification will be favoured for the positions. Applicants with a migration background are welcome. Please send your application (consisting of a cover letter stating the name of a referee who is willing to write a letter of recommendation, your CV, your motivation to work in this area, your master's thesis, copies of transcripts showing your courses and grades) until 7th December 2018 by indicating the job A294/18 to (applications sent after this date will also be considered):
Universitaet Bremen Fachbereich Mathematik/Informatik Prof. Dr. Sebastian Maneth Bibliothekstrasse 1 28359 Bremen GERMANY
or in electronic form (one PDF file) to maneth@uni-bremen.de
We kindly ask you to send us only copies of your application documents (no folders) because they will not be returned for economic reasons.
--- (2) PhD position
An der Universität Bremen ist im Fachbereich 3 (Mathematik und Informatik) zum nächstmöglichen Termin (vorbehaltlich der Stellenfreigabe) befristet auf drei Jahre eine ganze Stelle zu besetzen:
Wissenschaftliche/r Mitarbeiter/in Informatik - Entgeltgruppe 13 TV-L
Die Befristung erfolgt zur wissenschaftlichen Qualifikation nach § 2 Abs. 1 WissZeitVG (Wissenschaftszeitvertragsgesetz). Demnach können nur Bewerberinnen und Bewerber berücksichtigt werden, die noch in dem entsprechenden Umfang über Qualifizierungszeiten nach § 2 Abs. 1 WissZeitVG verfügen. Die Stelle ist der Arbeitsgruppe „Datenbanken“ (DB) von Prof. Sebastian Maneth zugeordnet, deren Forschungsgebiete unter anderem Datenkomprimierung, formale Methode und die Anwendung von Automatentheorie innerhalb der Datenbanken umfassen. Es handelt sich um eine aus Mitteln der Universität finanzierte Landesstelle, die mit einer Lehrverpflichtung von 4 SWS verbunden ist.
Die Stelle ist für Promovierende geeignet und kann für die eigene wissenschaftliche Qualifikation genutzt werden (Promotion). Die Stelleninhaberin/der Stelleninhaber soll die AG DB in Forschung und Lehre verstärken. In der Lehre wird Engagement bei der Durchführung von Tutorien zu Grundlehrveranstaltungen in Datenbanken erwartet. Bei vorhandener Qualifikation können auch eigene Lehrveranstaltungen angeboten werden. Voraussetzung ist ein abgeschlossenes Hochschulstudium (Master) der Informatik oder eine vergleichbare Qualifikation. Gute Grundkenntnisse in mindestens einem der folgenden für die AG derzeit relevanten Forschungsthemen sind erforderlich:
- formale Methoden (z.B. Transducer) für “data wrangling” - automatische Lernverfahren für Datensäuberungs- und “wrangling”-Prozesse - Transformationen und Abfragen auf heterogenen Daten - Schemasprachen für Graphdaten (z.B. RDF) - Algorithmen auf Grammatik-komprimierten Graphen.
Es werden gute Programmierkenntnisse in einer der Programmiersprachen Scala, C++ oder Java erwartet, so wie das Interesse und die Bereitschaft Programmieraufgaben innerhalb der obigen Forschungsthemen zu übernehmen und/oder zu koordinieren.
Die Universität Bremen fördert die Einstellung von Frauen. Es wird begrüßt, wenn sich der Anteil von Frauen erhöht. Aus diesem Grund fordern wir vor allem qualifizierte Wissenschaftlerinnen nachdrücklich auf, sich zu bewerben.
Schwerbehinderten Bewerberinnen/Bewerbern wird bei gleicher Eignung der Vorrang gegeben. Bewerbungen von Menschen mit einem Migrationshintergrund sind willkommen.
Weitere Nachfragen und Bewerbungen mit den üblichen Unterlagen richten Sie bitte unter Angabe der Kennziffer A237/18 bis zum 07.12.2018 an (Bewerbung die nach dem Datum eingehen werde auch berücksichtigt):
Universität Bremen Fachbereich Mathematik/Informatik Prof. Dr. Sebastian Maneth Bibliothekstraße 1 28359 Bremen oder in elektronischer Form (in einer pdf-Datei) an maneth@uni-bremen.de
Bewerbungen werden auch nach der Frist berücksichtigt, bis die Stelle besetzt ist. Wir bitten Sie, uns von Ihren Bewerbungsunterlagen nur Kopien (keine Mappen) einzureichen, da wir sie nicht zurücksenden können. Bewerbungs- und Vorstellungskosten werden nicht erstattet.
---
finite-model-theory@lists.rwth-aachen.de