Job offers


  • Research Engineer Position (2020): A Formal DSL for Legally-Binding Smart Contracts funded by UCA, 12 months (filled)
  • PhD Position (2018): Formal Rule-Based Scenarios for the Design of Safe Autonomous Vehicles (filled)
  • PhD Position: Heterogeneous Language Coordination Engineering (filled)

Comments are closed.