[TYPES/announce] Uni Tromsø, Norway: PhD in formal methods for scalable data-driven cloud applications

[Einar Broch Johnsen]

*** PhD in formal methods for scalable data-driven cloud applications ***

The PhD candidate will investigate methods for scaling existing data-driven workflows on the cloud, exploring container-based technologies as well as formal methods for model-based predictions of resource requirements, but also investigate strategies and make recommendations for the use of new technology stacks, which can further improve the scalability and deployment process of algorithms developed in CIRFA. CIRFA is a center for research-driven innovation on Earth Observations at the University of Tromsø, Norway. 

This project will investigate how cloud deployments of CIRFA pilot services in maritime and Arctic applications can be optimized, given constraints determined by the type of application, end-user needs and developer requirements. The work will be done in collaboration with the Formal Methods group at the University of Oslo, as well as in close collaboration with CIRFA partners. The project combines practical work on concrete Earth Obaservation applications with theoretical work on developing formal techniques to predict deployments of data-intensive workflows on the cloud.

The formal announcement is here: 
https://www.jobbnorge.no/en/available-jobs/job/152063/phd-candidate-in-scalable-computing-and-deployment-for-earth-observation-applications

Application deadline August 15 2018

For more information, contact

Einar Broch Johnsen (http://einarj.at.ifi.uio.no/)
Anders Andersen (http://www.cs.uit.no/~aa/)
Thomas Kramer (https://uit.no/om/enhet/ansatte/person?p_document_id=138601&p_dimension_id=88136)