PhD Research Fellowship
Formal modeling and analysis of geological histories
University of Oslo, Department of Informatics
SIRIUS Center, Execution Modeling and Analysis research group
- application deadline: 15.04.2018
- official link:
o Short description
In geology, geologists cope with irreducible uncertainty and justify
decisions in terms of geological histories, qualitative narratives that
reproduce the qualitative and interpretive thinking proper to their
discipline to describe how the geology in a license or area of a license
has developed over time to explain e.g., why there are hydrocarbon deposits
in the area (or not). The objective of this project is to develop formal
techniques for the modeling and reasoning of geological histories.
Geological history reasoning is a concept for hybrid reasoning
(i.e. augmenting human reasoning with digital capabilities). Through a
combination of (1) visualization, (2) geological rules, and (3) analytical
capabilities the techniques to be developed will support geologists'
ongoing creation and continuous modification of geological histories.
Using formal executable model-based techniques the project aims at
formalizing geological rules, to capture in a precise notation the entities
and concepts involved in geological processes. This abstract executable
model will be the basis of a reasoning engine where possible geological
histories can be investigated. Understanding possible histories requires a
``backward'' prediction, identifying the set of possible starting points
and the events that can explain the available data sets. Given a
specification of the metric or goal to achieve, the envisioned framework
will enable simulation- and logic-based analysis of the problem under
consideration. The candidate will investigate the applicability of using
e.g., rule-based techniques to formalize geological rules. However, the
candidate has the possibility to influence the applied method and tool.
- Applicants must hold a Master's degree or equivalent in computer science
within the area of formal methods.
For further official requirements (concerning level of grades, English
proficiency, and expected information and documents for applying) see the
official link given above.
It is desired that the candidate has background and experience that include
development / application of:
- rule-based techniques and rule engines/tools
- techniques that combine data-driven methods and model-based verification techniques
- specification and analysis techniques
- constraint solvers and heuristic techniques.
Inter-disciplinary experience and experience with domains such as natural
sciences, will be evaluated as an advantage.
o SIRIUS center:
SIRIUS is a Research-Driven Innovation (SFI) Center in University of Oslo
involving both academic research teams (UiO, NTNU and Oxford University) as
well as industrial partners including operators (Statoil), service
companies (Schlumberger and DNV GL) and IT companies (e.g., Computas, Evry,
IBM). The center has as its main goal to develop novel technologies to
improve our ability to extract and exploit information from large data
stores. The Execution Modeling and Analysis group researches on systematic
model exploration techniques to predict the behavior of software/system
executions based on the analysis of models.
The PhD fellow will be part of the SIRIUS innovation project Geo
Assistant. This interdisciplinary project intersects data science and
formal methods and with geo-science. The PhD fellow will collaborate with
Sirius industrial partners and geologists at UiO and be part of a dynamic
interdisciplinary research environment.