Embedded Systems Group (ES)

Job Vacancies

PhD Position on Formal Verification/Model-based Design

The embedded systems group currently offers a PhD position with a relatively flexible research topic. The topic must match with the research profile of the embedded systems group and should therefore strengthen or complement at least one of the following research areas:

  • formal verification: temporal logics, omega-automata, mu-calculus, decision procedures, SAT/SMT solvers, model-checking, reactive synthesis, game theory
  • models of computation: synchronous programs, dataflow process networks, hybrid systems, quantum computers
  • system synthesis: synthesis of distributed/multithreaded systems; OpenCL/OpenMP
The ideal candidate should have a Master degree in Computer Science and some background on formal methods (model checking, temporal logics, theorem proving) and/or semantics of programming/modeling languages. Alternatively, a strong background on the analysis and synthesis of real-time systems, compilers or processor architecture is welcome. Familiarity with the courses offered by the embedded system groups is a big advantage. In case of interest, do not hesitate to contact Prof. Schneider.

Hiwi Position on Processor Implementation

In a current DFG project about a new exposed datapath processor architecture, we seek students that may help us with the hardware implementation of the processor. In case of interest, do not hesitate to contact Julius Roob.

Hiwi Position on Compiler/Code Generation

In a current DFG project about a new exposed datapath processor architecture, we seek students that may help us with the hardware implementation of the compiler. In case of interest, do not hesitate to contact Anoop Bhagyanath.