[TYPES/announce] Postdoc positions in formal methods, U. Oslo

[Einar Broch Johnsen]

1-3  Postdoc positions in formal methods are available at the Department of Informatics, University of Oslo. 
The positions are for 3 years. Application deadline 13 january 2019.

The official announcement can be found here:
https://www.jobbnorge.no/en/available-jobs/job/161032/postdoctoral-research-fellow-in-formal-modelling-and-verification-1-3-positions

Please get in touch for more information: einarj at ifi.uio.no

* TOPICS *
The successful applicants are expected to contribute to ongoing research activities in the group, including:
1. Integration of optimization and SMT-techniques with rich executable models
2. Rewrite-based models and analysis of geological evolution and processes
3. New techniques for actor-based modelling and analysis of distributed systems, e.g. resource restricted systems, IoT

The positions are funded by Sirius, a Centre for Research-Driven Innovation (SFI) at the University of Oslo.
It constitutes a long-term interdisciplinary research initiative, funded by the Research Council of Norway, 
involving both academic research teams (UiO, NTNU and Oxford University) as well as industrial partners 
including operators (Equinor), service companies (Schlumberger and DNV GL) and IT companies 
(e.g., Computas, Evry, IBM).

The successful applicant should have an interest in working on real industrial problems in collaboration with
industrial partners, as well as on basic research problems. The candidate will be expected to contribute to
on-going activities in the group, such as:
• Participate and contribute to our industry research projects,
• Initiate research activities, development of new methods and application to new domains.
• Supervise students and undertake administrative duties.
• Participate in writing research grants for various national and European funding agencies

* EXPECTED BACKGROUND *
The candidate should have expertise in one or more of the following areas:
• Satisfiability and optimization: SAT, SMT, constraint programming, etc.
• Symbolic analysis methods: rule-based systems, rewriting systems, symbolic execution, etc.
• Verification of distributed systems: behavioural types, deductive verification, model checking, etc.

The candidate should have implementation experience and programming skills in these fields.
The candidate should have a strong publication record. Experience in research collaboration
with industry, international mobility, and international collaborations is an advantage.

*COMPETITIVE SALARY AND ENVIRONMENT *
• salary NOK 524 200 – 597 400 (approx. EUR 55 000 - 62000) per annum depending on qualifications
• a professionally stimulating working environment
• attractive welfare benefits and a generous pension agreement, in addition to Oslo’s family-friendly environment 
with its rich opportunities for culture and outdoor activities

—
Einar Broch Johnsen
Professor, Dept. of Informatics, Univ. of Oslo
einarj at ifi.uio.no