1-3 PhD Positions on Embedded Systems at Uppsala University

Uppsala University is pleased to invite applicants to apply for a PhD position in computer science. Eligible candidates should submit the applications before June 10, 2019.

Research environment: The positions are funded by the recent ERC Advanced Grant received by Prof Wang Yi from the European Research Council (https://erc.europa.eu/). There are several research groups at Uppsala University (Wang Yi, Pontus Ekberg, Philipp Ruemmer, Bengt Jonsson, Parosh Abdulla) that are world-renowned in the fields of embedded and real-time systems, and formal verification. Past contributions include the UPPAAL model checker, fundamental results in real-time scheduling, high-impact techniques and tools for modelling and verification. Members received the IEEE TCRTS (Outstanding Technical Achievement and Leadership, Technical Committee on Real-Time Systems) Award in 2019 (Wang Yi) and CAV (Computer-Aided Verification) Award in 2013 (Wang Yi) and 2017 (Parosh Abdulla and Bengt Jonsson), the most prestigious academic awards in the respective fields.

Requirements: The candidate should have a Master of Science in Computer Science, Computer Engineering, or equivalent, in a field which is relevant for the work. It is helpful to have a good background in some of the fields of embedded systems, real-time systems, program analysis, model checking, formal verification, software engineering, and similar, as well as to be proficient in implementing non-trivial algorithms. We expect the candidate to be fluent in verbal and written English.

Deadline: June 10, 2019
Apply Link:http://tinyurl.com/y6753th6

Tags: phd fellowship in computer science, computer science phd scholarship, phd position in sweden, phd fellowship at uppsala university

Copyright © 2019 FindScholarship.net. All Right Reserved.