30 formal-verification-computer-science Fellowship positions at University of Bergen in Norway
Sort by
Refine Your Search
-
4 Dec 2025 Job Information Organisation/Company University of Bergen Department Geophysical Institute Research Field Engineering Computer science Mathematics Physics Researcher Profile First Stage
-
engineering, informatics, energy, mathematics or physics. It is a condition of employment that the master's degree has been awarded. Programming skills, e.g., Fortran or C++, is a requirement. Competence in the
-
the Faculty of Humanities’ PhD program. The program includes a training component of 30 ECTS, corresponding to six months of the employment period. Qualifications and personal qualities: The applicant must have
-
analysis), code development, and numerical simulations. Access to high-performance computing facilities and datasets from laboratory experiments will be provided to support simulation and verification
-
funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description UiB - Knowledge that shapes
-
funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description UiB - Knowledge that shapes
-
allocated to the research project itself. As a PhD candidate, you will be enrolled in the Faculty of Humanities’ PhD program . The program includes a mandatory training component equivalent to 30 ECTS, which
-
Combinatorics There is a vacancy for a PhD Research Fellow in Algorithms and Extremal Combinatorics at the Department of Informatics . The position is for a fixed-term period of 3 years with the possibility of a
-
molecular, cellular and embryological techniques, quantitative imaging, genomics including from single cells, genome engineering and computational biology methods to study development and regeneration, at a
-
dynamical control in engineering. This project builds bridges between pure and computational mathematics, among mathematics departments in Tromsø, Bergen, and across Norway, and between high-level research