Open PostDoc position in FWF project Digital Modeling of Asynchronous Integrated Circuits (DMAC)

We are looking for a PostDoc interested in formal/mathematical modeling and analysis of continuous-time digital circuit abstractions, i.e., advanced delay models, in the context of the FWF basic research project Digital Modeling of Asynchronous Integrated Circuits (DMAC, project leader Prof. U. Schmid @ ECS group).

There is an open PostDoc position in the FWF project Digital Modeling of Asynchronous Integrated Circuits (DMAC) led by Prof. Ulrich Schmid @ ECS group of our institute.

We are looking for applications from candidates interested in basic research, with skills in formal-mathematical modeling and analysis, preferably in the areas distributed computing or digital circuits. Teaching is not required, but possible.

The position is for 2 years (full or part-time), with the option of extension for at most two additional years. Salaries are according to the standard FWF scheme (PostDoc).

Please send applications directly to Ulrich Schmid (s@ecs.tuwien.ac.at) by email.