[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
my research group at Clausthal University of Technology in Germany currently has
an open postdoc positions to be filled, with funding for three years (until
September 2028). This is long enough for writing a German "Habilitation" thesis
while holding the position.
The open positions are in the scope of the "Formal Engineering support for
Field-Programmable Gate Arrays" endeavor (funded by the Volkswagen Foundation), in
which we will bring the concept of reactive synthesis into the world of FPGAs.
While the theory of reactive synthesis has matured in the last decades, industrial
use of automatically synthesized implementations is still quite rare. The endeavor
through which the postdoc positions are funded has the potential to change this.
Its aim is to adapt synthesis game constructions, strategy extraction processes,
and the computational engines employed in the game solving process so that they
are best suited for synthesizing implementations for field-programmable gate
arrays (FPGAs). These are, in a way, reconfigurable digital circuits and have an
excellent energy-efficiency in a good range of applications. Manual development of
their implementations is more difficult than programming software, which is why
they are only used in few applications despite FPGA-based data center solutions
being available nowadays. A particular aim is that the synthesized
implementations should be able to use big blocks of FPGA-based implementations for
multiple purposes by time-sharing, which is often avoided in manual
implementations due to the complexity of doing so. Employing reactive synthesis
for coordinating the computation processes in FPGA-based implementations thus has
the potential to make the performance of synthesized implementations even better
than most manual implementations, which would make the approach interesting for
industry as well.
Further information about my research group is available at
https://urldefense.com/v3/__https://www.isse.tu-clausthal.de/en/research/research-groups-1/acps-automating-cps-design__;!!IBzWLUs!VcHow3Tz0X1Fw3zVckKIvH75JYIOIyGFW4w4QkbVPFINmV-tIfz8spU5jHBwueuAzwuDXLUf643OQ19R8ZkCDAbM-JSRDLdvUcrA2GVnemRo7Hed$
and a longer description of the endeavor in particular can be found at
https://urldefense.com/v3/__https://www.isse.tu-clausthal.de/en/research/research-groups-1/acps-automating-cps-design/formal-engineering-support-for-field-programmable-gate-arrays__;!!IBzWLUs!VcHow3Tz0X1Fw3zVckKIvH75JYIOIyGFW4w4QkbVPFINmV-tIfz8spU5jHBwueuAzwuDXLUf643OQ19R8ZkCDAbM-JSRDLdvUcrA2GVnemXXsAl9$
An official job advertisement can be found at:
https://urldefense.com/v3/__https://www.tu-clausthal.de/universitaet/karriere-ausbildung/stellenangebote/wissenschaftlicher-dienst/research-assistant-m/f/d-2__;!!IBzWLUs!VcHow3Tz0X1Fw3zVckKIvH75JYIOIyGFW4w4QkbVPFINmV-tIfz8spU5jHBwueuAzwuDXLUf643OQ19R8ZkCDAbM-JSRDLdvUcrA2GVnesT2ylQj$
The application deadline is the 31th of July. Starting date is as soon as
possible. If you want to apply, please send your application to:
[email protected]. If you have any questions, please send an e-mail to
[email protected] - I will be happy to answer.
