Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Education
- Computer Science
- Social Sciences
- Business
- Engineering
- Medical Sciences
- Biology
- Environment
- Psychology
- Earth Sciences
- Statistics
- Chemistry
- Design
- Physics
- Humanities
- Law
- Mathematics
- Materials Science
- Electrical Engineering
- Arts and Literature
- Science
- Linguistics
- Economics
- Sports and Recreation
- Philosophy
- 15 more »
- « less
-
computer science, cybersecurity, formal methods, software engineering, distributed systems, or a related field. Experience with runtime verification, access control, cloud-native systems, CI/CD pipelines
-
computer science, cybersecurity, formal methods, software engineering, distributed systems, or a related field. Experience with runtime verification, access control, cloud-native systems, CI/CD pipelines
-
management, including budget development, purchasing, and asset management. Knowledge of the principles and practices of mathematics and statistics, research and analysis techniques and methods, work
-
collection procedures and methods Ability to participate in student account activities. Ability to compile and report information and statistics from student accounts Ability to explain policies and
-
«Detaljer» for å lese mer om dette og tilpasse dine valg. Om cookies Bare nødvendige cookies UiO/Anders Lien 1st September 2026 Languages English English English PhD Research Fellow in Formal Methods and
-
mathematics with modern computation and complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods
-
mathematics with modern computation and complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods
-
, data science using EHRs, machine learning, data mining, and natural language processing are preferred. Job Description: Develop large language models and other methods and tools to effectively use
-
, data science using EHRs, machine learning, data mining, and natural language processing are preferred. Job Description: Develop large language models and other methods and tools to effectively use
-
will contribute to the formal SSCoP-to-signal mapping ontology and associated evaluation methods. The successful candidate will contribute to the development of innovative methods linking Secure