There is a vacancy for a position as researcher in Informatics – Formalization of Algorithms in Proof Assistants at the Department of Informatics.
The position is for a period 2 years and is connected to the project «Symboalgo», financed by the Norwegian Research Council.
About the Department
Digitization of businesses, industry, public administration, and education makes informatics play an increasingly important role in the development of the society. Research and education in informatics are crucial for the digital transformation of the society to succeed. The Department of Informatics contributes to this through seven research groups that deliver research and education at a high international level in algorithms, bioinformatics, information security, machine learning, optimization, programming theory and visualization. We are also building up a group in computer science didactics. The department offers education for the future at Bachelor, Master and PhD levels. The department is in rapid growth regarding its number of students, research directions, and employees. We have today about 900 students, and 150 employees, among which 37 are faculty and 70 PhD candidates. We have established the Center for Data Science (CEDAS) as an important extension of our research and education activities.
Similar Positions
-
University Researcher, Computer Networks And Ubiquitous Computing, University of Helsinki, Finland, about 6 hours ago
The University of Helsinki (https://www.helsinki.fi/en ) is an international scientific community of 40,000 students and researchers. It is one of the leading multidisciplinary research universiti...
-
Research Assistant In The Division Of Science (Computer Science Artificial Intelligence) Dr. Keith Ross, New York University, United States, 20 days ago
Details Posted: 08-Mar-24 Location: Abu Dhabi, UAE Salary: Open Categories: Academic/Faculty Internal Number: 142547 The Deep Learning laboratory in the Division of Science, New York University Ab...
-
Research Assistant In Informatics – Up To 4 Positions, University of Bergen, Norway, 1 day ago
Research Assistant in Informatics – up to 4 positions Apply for this job See advertisement UiB - Knowledge that shapes society Through robust and close interaction with the world around us – globa...
-
Ph D Research Fellow In Generative Machine Learning With Geoscience Applications [Distinguish], University of Bergen, Norway, 1 day ago
PhD Research Fellow in generative machine learning with geoscience applications [Distinguish] Apply for this job See advertisement About UiB The University of Bergen is a renowned educational and ...
-
Ph D Research Fellow In Generative Machine Learning With Geoscience Applications [Distinguish] , University of Bergen, Norway, about 23 hours ago
1st May 2024 Languages English English Norsk Nynorsk English PhD Research Fellow in generative machine learning with geoscience applications [Distinguish] Apply for this job See advertisement Abou...
-
Postdoctoral Researcher In Machine Learning, For The Project Maphsa, Leiden University, Netherlands, about 1 hour ago
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: Postdoctoral Researcher in Machine Learning (1.5 years, 1.0 FTE), for the Project ...