Ledige stillinger – Københavns Universitet

Datalogisk Institut, DIKU > Om DIKU > Ledige stillinger

Ledige stillinger

  • 10. juni 2018, kl. 23:59

    Postdoctoral Researcher in formal verification for formal compositional contracts

    Deon Digital and DIKU are looking for a postdoc in formal verification for formal compositional contracts in a domain-specific language specifying rules (obligations, permissions, prohibitions) without conflating them with specific execution strategies (as done in smart contracts). Application deadline 10 June 2018 23:59 GMT +2. » Læs mere

  • 1. juli 2018, kl. 23:59

    PhD fellow(s) in Algorithms

    DIKU is offering PhD scholarships in algorithms expected to commence 1 October 2018 or as soon as possible thereafter. The candidate must have a BSc or an MSc degree in Computer Science, Mathematics or a related field and good English skills and a demonstrated talent within algorithms (the type of algorithms that get published at SODA, STOC, and FOCS). Application deadline 1 July 2018 23:59 GMT +2. » Læs mere

  • 2. juli 2018, kl. 23:59

    PhD fellow in Big Data Systems

    DIKU is offering a PhD scholarship in Big Data Systems commencing 1 October 2018 or as soon as possible thereafter. The PhD project is to research new technologies for big data systems to address the challenges of large data volumes, high data velocity, and wide data variety. The system should employ parallel and distributed computing, modern hardware and architectures (such as GPUs, NUMA, and RDMA, etc.), large main-memory, as well as flexible data models (such as RDF, graph, key-value etc.). Application deadline is 2 July 2018, 23:59 GMT +2. » Læs mere