[TYPES/announce] PhD position in formal methods at the University of Oslo, Norway

[Peter Csaba Ølveczky]

3 (or 4) year PhD research fellowship available in formal methods at the
University of Oslo: 
Rewrite-based methods for real-time and cyber-physical systems.  

** Application deadline February 28, 2021
** Competitive salary
** See https://www.jobbnorge.no/en/available-jobs/job/200007/phd-research-fellowship-in-formal-methods-for-real-time-and-cyber-physical-systems
for details and on how to apply

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

This PhD project is lead by Professor Peter Ölveczky and is part of
the broader Real-Time Maude project, which aims at developing formal
modeling languages and analysis methods that can be successfully
applied to complex modern cyber-physical systems. 

In particular, Real-Time Maude is a rewriting-logic-based modeling
language and formal analysis tool for real-time systems that has been
applied to a wide range of systems, and as a semantic framework
and analysis backend to other modeling languages, such as fragments
of Ptolemy II and AADL. 

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.

** Apply online
   https://www.jobbnorge.no/jobseeker/#/application/apply/200007 
   *before February 28, 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.