Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Multiple Ph.D. positions in the Software Facto...


view this post on Zulip Email Gateway (Aug 22 2022 at 16:28):

From: Richard Bubel <bubel@cs.tu-darmstadt.de>
[Please accept our apologies for duplicates]

TU Darmstadt in Germany is offering multiple Ph.D. positions in the
Software Factory 4.0 project coordinated by Prof. Dr. Heiko Mantel.

The Project


You will be working on the LOEWE project "Software-Factory 4.0" (SF4.0),
funded by the German State of Hesse.

The goal of "Software-Factory 4.0" is to enable legacy software systems
(as used for high performance computing and cyber-physical production
systems) to keep up with the rapid technological advances made in the
development of new hardware and middleware platforms. Existing software
must be retrofitted to fully exploit the potential provided by technological
progress. Complete re-development of the existing stock of production
software is infeasible. At the same time, superficially adapted legacy
software prevents optimal hardware usage. This is known as the
"software gap".

SF4.0 aims to create methods and tools that enable continuous and largely
automated re-engineering of software to meet changed requirements and
technological constraints. Re-engineering keeps software development costs
manageable and allows one to preserve expert domain knowledge inherent to
legacy software. In SF4.0, special emphasis will be put on the reliability
of the resulting software. Formal methods and semantics will be applied
for this purpose.

The two main application areas to be explored in SF4.0 are "High
Performance Computing" (HPC) and "Industrie 4.0". In the former,
parallelization of existing software is the main driving force, while the latter
focuses on the variability aspects of cyber-physical production systems and
the development of digital twins.

SF4.0 consists of eight part projects, each of which offers 1-2 Ph.D.
positions in the areas of computer science and mechanical engineering. A
selection of the specific areas includes: concurrency semantics, cyber-physical
productioncsystems, formal methods, parallel and distributed computing,
software-aided construction, software engineering, and static program analysis.

Your Profile


You are enthusiastic about applied and/or theoretical research and you
have a strong background and demonstrable interest in one or more of the areas
mentioned above.

We are looking for researchers with an independent mind who are willing to
cooperate in our international team. We expect good communicative and social
skills. Candidates should be prepared to prove their English language skills.

As a research outcome we expect publications, software tools,
and a Ph.D. thesis.

What We Offer


Further Information and How to Apply:


Applications should arrive before December 6, 2017. The application
process will be available until all positions are filled.

An electronic application form and a description of the different part
projects is available at the SF4.0 application portal:
https://www.softwarefactory40.tu-darmstadt.de

Further information on the project, open positions and the application
process can be found at the
following webpages:
http://www.mais.informatik.tu-darmstadt.de/sf40.html (coordinator webpage)
http://www.software-factory-4-0.de/ (project webpage)


Last updated: Mar 28 2024 at 16:17 UTC