Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD position on Embedded Systems Verification ...


view this post on Zulip Email Gateway (Jun 16 2021 at 09:44):

From: Peter Lammich <lammich@in.tum.de>
We are looking for a PhD candidate for a 4-year project on Formal Methods for
Embedded Systems, as part of SAVES (ScAlable Verification of industrial
Embedded control Systems), a collaboration with the University of Münster (WWU
Münster). You will be working on the SAVES project, carried out in
collaboration with prof. dr. Paula Herber (University of Twente / WWU
Münster).

The overall goal of SAVES is to investigate methods and tools to establish
correctness of embedded systems. With trends such as Industry 4.0, the
internet of things, and autonomous driving, the complexity of embedded systems
is steadily increasing. A prerequisite to ensure the correct functioning of
industrial embedded systems under all circumstances is a clear understanding
of the models and languages that are used in the development process. Formal
methods provide a basis to make the development process systematic, well-
defined, and automated. However, for many industrially relevant languages and
models, the semantics are only informally defined. Together with the limited
scalability of formal design and verification techniques, this makes the
formal verification of industrial embedded control systems a difficult
challenge, which can not be solved satisfactory with currently available
methods and tools. At the same time, we see that in the area of deductive
program verification, powerful techniques and tools have been developed to
reason about software with unbounded parameters, for example the VerCors tool
suite. In this project, we will extend these techniques with concepts to cope
with heterogeneity, concurrency, and real-time to make them suitable for
industrial embedded systems.

The PhD candidate hired at the University of Twente will be supervised by
Marieke Huisman and Paula Herber and will work on extensions of the methods
and tools developed in the FMT group for embedded systems, in close
collaboration with the Embedded Systems group in Münster.

For further information about the group, see
https://www.utwente.nl/en/eemcs/fmt/. For further information about the
project, see https://www.utwente.nl/en/eemcs/fmt/research/projects/saves/.

YOUR PROFILE

* You have a MSc degree in Computer Science (or equivalent);
* You have a thorough theoretical background and a demonstrable interest in embedded or cyber-physical systems, and ideally some prior experience with embedded systems design, formal methods, and/or interactive theorem provers;
* You are an enthusiastic student, skilled in exact and abstract thinking;
* You are proficient in English on an academic level.

OUR OFFER

The terms of employment are in accordance with the Dutch Collective Labour
Agreement for Universities (CAO) and include:

* A fulltime PhD position for four years, with a qualifier in the first year;
* Full status as an employee at the UT, including pension and health care benefits;
* The salary will range from € 2.395 (1st year) to € 3.061,- (4th year) per month, plus a holiday allowance of 8% and a year-end bonus of 8.3%;
* A solid pension scheme;
* Excellent facilities for professional and personal development;
* A green and lively campus, with lots of sports facilities and other activities.

INFORMATION AND APPLICATION

Are you interested in this position? Please send your application via
https://www.utwente.nl/en/organisation/careers/!/2021-425/phd-position-on-
embedded-systems- before 5th of July and include:

* A cover letter (explaining your specific interest and qualifications);
* A detailed Curriculum Vitae;
* A list of all courses + marks and a short description of your MSc thesis;
* References (contact information) of two scientific staff members.

The deadline of application is July 5, 2021 or until the position is filled.
Starting date of the position is as soon as possible, or to be discussed.

For further information, you can contact Prof.dr.ir. Paula Herber:
https://www.uni-muenster.de/EmbSys/team/herber/ or Prof.dr. Marieke Huisman:
<https://wwwhome.ewi.utwente.nl/~marieke/>

DEPARTMENT

In the Formal Methods and Tools (FMT) research group, formal techniques and
tools are developed and used as a means to support the development of
software. Our central goal is to increase the reliability of the software that
we rely on, as individuals and as society. We primarily target complex
concurrent ICT systems, embedded in a technological context or in a
distributed environment.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics
and Computer Science (EEMCS) at the University of Twente. The FMT group also
participates in the Digital Systems Institute (DSI).

Our institute was ranked first at the most recent research national
assessment.

ORGANIZATION

The faculty of Electrical Engineering, Mathematics and Computer Science
(EEMCS) uses mathematics, electronics and computer technology to contribute to
the development of Information and Communication Technology (ICT). With ICT
present in almost every device and product we use nowadays, we embrace our
role as contributors to a broad range of societal activities and as pioneers
of tomorrow's digital society. As part of a people-first tech university that
aims to shape society, individuals and connections, our faculty works together
intensively with industrial partners and researchers in the Netherlands and
abroad, and conducts extensive research for external commissioning parties and
funders. Our research has a high profile both in the Netherlands and
internationally. It has been accommodated in three multidisciplinary UT
research institutes: Mesa+ Institute, TechMed Centre and Digital Society
Institute.

As an employer, the EEMCS Faculty offers jobs that matter. We equip you as a
staff member to shape new opportunities both for yourself and for our society.
With our Faculty, you will be part of a leading tech university that is
changing our world for the better. We offer an open, inclusive and
entrepreneurial climate, in which we encourage you to make healthy choices,
for example, with our flexible, customizable conditions.

UNIVERSITY OF TWENTE (UT)

University of Twente (UT) has entered the new decade with an ambitious, new
vision, mission and strategy. As ‘the ultimate people-first university of
technology' we are rapidly expanding on our High Tech Human Touch philosophy
and the unique role it affords us in society. Everything we do is aimed at
maximum impact on people, society and connections through the sustainable
utilisation of science and technology. We want to contribute to the
development of a fair, digital and sustainable society through our open,
inclusive and entrepreneurial attitude. This attitude permeates everything we
do and is present in every one of UT's departments and faculties. Building on
our rich legacy in merging technical and social sciences, we focus on five
distinguishing research domains: Improving healthcare by personalised
technologies; Creating intelligent manufacturing systems; Shaping our world
with smart materials; Engineering our digital society; and Engineering for a
resilient world.

As an employer, University of Twente offers jobs that matter. We equip you as
a staff member to shape new opportunities both for yourself and for our
society. With us, you will be part of a leading tech university that is
changing our world for the better. We offer an open, inclusive and
entrepreneurial climate, in which we encourage you to make healthy choices,
for example, with our flexible, customisable conditions.


Last updated: Dec 05 2021 at 22:18 UTC