PhD position in formal methods for real-time systems at the University of Oslo

by Peter Olveczky, March 29, 2021

3 year PhD research fellowship available in formal methods at the
University of Oslo: Rewrite-based methods for real-time systems.

** Application deadline April 25, 2021 **
** Competitive salary **

3 year PhD research fellowship available in formal methods at the
University of Oslo: Rewrite-based methods for real-time systems.  

** Application deadline April 25, 2021 **
** Competitive salary **

See   https://www.jobbnorge.no/en/available-jobs/job/203759/phd-research-fellowship-in-formal-methods-for-real-time-systems
for details and on how to apply

---------------

This PhD project is part of a broader project which aims at developing formal
modeling languages and analysis methods that can be successfully
applied to complex modern cyber-physical systems.

In particular, the goal of this PhD project is to integrate symbolic analysis methods,
such as narrowing analysis and SMT solving, into rewriting-based
analysis techniques for real-time and hybrid/cyber-physical systems,
and into tools such as Real-Time Maude and Synchronous AADL.

The project also involves researchers at the Polytechnical University
of Valencia, POSTECH Korea, and the University of Illinois at
Urbana-Champaign.

** Apply online
   https://www.jobbnorge.no/jobseeker/#/application/apply/203759
   *before April 25, 2021*

---------------

Contact Professor Peter Ölveczky (peterol  AT ifi.uio.no) for more
information about the position, and HR Adviser Torunn Standal
Guttormsen (t.s.guttormsen AT mn.uio.no) for administrative
questions.