3 embedded-system "https:" "https:" "https:" "https:" uni jobs at University of Southern Denmark

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | 2 months ago

global effort carried out in collaboration with world-leading stakeholders, and FORM is a key player in CSlib’s steering and technical leadership . Hosting department FORM is embedded in the Section

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic, or Programming Languages

University of Southern Denmark | Denmark | 3 months ago

strengthen or add to our competences.  We encourage interested candidates to explore the section’s website at https://acp.sdu.dk/  for more information. IMADA The section is part of the Department

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Methods

University of Southern Denmark | Denmark | 3 months ago

more about the position and environment? Please feel free to reach out to Professor and FORM Director Fabrizio Montesi  (fmontesi@imada.sdu.dk ) for more information. Hosting environment FORM is embedded