1. Vacatures
  2. Universiteit Leiden (LEI)
  3. PhD candidate, Modeling of Complex, Distributed Cyber-Physical Computer Systems

Helaas, deze vacature staat inmiddels niet meer online

Kijk gerust verder naar andere vacatures.

PhD candidate, Modeling of Complex, Distributed Cyber-Physical Computer Systems

The Faculty of Science and Leiden Institute of Advanced Computer Science (LIACS) is looking for a
PhD candidate, Modeling of Complex, Distributed Cyber-Physical Computer Systems

ongeveer 2 maanden geleden

Arbeidsvoorwaarden

Standplaats:
Niels Bohrweg, Leiden, Zuid-Holland
Dienstverband:
Tijdelijk contract / Tijdelijke opdracht
Opleidingsniveau:
WO

Functieomschrijving

The PhD position is embedded in a larger project, called “DSE2.0: Towards Optimal Design of Complex, Distributed Cyber Physical Systems”, funded by NWO Domain Applied and Engineering Sciences together with TNO-ESI, and is a collaboration between Leiden UniversityUniversity of Amsterdam, and ASML Veldhoven (NL). ASML is the world’s largest supplier of photolithography systems for the semiconductor industry.

The project is part of a national MasCot partnership programme. The goal of this programme is to investigate, develop and deliver the next generation of engineering methodologies that help manage the increasing complexity of high-tech systems. Achieving this goal helps to improve the quality and reduce the development costs of future generations of cyber-physical systems, thereby providing the Dutch industry a competitive advantage. The MasCot programme constitutes in total 11 PhD students from six universities in four projects, executed in close collaboration with ASML, Philips Health Care, and Canon Production Printing. The MasCot projects offer a unique opportunity to learn about different industrial cases, exemplifying the increasing complexity of high-tech systems, and take part in the design and implementation of the potential solutions for these problems. The research work will be done both at the university and on-site at the partner companies, thereby providing a broader perspective.

Key responsibilities
Cyber-Physical Systems (CPS) comprise one of the largest information-technology sectors worldwide which is a driver for innovation in other crucial industrial sectors such as health industries, industrial automation and robotics, avionics and space. Nowadays, the embedded computing infrastructure of complex CPS is based on heterogeneous multi-core or many-core systems, which are distributed, and connected via complex networks. Manufacturing companies of distributed Cyber-Physical Systems (dCPS), such as lithography scanner machines, industrial printers, and interventional X-ray machines, are facing serious challenges with respect to designing the next generation of their products. Designers of such systems need quick answers to so-called “what-if” questions with respect to possible design decisions/choices and their consequences on system performance, cost, etc. This calls for efficient and scalable system-level design space exploration (DSE) methods for dCPS that integrate appropriate application workload and system architectures models, simulation and optimization techniques, as well as supporting tools to facilitate the exploration of a wide range of design decisions. However, such DSE technology for complex dCPS does currently not exist.

Are you interested in helping us with studying how to perform efficient and effective DSE for complex, distributed cyber-physical systems? This would entail performing research on:

  1. Modeling the software workload using workload models that can capture software process activities with a granularity that will allow to explore potential workload balancing techniques, degrees of parallelism, etc.;
  2. Modeling the platform architecture considering potential distributed architectures to which the workload can be mapped to (e.g., deployment of ‘fat’ versus ‘thin’ compute nodes, exploitation of heterogeneous and possibly domain-specific system architectures, etc.;
  3. Modeling the mapping of software processes to platform resources;
  4. The exploration of different system configurations to adapt the systems to specific workloads and platform architectures.

As a PhD student, you will be involved in and contribute to all four of the above research areas, but with a particular focus on the first one including research on automated workload model inference.

Functie-eisen

The successful applicant should be a very motivated university graduate who is open to industrial cooperation and is a top performer among his/her peers, has an excellent education and/or research track record proven by relevant experience, publications, etc. You are expected to conduct original competitive research and proof-of-concept development, publishing the results in relevant conferences and/or journals, and participating in teaching duties.

Applicants are expected to:

  • Have a Master degree in computer science or computer engineering;
  • Have some prior expertise in one or more of the following fields: computer systems architecture, modelling and simulation, performance analysis, and system optimization;
  • Be excellent in oral and written English with good presentation skills;
  • Have strong analytical and problem-solving skills;
  • Have excellent programming and debugging skills in C/C++, Java, and/or Python;
  • Be open to industrial cooperation and comfortable with working at ASML in Veldhoven (approx. 130 km from Leiden) for two days per week on average;
  • Have the ability to work in an international research team.

Conditions

Initially, the successful applicant will be appointed for one year. After a positive evaluation of the progress of the thesis, personal capabilities and compatibility, the appointment will be extended by a further three years. Salary range from € 2.395,-  to € 3.061,-  gross per month (pay scale P in accordance with the Collective Labour Agreement for Dutch Universities).

Leiden University offers an attractive benefits package with additional holiday (8%) and end-of-year bonuses (8.3 %), training and career development and sabbatical leave. Our individual choices model gives you some freedom to assemble your own set of terms and conditions. Candidates from outside the Netherlands may be eligible for a substantial tax break.

All our PhD students are embedded in the Leiden University Graduate School of Science. Our graduate school offers several PhD training courses at three levels: professional courses, skills training and personal effectiveness. In addition, advanced courses to deepen scientific knowledge are offered by the research school.

Diversity
Leiden University is strongly committed to diversity within its community and especially welcomes applications from members of underrepresented groups.

Additional information

Enquiries about the PhD position can be made to Todor Stefanov, Associate Professor, telephone +31-(0)71-527-5776, email t.p.stefanov@liacs.leidenuniv.nl