[TYPES/announce] PhD position in Computer Science at the University of Oslo

Martin Steffen msteffen at ifi.uio.no
Tue Jun 12 11:59:53 EDT 2012


==========================================================
       University of Oslo, Department of Informatics

          PhD Research Fellowship in the group 

     Precise Modeling and Analysis of Dependable Systems

==========================================================
 
The fellowship is for a period of 4 years, with 25 % compulsory work (such
as teaching assistance).

Starting date: no later than 01.10.2012.

For further details of how to apply, contact persons, required documents,
and other formal requirements and conditions of the position, see

     http://uio.easycruit.com/vacancy/711997/64290?iso=no


==================================================================


Job/ project description:

o The project is in formal methods for runtime updates of distributed
   systems, addressing system evolution through the upgrade of executing
   code, and combines theoretical work with more applied programming.

o The candidate is expected to work on analysis techniques to ensure safe
  program evolution, such as e.g., extended type systems or abstract
  interpretation, as well as tool development for runtime software
  evolution, such as run-time checking. Scala could be a suitable target
  language for the upgrade framework, but the candidate will have
  opportunity to influence this decision. The applicant should preferably
  have experience in formal methods, and concurrent and object-oriented
  programming.


o The Precise Modeling and Analysis group at the Department of Informatics,
  University of Oslo, Norway, works on formal methods, and in particular
  on tools and languages for object-oriented and component-based software
  development. Our current research focus includes

    - formal specification and analysis of real-time systems

    - object-orientation and open distributed systems

    - rewriting logic

    - specification and verification of object-oriented programs


o Our research combines theoretical foundations with the goal to develop
  practical tools and languages to capture software adaptability. The
  group's activities include both theoretical, foundational, and
  experimental work within formal methods, semantics, and language
  design. For more information, see the following web-page:


http://www.mn.uio.no/ifi/english/research/groups/pma/index.html

The group is involved in the European research project Highly Adaptable and
Trustworthy Systems using Formal Models (HATS). The HATS project is also a
good starting point for this PhD project and we encourage participation in
HATS. For more information, see the following web-page:

http://www.hats-project.eu

==============================================================================





More information about the Types-announce mailing list