Stellenangebote

Sometimes, I receive e-mails offering positions at other universities. They are stored here for some weeks. The sender of the e-mail is responsible for the contents.
  1. Halle-Wittenberg

    An der Martin-Luther-Universität Halle-Wittenberg, Naturwissenschaftlich Fakultät III, Institut für Informatik, ist ab dem 01.02.2020 die unbefristete Stelle einer*eines
    Wissenschaftlichen Mitarbeiterin*s (m-w-d) in Vollzeit (100 %) zu besetzen.
    Die Vergütung erfolgt je nach Aufgabenübertragung und Erfüllung der persönlichen Voraussetzungen bis zur Entgeltgruppe E13 TV-L

    Arbeitsaufgaben:
    Forschungstätigkeit auf dem Gebiet der Arbeitsgruppe Softwaretechnik und Programmiersprachen, Mitwirkung bei der Anbahnung, Beantragung, Durchführung und Verwaltung von Drittmittelprojekten in den genannten Bereichen, Beteiligung an der Lehre in den Studiengängen Bachelor und Master Informatik und Bioinformatik, insbes. im Bereich Softwaretechnik und Programmiersprachen sowie Einstiegsvorlesungen des ersten Semesters, Bei Bedarf Übernahme von ASQ-Modulen des Instituts für Informatik, Betreuung von Abschlussarbeiten, Beteiligung an der Planung und Durchführung von an Studienanfänger/innen gerichtet Brückenkurse, Beteiligung an der Planung und Durchführung von an Schüler/innen gerichtete Sommerschulen, Beteiligung an der Planung und Durchführung von IT-Industrietagen , Beteiligung an der Akademischen Selbstverwaltung

    Voraussetzungen:
    Qualifizierter Hochschulabschluss in Informatik möglichst auf dem Gebieten Übersetzerbau und Programmiersprachen, Überdurchschnittliche Promotion im Fach Informatik, Nachgewiesene Forschung im Bereich Programmiersprachen, Gute Kenntnisse im Bereich Softwaretechnik erwünscht, Lehrerfahrung in diesen Bereichen, insb. In der Betreuung von Abschlussarbeiten, Gute bisherige Publikationsleistung, Absicht zur eigenen wissenschaftlichen weiteren Qualifikation (Habilitation), Erfahrung und Interesse an interdisziplinärer Zusammenarbeit, Teamfähigkeit, Eigeninitiative, hohe Einsatzbereitschaft, Bereitschaft, Aufgaben der universitären Selbstverwaltung zu übernehmen, Sehr gute englische und deutsche Sprachkenntnisse in Wort und Schrift

    Bewerbungen von Schwerbehinderten werden bei gleicher Eignung und Befähigung bevorzugt berücksichtigt. Frauen werden nachdrücklich aufgefordert, sich zu bewerben.

    Bei Rückfragen wenden Sie sich bitte an Herrn Prof. Dr. Wolf Zimmermann Tel.: 0345 55-24712 E-Mail: wolf.zimmermann@informatik.uni-halle.de

    Ihre Bewerbung richten Sie bitte unter Angabe der Reg.-Nr. 5-13053/19-H mit den üblichen Unterlagen bis zum 12.12.2019 an die Martin-Luther-Universität Halle-Wittenberg, Naturwissenschaftliche Fakultät III, Institut für Informatik, Von-Seckendorff-Platz 1, 06120 Halle (Saale).

    Die Ausschreibung erfolgt unter Vorbehalt eventueller haushaltsrechtlicher Restriktionen.

    (03.12.19)

  2. Amsterdam (NL)

    The Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) is looking for a researcher (PhD candidate or PostDoc) in the area of domain-specific programming languages for the specification and design of adaptive cyber-physical systems that are robust against both component failures and cyber-attacks. The successful candidate will perform reseaerch within the EU-funded Horizon-2020 project ADMORPH, which brings together a consortium of 4 academic and 4 industrial partners from across Europe, coordinated by the University of Amsterdam.

    The PCS group performs research on the design, programming and run-time management of multi-core and multi-processor computer systems. The modeling, analysis and optimization of the extra-functional aspects of these systems, such as performance, power/energy consumption but also the degree of productivity to design and program these systems, play a pivotal role in our work.

    The position can be filled by either a PhD candidate or a postdoctoral researcher; tasks will be adjusted accordingly. All details as well as instructions for application can be found at our official vacancies site:
    https://www.uva.nl/en/content/vacancies/2019/10/19-725-researcher-in-specification-and-programming-of-adaptive-cyber-physical-systems.html

    For informal inquiries, please contact: Dr Clemens Grelck: c.grelck at uva.nl.

    (14.11.19)

  3. Leicester (UK)

    Lecturer in Informatics / Computer Science (2 Posts)
    University of Leicester
    College of Science and Engineering
    School of Informatics
    Salary Grade 8 - £40,322 to £49,553 per annum
    Closing date: 14 November 2019

    We will consider all candidates whose research focuses on one or more of the following areas:
    - Cyber-physical systems
    - Human Computer Interaction
    - Machine Learning and AI
    - Optimisation algorithms and Operations Research
    - Software Engineering for Autonomous Systems
    - Data Science

    In this role you will conduct high-level research teaching whilst generating funding through grants, consultancy and knowledge transfer activities. You will give lectures, seminars and tutorials, especially in areas across the School's undergraduate and postgraduate curriculum. Your research will result in significant contributions to papers in leading international conferences and journals, whilst helping to build your relationships with external partners to support knowledge transfer and impact outside academia.

    The main emphasis for selection will be on research excellence, but the role also includes the development and delivery of excellent and innovative teaching in the respective areas as well as contributions to the administration and management of the School. You will work in a very supportive environment with research and teaching mentoring. At the heart of the UK, the University of Leicester is a research-intensive university. Different areas of activity are balanced by a departmental workload model to ensure fair and transparent balance between staff and different areas of activity.

    There are two full time, open ended positions available.

    In addition to being engaged in innovative learning and teaching that engages and inspires students, you will already have an established reputation for research, with a strong record of publications (appropriate to your level of experience) in peer reviewed journals and conferences of substantial international standing. You will have excellent networking skills which you use to seek out opportunities for collaboration and citizenship, both internally and externally. You will also be able to demonstrate the ability to generate external funding through research grants, contracts or other sources. Finally, you will have a track record of engaging with a range of communities related to your research and teaching interests, including external organisations and companies.

    For informal enquiries, please contact Lu Liu, Head of School of Informatics on +44 (0)116 252 3813 or l.liu@leicester.ac.uk

    To apply for this position, please see: https://jobs.le.ac.uk/vacancies/1501/lecturer-in-informatics.html

    We anticipate that interviews will take place in late November or early December 2019.

    (30.10.19)

  4. Stirling (UK)

    A fully funded PhD studentship on Trustable dapps on reliable blockchain technologies is available at the Computing Science and Mathematics division of the University of Stirling, UK, in collaboration with Wallet.Services (www.wallet.services).

    The goal of this project is the design of a suitable framework to support the development of reliable and trustable blockchain-based decentralised applications. This project benefits from the participation of WalletServices (www.wallet.services), a well-established startup in the global fintech sector. WalletServices will provide use cases of interest and their industrial know-how to the project. The scientific project will take in consideration the latest developments in the technology, including, for instance, off-chain and multi-chain frameworks, tokenomics, proof of stake, blockchain programming and verification aspects. Specific interests and expertise of the student will also be taken into due consideration, as appropriate.

    This project will be carried out under the joint supervision of Dr. Andrea Bracciali and WalletServices, within an international academic network with expertise in verification, game theory, cryptography, programming languages, modelling and finance, and will enjoy the support of a growing multidisciplinary group of researchers and students interested in blockchain technologies.

    This project will also benefit from the thriving fintech Scottish sector, which has a strong interest in blockchain technologies, and could particularly contribute to the, academic or industrial, career development of the student.

    Students with a background in, or across, computer science, economics, mathematics (non-exclusive list!), and interested in a scientific approach to breakthrough technologies are encouraged to apply. Exposure to formal verification, programming languages, game theory and/or understanding of crypto-economics, and/or competence in software development are a plus.

    The studentship will cover tuition fees, and a standard stipend at RCUK rates (from about 14/15k GBP per annum), for three years for Home/EU students.

    Interested candidates are invited to contact
    Dr. Andrea Bracciali
    abb at cs.stir.ac.uk (+44 (0)1786 467446)
    should they wish to apply for the position, or further discuss the project and any detail of the fellowship, PhD studies and university life at Stirling University and in Scotland in general. We would like to fill the position shortly, but the start date can be negotiated. We are planning to start interviewing applicants no later than October 11th and until the position will be filled.

    (12.09.19)

  5. Halle-Wittenberg

    An der Martin-Luther-Universität Halle-Wittenberg, Naturwissenschaftliche Fakultät III, Institut für Informatik, ist zum nächstmöglichen Zeitpunkt die für 3 Jahre befristete Stelle einer/eines Wissenschaftlichen Mitarbeiterin/Mitarbeiters (m-w-d) zu besetzen. Vollzeitbeschäftigung: 100% Die Vergütung erfolgt je nach Aufgabenübertragung und Erfüllung der persönlichen Voraussetzungen bis zur Entgeltgruppe E 13 TV-L.

    Voraussetzungen:
    - Abgeschlossenes Hochschulstudium auf einem der Gebiete Informatik, Bioinformatik oder Wirtschaftsinformatik, Promotion erwünscht.
    - Gute Kenntnisse in einigen der Gebiete Softwaretechnik, Programmiersprachen, Übersetzerbau, Programmanalysen, Verifikation.
    - Bereitschaft zur akademischen Qualifikation.
    - Beherrschung der englischen Sprache

    Arbeitsaufgaben:
    - Leitung und Betreuung von Übungen, Seminaren und Praktika im Bereich der Praktischen Informatik.
    - Mitarbeit an den Forschungsthemen der Professur insbesondere im Bereich Programmanalysen, Komponententechnologie und Übersetzerbau.

    Schwerbehinderte Bewerberinnen und Bewerber werden bei gleicher Eignung und Befähigung bevorzugt berücksichtigt. Frauen werden nachdrücklich aufgefordert, sich zu bewerben.

    Bei Rückfragen wenden Sie sich bitte an Herrn Prof. Dr. Wolf Zimmermann, Tel.: 0345 55-24712, Fax: 0345 55-27333,
    E-Mail: wolf.zimmermann@informatik.uni-halle.de

    Ihre Bewerbung richten Sie bitte unter Angabe der Reg.-Nr. 5-7000/19-H mit den üblichen Unterlagen bis zum 12.07.2019 an die Martin-Luther-Universität Halle-Wittenberg, Naturwissenschaftliche FakultÀt III, Institut für Informatik, Herrn Prof. Dr. Wolf Zimmermann, Von-Seckendorff-Platz 1, 06120 Halle (Saale).

    Die Ausschreibung erfolgt unter Vorbehalt eventueller haushaltsrechtlicher Restriktionen. Bewerbungskosten werden von der Martin-Luther-Universität nicht erstattet. Bewerbungsunterlagen werden nur zurückgesandt, wenn ein ausreichend frankierter Rückumschlag beigefügt wurde. Eine elektronische Bewerbung ist möglich.

    (04.07.19)

  6. Freiburg

    The programming languages group at University of Freiburg, Germany, has openings for researchers to work with Prof Peter Thiemann on DFG-funded projects. One project deals with inferrable resource typing, where the goal is a system that combines Rust-style borrowing and typestate with type inference. Session typing is a special instance of the system. The other project develops new approaches to infer and verify TypeScript signatures from JavaScript sources. Both projects involve a combination of theory (formal models, mechanized metatheory, and logics) and practical work (implementation and validation by case studies), but the emphasis can be negotiated.

    The salary is according to the TV-L E13 scale of the German public service.

    The university of Freiburg aims at increasing the number of female employees and thus especially welcomes applications of female candidates.

    Applications of disabled candidates will be given priority, depending on their suitability.

    Applications in PDF format or informal enquiries by email to thiemann@informatik.uni-freiburg.de are welcome. The application deadline is June 30, but applications will be considered until the position is filled. The starting date is negotiable, but preferably no later than October 1, 2019.

    Check out our research webpage
    http://proglang.informatik.uni-freiburg.de/research/
    or the DBLP publication profile
    http://dblp.dagstuhl.de/pers/hd/t/Thiemann:Peter
    for more information.

    (07.06.19)

watermark seal