[ecoop-info] Ph.D position in Formal Analysis Techniques for Concurrent Programs, U. of Oslo

[Martin Steffen]

*  Ph.D position informal analysis techniques for concurrent programs

    University of Oslo, Dept. of Computer Science

    Deadline 15. October


* Links:

    - position:        http://uio.easycruit.com/vacancy/1484546/64290?iso=no
    - research group:  http://www.mn.uio.no/ifi/english/research/groups/pma/   
    - Dept. of Computer Science:  http://www.mn.uio.no/ifi/english/

** Position

A position as Phd Research Fellow is available at the Department of
Informatics. The Ph.D topic is in formal methods and tools for analyzing
properties in concurrent and distributed programs. The position is
available at the research Group for Precise Modeling and Analysis of
Dependable Systems (PMA). The fellowship will be for a period of 4 years,
with 25 % compulsory work (teaching responsibilities at the Department),
assuming sufficient teaching skills. Otherwise, the fellowship will be for
a period of 3 years, with no compulsory work. Starting date is as soon as
possible.



The candidate is expected to work on program analysis and modelling
techniques to ensure robust and predictable program execution, such as
e.g., monitoring and run-time verification, extended type systems, and
combinations of static and dynamic techniques. Properties we are interested
in are mostly non-functional such as resource-consumption (time, memory and
similar) and also security-aspects. Target application domains are
concurrent programs intended to run on variable platforms (such as on
different cloud providers or in different multi-core architectures) and the
analysis methods being develop are intended to make systematic, semantic-
based and ideally automated decisions on how to deploy, (re-)configure, or
parallelize applications.

** Qualifications

The applicant is required to hold a Master's degree or equivalent in
computer science and should have good analytical and programming
skills. The ideal candidate has background in (some of) the following areas
of formal methods and analysis: software verification, validation, and
testing, static analysis, semantics, concurrency theory, including
knowledge of tools in that field. Besides technical skills, we are looking
for a curious, ambitious candidate who is highly motivated to do research
and contribute to the work done at our group. Good communication skills in
both oral and written English are expected. We strongly encourage that the
application is accompanied by a short cover letter explaining shortly how
the applicant's background and education fits to the goals and requirements
of this project.

For more info concerning the required documents and the application
procedure, see the above link.

** Research group

The Ph.D position is embedded in the group Precise Modeling and Analysis of
Dependable Systems (PMA) at the Department of Informatics, University of
Oslo. The group's activities include both theoretical, foundational, and
experimental work within formal methods, semantics, and language
design. The group is involved in a number of European resp. national
projects and the Ph.D student will have the possibility to contribute to
those projects and profit from corresponding international research
collaboration. For more information, see the group's web-page (link above)

Areas of research:

    - principles of object-orientation and open distributed systems

     - static and dynamic formal program analyses and their implementation
       (type-based analyses, constraint solving, run-time monitoring).
    
    - specification and verification of programs

Application areas:

   - cloud computing, multi-core programs, and concurrent and distributed
       computing in general