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

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 Embedded Multicore Systems (https://www.coems.eu) which concentrates on run-time verification and testing of software in industrial automation. HVL is partner in the COEMS project together with five academic and industrial partners, including Airbus and Thales. The post-doctoral researcher will also be more broadly involved in ongoing research efforts within model-driven software engineering, automated code generation, software testing and verification for industrial automation and control systems.

More details:
https://www.jobbnorge.no/ledige-stillinger/stilling/159468/post-doctoral-fellow-position-in-computer-science-on-formal-methods-and-model-driven-software-engineering

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

Next meeting: 8–9 November 2018, Limassol (CYP)

Our final COST meeting will take place in Limassol, Cyprus.

Dates: 8-9 November 2018.

Local organizers: Dr. Panagiotis Kouvaros and Easyconferences.org.

Please follow this link for more details on the event.

Posted in Meetings | Comments Off on Next meeting: 8–9 November 2018, Limassol (CYP)

Next meeting: 18/19 June 2018, Novi Sad (RS)

The next meeting will take place in Novi Sad, Serbia.

Dates: 18-19 June 2018.

Local organizers: Zoran Budimac, Gordana Rakic, Tijana Vislavski and Natasa Sukur

Please follow this link for more details on the event.

Posted in Meetings | Comments Off on Next meeting: 18/19 June 2018, Novi Sad (RS)

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

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

Next meeting: 16 November 2017, Luxembourg (LU)

The next meeting will take place in Luxembourg.

Date:  16 November 2017.

Local Organizers: Jun Pang and Domenico Bianculli

Program

09.00 – 10.15 : working session
10.15 – 10.45 : coffee break
10.45 – 12.15 : working session
12.15 – 14.00 : lunch. It will be held at “La Coquille“, in the d’Coque sporting center. The menu of the day is available here. You will pay for the lunch on your own (and then claim it on the reimbursement form).
14.00 – 15.30 : working session
15.30 – 16.00 : coffee break
16.00 – 17.30 : working session

Venue

The meeting will be in the room D17 “Salle des Conseils” of the Block D of Campus Kirchberg of the University of Luxembourg, accessible from 6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg and from 29 avenue JF Kennedy, 1855, Luxembourg. Detailed information to reach the venue is available here and on the image below.

Hotels

Hotels in Luxembourg city are pretty expensive, usually above the 120EUR/day allowance.

Budget options are:

These two are in proximity of the airport (10 minutes walk); from the airport there is bus 16 that runs frequently (every 10 minutes during the day, every 30 minutes in the evening) bound to downtown. On its way to downtown, bus 16 stops also in front of the SnT center.

Note: there are several Ibis hotels in Luxembourg (as a country). Make sure you pick one whose name contains “Airport” or “Findel”.

It is part of the biggest sport center in Luxembourg. It is at 5-minute walking from the venue. The bus stop towards downtown is also very close.

More expensive options are:

These hotels are downtown, at 10-15 minutes by bus from SnT.

There are other options (potentially slightly cheaper) nearby the central train station (Gare) area, which are at 20-25 minutes by bus from the venue.   Luxembourg is generally safe but, as usual, extra precaution is needed in this area by night.

Posted in Events | Comments Off on Next meeting: 16 November 2017, Luxembourg (LU)

Next meeting: 18. September 2017, Torino (IT)

The next meeting will take place right before the iFM conference in Torino!

Date: 18. September 2017, program.

Local organiser: Ferruccio Damiani, U. Torino.

Posted in Events | Comments Off on Next meeting: 18. September 2017, Torino (IT)

Next meeting: 8./9. June 2017, Lisbon (PT)

The days for the next meeting have been fixed:

8./9. June 2017, Lisbon (PT)

The Lisbon Meeting (RV Group Work) will take place at the Faculdade de Ciências da Universidade de Lisboa (Faculty of Sciences of University of Lisbon), located at Campo Grande, Building C1, Floor 3, FFCUL Auditorium room, 1749-016 Lisboa, Portugal. [Google map location here].

More details here.

-Volker & José

Posted in Meetings | Comments Off on Next meeting: 8./9. June 2017, Lisbon (PT)

Next meeting: 16./17. March 2017, Prague (CZ)

With the ARVI training school and the RV conference, we’re coming to the end of the activities this year. The next meeting will take place March 2017 in Prague, after the M24 progress report due in December.

More info is available here.

Posted in Meetings | Comments Off on Next meeting: 16./17. March 2017, Prague (CZ)

RV-related PhD and Post-Doc positions in Norway

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 across five academic and industrial partners. The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ultimately ensuring correctness and safe behaviour. Within COEMS, a novel, FPGA-based, observer platform with supporting verification methods for software systems is created. COEMS tackles the issues of detection and identification of non-deterministic software failures caused by race conditions and access to inconsistent data. It gives insight to the system’s actual behaviour without affecting it, allowing new verification methods.

The PhD project will span one or more of the following areas, depending on the qualifications and interests of the successful applicant.

• Static analysis methods for identifying hot spots in programs and monitors;
• Specification and monitor synthesis methods for runtime verification;
• Lightweight instrumentation methods.

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

Next meeting: 26. September, Madrid

The next meeting will be held in conjunction with the RV’16 conference and the 1st COST ARVI summer school in Madrid, Spain, on September 26th.

Schedule.

Posted in Meetings | Comments Off on Next meeting: 26. September, Madrid