PhD Position “Smart and analyzable scheduling solutions for real-time systems

PhD Position “Smart and analyzable scheduling solutions for real-time systems
PhD Position “Smart and analyzable scheduling solutions for real-time systems

Published	Deadline	Location
today	25 Oct	Eindhoven

Job description
The project focuses on designing analyzable machine-learning (ML) based scheduling solutions for real-time systems (i.e., systems that require both functional and temporal correctness). What makes this project distinct from the existing learning-based scheduling solutions is that it focuses on the analyzability of the solution so that the result can be used in safety-critical real-time systems, where the end-to-end worst-case response time (WCRT) of each system functionality must be smaller than its deadline to ensure the system's safety.
To reach this objective, the project focuses on designing scalable and accurate analysis techniques and tools to derive the WCRT of a learning-based scheduler. This can be achieved by defining effective system abstractions that allow performing a scalable yet accurate reachability analysis on the space of all possible system behaviors that could be observed under the proposed smart scheduler.
Our group has experience on designing similar types of analysis for a wide class of scheduling policies such as job-level fixed-priority scheduling policies (we call it 'schedule-abstraction based analysis'). If you are interested to know more about the project and our team, please visit the following links: 
https://www.es.ele.tue.nl/~m.nasri/  or https://www.es.ele.tue.nl/~m.nasri/rtslab/SAG_position .
Required skills. The candidate should have excellent mathematical, computer science and engineering skills and have affinity with scheduling and real-time systems. Experience on formal methods (or knowledge about system verification) is definitely a plus.
The candidate should be highly motivated and eager to learn new topics and be able to acquire the knowledge she/he needs very fast to be able to achieve good results in this project.
This project targets a challenging yet very hot topic in safety-critical systems and hence provides ample opportunities for the candidate to accomplish impactful scientific results that are highly visible. If you like to take this challenge and you think you have the right skills, then you may just be the candidate that we are looking for.
Eindhoven University of Technology
Eindhoven University of Technology (TU/e, https://www.tue.nl/en/ ) is one of Europe's top technological universities, situated at the heart of the high-tech industry in the Netherlands, named the Brainport region. Eindhoven is the fifth largest city in the Netherlands and including suburbs it has about 420,000 inhabitants. TU/e is a highly ranked university both in research and education. Our training and research programs are highly regarded, and we foster close relationships with companies, organizations and research institutes in the Brainport region and beyond. Fundamental and applied research are equally valued at TU/e. The high rank of the TU/e is due to the impact of its scientific research, and also due to its scientific co-publications with industry. TU/e is a social and inspiring university with a fine culture. You will quickly feel at home, surrounded by people who share your scientific ambitions. The TU/e currently has nine departments, with over 12,000 students in total.
Department of Electrical Engineering
With almost 100 (assistant, associate and full) professors, over 200 PhD and PDEng students, about 800 Bachelor students and 300 Master students, the Department of Electrical Engineering (EE) is one of the largest departments of the TU/e. By performing top-level fundamental and applied research, offering high-quality educational programs, and maintaining strong ties with industry, EE aims to contribute to science and to innovation in and beyond the region. EE currently offers a Bachelor and Master program in Electrical Engineering and participates in several multi-disciplinary masters, such as Systems and Control, Automotive Technology and Embedded Systems, all taught fully in English.
The department's relationship with the high-tech industry in the Brainport region means that staff and students can contribute directly to the development of technological innovations with real-world relevance. The unique positioning in one of Europe's leading tech regions also means excellent job opportunities for spouses.
Electronic Systems group at the TU/e
The Electronic Systems group is one of nine groups within the department of Electrical Engineering and consists of about 20 scientific and support staff, several postdocs, an about 40 PDEng and PhD candidates. The ES group is world-renowned for its design automation and embedded systems research. The ambition is to provide a scientific basis for design trajectories of electronic systems, ranging from digital circuits to cyber-physical systems. ES research is organized in three subprograms that cover the engineering, system and circuit perspectives: model-driven engineering, smart electronic systems, and digital nano-electronics. The group has an excellent lab infrastructure that includes individual computers, computing servers, FPGA and GPU farms, sensor and ad-hoc networking equipment, a cyber-physical systems lab, an electronics lab, and a comprehensive range of electronic-design software. ES has strong collaborations with industry, research institutes and other universities. The group is a multi-cultural team, with staff members and students from all over the world.
Specifications

• max. 38 hours per week
• Eindhoven View on Google Maps

Eindhoven University of Technology (TU/e)

Requirements
We are looking for candidates that match the following profile:

• A Master's degree in Computer Engineering, Computer Science, Electrical Engineering, or related disciplines.
• Strong expertise in one (or more) of the followings: machine learning, real-time systems, scheduling, reachability analysis, and/or formal verification.
• Expertise in or strong affinity with scheduling and machine learning.
• Good programming skills in C++ (or equivalent programming language).
• Goal-oriented, highly ambitious, hardworking, self-driven, positive and proactive problem-solving attitude, with good communication and time-management skills.
• Excellent English language skills (writing, speaking, and presenting).

Conditions of employment
We offer a fixed-term position for 4 years in a dynamic and ambitious university and a stimulating research environment,  including:

• To develop your teaching skills, you will spend 10% of your employment on teaching tasks.
• To support you during your PhD and to prepare you for the rest of your career, you will make a Training and Supervision plan and you will have free access to a personal development program for PhD students (PROOF program ).
• A personal development program to develop your transferable skills (see: https://www.tue.nl/PROOF3TU ).
• A gross monthly salary and benefits (such as a pension scheme, pregnancy and maternity leave, partially paid parental leave) in accordance with the Collective Labor Agreement for Dutch Universities.
• Additionally, an annual holiday allowance of 8% of the yearly salary, plus a year-end allowance of 8.3% of the annual salary.
• Should you come from abroad and comply with certain conditions, you can make use of the so-called '30% facility', which permits you not to pay tax on 30% of your salary.
• A broad package of fringe benefits, including an excellent technical infrastructure, moving expenses, and savings schemes and assistance in finding accomodation.
• Family-friendly initiatives are in place, such as an international spouse program, and excellent on-campus children day care and sports facilities.

Additional information
Do you recognize yourself in this profile and would you like to know more?
Please contact dr. Mitra Nasri (m.nasri[at]tue.nl) for more information about the advertised position and any informal enquiries.
Visit our website for more information about the application process or the conditions of employment. You can also contact contact Linda van den Boomen, HR (l.j.c.v.d.boomen[at]tue.nl).
Are you inspired and would like to know more about working at TU/e? Please visit our career page .
Application
If interested, please use 'apply now'-button at the top of this page. You should upload the following:

• A cover letter explaining your motivation and suitability for the position;
• A detailed Curriculum Vitae (including a list of publications and key achievements);
• A written scientific report in English of which you are the main author (MSc thesis, traineeship report or scientific paper);
• Contact information of two references;
• Copies of diplomas with course grades (transcripts).

Candidates will be selected based on grades and proficiency at university including consideration of the reputation of the university, relevant experience and skills, writing skills and publications, work experience, spoken English and presentation skills, as well as performance in relevant modeling exercises and interviews.
We look forward to your application and will screen it as soon as we have received it. Screening will continue until the position has been filled.
We do not respond to applications that are sent to us in a different way.
Please keep in mind you can upload only 5 documents up to 2 MB each. If necessary, please combine files.
Working at TU/e

Join the Eindhoven University of Technology and contribute to a brighter tomorrow for us all. Find out what sets TU/e apart.

Learn more

Apply for this job
Apply for this job

This application process is managed by the employer (Eindhoven University of Technology (TU/e)). Please contact the employer for questions regarding your application.

Apply for this job via the employer's website
Thank you for applying

Please contact the employer for questions regarding your application.

Tip: save this job as favorite in your AcademicTransfer account. This gives you an immediate overview and makes it easy to find the job later on. No account yet? Create it now and take advantage of other useful functionalities too!

Back to the vacancy