Postdoctoral Researchers (m/f/d)
(Full-time, TV-L E 13, 100%, Location: Clausthal-Zellerfeld)
for three years, with the possibility of part-time employment. As part of your work, you have the opportunity to pursue a German “Habilitation” in computer science at TU Clausthal.
The open position is funded through the Volkswagenstiftung as part of the “Formal engineering support for field-programmable gate arrays” endeavor, in which we will research methods and algorithms to efficiently synthesize FPGA implementations from formal specifications. The core aim is to make engineering energy-efficient FPGA-based implementations easier for an application engineer, and achieving this aim requires the fields of technical computer science and formal methods to join forces. In the scope of this endeavor, two postdoctoral researchers will work with the research group head on this topic, where one of the postdoctoral researchers will approach the problem from a technical computer science angle, and the other one from a formal methods angle. Consequently, candidates should have a background in (at least) one of these areas.
The Institute for Software and Systems Engineering is one of the two computer science institutes at TU Clausthal. It consists of several research groups, one of which is the ACPS research group that will host the successful candidate. This group conducts research on advanced methods for building correct and efficient embedded systems, as needed for tackling many current societal problems. For instance, we work on methods for increasing the lifespan of systems with embedded computation by allowing them to adapt to degradation, and we design systems that make use of artificial intelligence in a way that is safe enough for societal acceptance. At the boundary between theory and practice, we develop and combine new algorithms to tackle these and related problems.
A more in-depth description of the research group’s theme is available at