[TYPES/announce] PhD scholarship: Hybrid Verification of Distributed Applications
Alceste Scalas
alcsc at dtu.dk
Mon Jul 4 03:52:15 EDT 2022
DTU - Technical University of Denmark
DTU Compute - Section for Software Systems Engineering
We are looking for a bright and motivated PhD student for a 3-year PhD
position. The research topic is the hybrid (static+runtime) verification
of concurrent and distributed applications (details below).
* Application deadline: 31 August 2022
* Expected starting date: 1 October 2022 (negotiable)
* For inquiries, please contact:
Alceste Scalas <alcsc at dtu.dk> - https://urldefense.com/v3/__https://people.compute.dtu.dk/alcsc__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwOKWaGBu$
* Application link with complete details:
https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/vacant-positions/job?id=87335293-12a4-4547-9a94-35607ce111fe__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwL1yxuAz$
The project is funded by DFF.dk, and is in collaboration with Motorola
Solutions Danmark A/S, the University of Malta, and Imperial College London.
It is an excellent opportunity to be involved in advanced research on
concurrent and distributed systems, with important practical applications.
*PROJECT DESCRIPTION*
The project goal is to develop new methods and tools to verify the
correctness of distributed applications, by combining static
verification (e.g. type-checking) and runtime verification (monitoring).
We will tackle scenarios where heterogeneous software components are
expected to interact correctly but cannot be fully verified before
deployment: this is a common scenario in microservices, IoT, and edge
computing. The main research questions are: how can we model these
heterogeneous systems? How can we combine static and runtime
verification, and what guarantees can we achieve? Can we implement these
research results as prototype tools to aid software development?
*RESPONSIBILITIES AND QUALIFICATIONS*
If you join this project, you will become a member of the DTU Compute
research section on Software Systems Engineering. You will also
join the DTU Compute PhD school and take part in its courses and
activities. As part of your PhD training and research activities, you
will have research stays at the academic collaborators’ universities. Links:
*
https://urldefense.com/v3/__https://www.compute.dtu.dk/english/research/research-sections/software-systems-engineering__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwMPDb7lJ$
* https://urldefense.com/v3/__https://www.compute.dtu.dk/english/phd__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwAiyeTiD$
Your main tasks within this project will be:
* become familiar with state-of-the-art research in formal methods for
concurrent and distributed systems, including verification via type-
checking (behavioural types) and monitoring;
* study relevant industrial use cases and scenarios;
* explore new methods to ensure the correctness of distributed
systems. You will help in developing the necessary theory, and
implementing new software tools based on such theory.
Your duties will also include some Teaching Assistance work at DTU, and
(if you wish) the co-supervision of BSc and MSc student projects related
to your research.
To be considered for the position, you need some familiarity with formal
methods for programming languages (e.g. type systems) and/or for
distributed systems (e.g. process calculi, model checking). You will
need to document these skills by listing the relevant university courses
you took, or the relevant experience you have.
It will be an advantage if you can also document good programming skills
(preferably including functional programming).
To begin the PhD position, you must have a two-year master's degree (120
ECTS points) or a similar degree with an academic level equivalent to a
two-year master's degree. You can apply prior to obtaining the degree,
providing the expected graduation date.
*ASSESSMENT AND FURTHER DETAILS*
The assessment of the applicants will take place in early September 2022.
For the application details, see:
https://urldefense.com/v3/__https://www.dtu.dk/english/About/JOB-and-CAREER/vacant-positions/job?id=0907dfc3-ab0b-4985-afd2-3413e2564a83__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwHrikyl0$
For further information and inquiries, please contact:
Alceste Scalas <alcsc at dtu.dk>
You can read more about DTU Compute at:
https://urldefense.com/v3/__https://www.compute.dtu.dk/english__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwKaxflTO$
You can read more about the DTU Compute Research Section on Software
Systems Engineering at:
https://urldefense.com/v3/__https://www.compute.dtu.dk/english/research/research-sections/software-systems-engineering__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwMPDb7lJ$
If you are applying from abroad, you may find useful information on
working in Denmark at:
https://urldefense.com/v3/__https://www.dtu.dk/english/about/job-and-career/moving-to-denmark__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwPjc_R5r$
--
Alceste Scalas <alcsc at dtu.dk> - https://urldefense.com/v3/__https://people.compute.dtu.dk/alcsc__;!!IBzWLUs!TBOgx2ZnTQdYPSkzoXlgSqflHNRwSNBxJDo2It00HoswmVqAaBLG3j752MgY8OV2o8SZvuO0LKrgZDIQE7CKwOKWaGBu$
Associate Professor @ DTU Compute - Section for Software Systems Engineering
Technical University of Denmark
Building 321, Room 010
2800 Kgs. Lyngby
More information about the Types-announce
mailing list