[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [email protected]
* 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
[email protected]
