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

[Peter Csaba Ölveczky]

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

** Application deadline February 28, 2023 **
** Competitive salary **

See

https://urldefense.com/v3/__https://www.jobbnorge.no/en/available-jobs/job/239420/phd-research-fellow-in-formal-methods-for-real-time-systems__;!!IBzWLUs!Q341qFmiVQefQTniHI0J0ieZvTdGDhk36c1-O62EiVZTyxIUC4lDL-vFn_iTE2V6N8ZndVExmsNhQc-RZfpQDSbJxJQ1_sXd$ 

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 University Sorbonne Paris
Nord, POSTECH Korea, University of Illinois at Urbana-Champaign, and others.

** Apply online
  https://urldefense.com/v3/__https://www.jobbnorge.no/jobseeker/*/application/apply/239420__;Iw!!IBzWLUs!Q341qFmiVQefQTniHI0J0ieZvTdGDhk36c1-O62EiVZTyxIUC4lDL-vFn_iTE2V6N8ZndVExmsNhQc-RZfpQDSbJxA2rAWnE$ 
   *before February 28, 2023*

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

Contact Professor Peter Ölveczky (peterol  AT ifi.uio.no) for more
information about the position.