Researcher in Formal Methods for Distributed Systems

Company OverviewThe IT University of Copenhagen is a leading institution in the field of information technology and digital innovation. Our mission is to educate and inspire the next generation of leaders in IT and digital transformation, while driving cutting-edge research that solves real-world problems.We strive to create a collaborative and inclusive...

Job DescriptionWe are looking for a talented individual with a strong background in formal methods, programming languages, or distributed systems to contribute to the development of probabilistic session types. The successful candidate will have a Master's degree or equivalent in Computer Science, Mathematics, or a closely related field, and experience with...

About the ProjectThe PROBABILIST project aims to develop a foundational approach to probabilistic session types, supporting rigorous analysis of properties relevant to concurrent systems with probabilistic behaviour. This involves developing new mathematical theories and tools for reasoning about correctness, reliability, and expressiveness in distributed...

**Job Description**About the RoleWe are seeking a highly motivated researcher to join our team as a PhD position in the PROBABILIST project. The successful candidate will contribute to advancing the theory and practice of probabilistic session types, a formal framework for reasoning about correctness, reliability, and expressiveness in distributed systems...

About the PositionThe Department of Computer Science at the University of Copenhagen invites applications for a Senior Research Professor position in Software Engineering. The successful candidate will be part of a rapidly growing department with strong research sections in algorithms and complexity, machine learning, natural language processing,...

Job Description:The Novo Nordisk Foundation Center for Vaccines and Immunity is actively seeking a highly skilled researcher to join our team as an Assistant Professor of Structural Biology and Protein Biochemistry. This tenure track position offers a unique opportunity to contribute to cutting-edge research in the field of vaccines and...

The Saxo Institute, Faculty of Humanities at the University of Copenhagen invites applications for a postdoctoral research position in history. The fellowship is part of the research project "Radical Pietism in Northern Europe: Social Protest on the Verge of Modernity", funded by the Independent Research Fund Denmark.This is a fixed-term position for 24...

Københavns Universitet's Department of Computer Science invites applications for a Researcher position in Complex Systems and Social Dynamics. We are looking for a talented individual to join our team and contribute to the development of novel computational methods for understanding social network emergence.Key ResponsibilitiesConduct research on complex...

The University uses third-party technologies to register user behaviour on the website (statistics) to keep improving our service. The University also uses third-party technologies to promote degree programmes, courses, conferences and exhibitions on websites and social media to show you the most relevant offers. Tenure-track Assistant Professor, Associate...

We are looking for an exceptional research scientist to join our team in the Nanostructure group. As a key member of the department, you will conduct cutting-edge research in x-ray scattering methods and material synthesis.Your primary focus will be on developing new methodologies for analyzing x-ray scattering data and applying these techniques to...

In this challenging and rewarding position, you will be responsible for conducting innovative research in materials chemistry, with a particular emphasis on X-ray scattering methods. As a key member of our research group, you will contribute to the development of new materials with improved electrocatalytic properties.Key ResponsibilitiesDesign and conduct...

Biological Modelling Postdoctoral Position for Quantum ApplicationsIn this exciting new role, you will be part of our ambitious Novo Nordisk Foundation Quantum Computing Program, which aims to build a cutting-edge program in Copenhagen, Denmark. You will contribute to the development and application of modelling approaches to solve key problems in biology...

Company Overview:Systems Engineering A/S is the leading company in implementing systems engineering in organizations.We create a common technical language for organizations with our product, the Systems Engineering Concept.Our Core Business Branches:Systems Engineering Concept (SEC) – A Project Management concept method that helps guide clients in...

About the JobWe are inviting applications for a senior scientist position in our department, focused on the application of synchrotron methods for materials characterization.This is an excellent opportunity for an experienced researcher to contribute to our team and lead innovative projects in the field of materials science.Responsibilities:Lead and conduct...

This is an exceptional opportunity for an experienced researcher to join our team as an AI Research Director, leading the charge in establishing a comprehensive roadmap for NLP capabilities and strategy within the HCAI team and beyond. In this role, you will work closely with our Emerging Products team to drive innovation and product development, leveraging...

Research OpportunitiesWe are seeking highly motivated candidates to join our research team at the Niels Bohr Institute, University of Copenhagen. Our group is part of the Hybrid Quantum Networks Centre of Excellence, financed by the Danish National Research Foundation.The successful applicants will work on two PhD projects focused on theoretical quantum...

Are you passionate about Systems Neuroscience, research in memory and cognition, and high-throughput electrophysiology in rodents? The Department of Neuroscience, University of Copenhagen, invites applications for a postdoc position in Systems Neuroscience. The starting date is 1 December 2024 or as soon as possible after that. The position is fixed-term,...

Are you passionate about Systems Neuroscience, research in memory and cognition, and high-throughput electrophysiology in rodents? The Department of Neuroscience, University of Copenhagen, invites applications for a postdoc position in Systems Neuroscience. The starting date is 1 December 2024 or as soon as possible after that. The position is fixed-term,...

Our Group and ResearchThe Pers Group investigates the human genome and global microbiome to characterize their impact on health and disease.In collaboration with Professor Oluf Pedersen, we aim to identify interactions between the host and microbiome, paving the way for novel prevention and treatment strategies.We are looking for a highly experienced...

ResponsibilitiesConduct original research in probabilistic session types and contribute to the development of the PROBABILIST projectCollaborate with the research group on programming languages, distributed systems, and verificationPublish research papers in top-tier conferences and journalsParticipate in international workshops and conferencesThe ideal...