Category Archives: Uncategorised

Post-doctoral Fellow Position on Formal Methods and Model-driven Software Engineering

Posted on 9th November 2018 by Volker Stolz

Western Norway University of Applied Sciences (HVL), Faculty of Engineering and Natural Sciences has an open position as a post-doctoral researcher for two years. The post-doctoral position is linked to the EU Horizon 2020 project COEMS – Continuous Observation of … Continue reading →

Posted in Uncategorised | Comments Off on Post-doctoral Fellow Position on Formal Methods and Model-driven Software Engineering

RV Summit, 19-23 March 2018: Praz sur Arly (near Grenoble), France

Posted on 8th December 2017 by Ylies Falcone

Our next meeting will be the RV Summit. It will be held on 19-23 March 2018 in Praz sur Arly (near Grenoble), France. Organizer: Yliès Falcone (Univ. Grenoble Alpes, Inria, France). The page of the event is available here.

Posted in Uncategorised | Comments Off on RV Summit, 19-23 March 2018: Praz sur Arly (near Grenoble), France

RV-related PhD and Post-Doc positions in Norway

Posted on 16th September 2016 by Volker Stolz

PhD positions, application deadline: 1. Nov. https://www.jobbnorge.no/ledige-stillinger/stilling/129123/phd-research-fellow-positions-in-ict-engineering Post-Doc positions, application deadline: 15. Oct. https://www.jobbnorge.no/ledige-stillinger/stilling/129405/postdoctoral-researchers-in-computer-science-informatics-on-continuous-observation-of-embedded-multicore-systems HiB is a partner in the EU Horizon 2020 project COEMS – Continuous Observation of Embedded Multicore Systems, which has recently been funded with 3.9M EUR … Continue reading →

Posted in Uncategorised | Tagged , | Comments Off on RV-related PhD and Post-Doc positions in Norway

Working Group 3: Memorandum Description

Posted on 4th December 2015 by César Sánchez

[The following is verbatim from the MoU of the action IC1402] This group will study novel and challenging computational domains for runtime verification and monitoring that result from the study of other application areas than programming languages. The objectives of … Continue reading →

Posted in Uncategorised | Comments Off on Working Group 3: Memorandum Description