1107 Jobs am Bodensee

PhD/Postdoc Position in Computer Science
Universität Konstanz
Konstanz

PhD/Postdoc Position in Computer Science(full-time, E 13 TV-L)Reference Number 2024/107. The start date is by agreement, ideally before the start of the Winter Semester. In principle, this position can be divided into two part-time positions. The University of Konstanz is one of eleven Universities of Excellence in Germany. Since 2007 it has been successful in the German Excellence Initiative and its follow-up programme, the Excellence Strategy.The newly established research group in Formal Methods for Software Engineering led by TT-Prof. Emanuele D’Osualdo (www.emanueledosualdo.com), is inviting applications for a PhD position or a Postdoctoral position in Formal Methods, Verification and Programming Languages. The PhD position is initially offered for 4 years; the Postdoc position is available for 2 years with possibility of extensions.The focus of the group is verification of concurrent systems (see https://doi.org/10.1145/3477082 and https://doi.org/10.1145/3571219), foundations of logics and types (see https://doi.org/10.1145/3563298 and https://doi.org/10.1145/3563318), and verification of probabilistic programs (see https://arxiv.org/abs/2402.18708). Outstanding people with only a partial match to these topics are encouraged to apply. As a member of our team, you will have the opportunity to contribute to state-of-the-art research and interact with high-profile international collaborators (e.g. from Uni. Toronto, Cornell, MPI-SWS, Imperial College London, Groningen). The working language is English.

Direkt in Deinen Posteingang

Sobald ein neuer Job eingestellt wird, schicken wir Dir eine Mail.

Es gelten die Nutzungsbedingungen.
Hinweise zum Datenschutz finden Sie hier.
Suchagenten-Benachrichtigung
GIS-Administrator oder Geomatiker (m/w/d)
Stadtverwaltung Singen
Singen

Die Stadt Singen sucht für die Abteilung Vermessung & Geoinformation, Sachgebiet GIS, zum nächstmöglichen Zeitpunkt einen GIS-Administrator oder Geomatiker (m/w/d) Ihre Aufgabenschwerpunkte: Geodatenmanagement (u. a. Beschaffung, Konvertierung, Aufbereitung von Geodaten, Qualitätssicherung) Administration des ämterübergreifenden Geoinformationssystems Administration des ALKIS-Verfahrens, des Wasserversorgungs- und des Kanalinformationssystems Auswertungen von Geodaten einschließlich der Erzeugung von thematischen Karten Mitwirkung bei der Weiterentwicklung der städtischen Geodateninfrastruktur und den damit verbundenen Konzepten und Prozessen zur Bearbeitung Unterstützung und Schulung der GIS-Anwender*innen Wir erwarten: ein abgeschlossenes Studium der Fachrichtung Geoinformatik, Vermessungswesen, Geografie oder eine abgeschlossene technische Ausbildung mit fundiertem Wissen im Bereich der IT-Administration fundierte Fachkompetenz in der Administration von Geoinformationssystemen und CAD Erfahrungen mit ArcGIS, 3A, WebOffice, FME, UT-Wasser, novaKANDIS, sind von Vorteil selbständiger und zielorientierter Umgang mit IT- Anwendungen Dienstleistungsorientierung, Lösungsorientierung, analytisches Denken, Verantwortungsbewusstsein, Selbständigkeit, Zuverlässigkeit, Teamfähigkeit, Flexibilität und Entwicklungsbereitschaft Wir bieten: eine Vergütung nach TVÖD zukunftsorientiertes Arbeitsumfeld mit moderner Arbeitsmittelausstattung abwechslungsreiche Projekte in einem motivierten Team im öffentlichen Dienst übliche Leistungen, wie z. B. Zusatzversorgung und leistungsorientierte Bezahlung diverse Möglichkeiten zur Vereinbarkeit von Beruf und Familiensituation Betriebliches Gesundheitsmanagement und Firmenfitness Hansefit VHB- und Stadtwerke-Job-Ticket Bikeleasing Für Fragen zum Aufgabengebiet steht Ihnen Herr Oliver Buck (Oliver.Buck@singen.de, Tel.: +49 7731 85-482) gerne zur Verfügung.

3 Filter aktiv