Researcher in Formal Methods for Distributed Systems

Project DescriptionModern distributed systems increasingly integrate probabilistic models, AI-driven components, and stochastic decision-making. Traditional methods for ensuring correctness struggle to capture such uncertainty, leading to challenges in communication-based systems. Our project aims to develop a foundational approach to probabilistic session...

Work with UsWe are seeking a highly motivated PhD researcher to join our Programming, Logic, and Semantics (PLS) research group at the IT University of Copenhagen.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...

Join Our TeamWe are looking for a talented PhD researcher to join our Programming, Logic, and Semantics (PLS) research group at the IT University of Copenhagen.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...

Company OverviewThe IT University of Copenhagen is a teaching and research-based tertiary institution focused on information technology. Our research and teaching span all academic activities involving computers, including computer science, information and media sciences, humanities and social sciences, business impact, and the commercialization of IT.We are...

Candidate ProfileA Master's degree (or equivalent) in Computer Science, Mathematics, or a closely related field is required.Background in formal methods, programming languages, distributed systems, or probabilistic models is essential.Experience with proof assistants, type systems, or model checking is an advantage.The successful candidate will join our...

The Department of Computer Science at Københavns Universitet (KU) is seeking a highly qualified candidate for a tenure-track assistant professorship in software engineering. The successful candidate will contribute to the research profile of the department and strengthen our capabilities in systems and software engineering.Job DescriptionWe are looking for...

Machine Learning Engineer RoleWe are seeking a skilled Machine Learning Engineer to join our team at Alipes ApS. As a Machine Learning Engineer, you will play a key role in designing and developing our machine learning infrastructure.Your primary responsibility will be to design and optimize infrastructure to support distributed model training and experiment...

We are looking for an experienced Distributed System Architect to lead our NG-SIEM product group working on the LogScale Platform Global Serverless Platform team at CrowdStrike Holdings, Inc.The ideal candidate will have a proven track record of architecting, designing, and developing distributed system platform software products/releases, preferably in a...

The Department of Neuroscience at Københavns Universitet (KU) invites applications for a postdoctoral fellow position in Systems Neuroscience. The project focuses on understanding the neural mechanisms involved in memory and cognition using systems neuroscience and population-level approaches. The successful applicant will join a diverse, interdisciplinary...

At Københavns Universitet (KU), our Department of Neuroscience invites applications for a research position focused on studying the generation and functions of theta oscillations in spatial navigation using systems neuroscience and population-level approaches. The successful applicant will join a diverse, interdisciplinary team of neuroscientists and data...

CrowdStrike Holdings, Inc. is proud to be an equal opportunity employer. We're seeking an experienced Distributed System Engineering Director to join our NG-SIEM product group. The ideal candidate will have 5+ years of experience architecting, designing, and developing distributed system platform software products/releases, preferably in a hyper-scale cloud...

Job Summary:We are seeking a talented postdoctoral researcher to work on projects focused on materials chemistry with a strong emphasis on X-ray scattering methods. The successful candidate will have a background in experimental chemistry, nanoscience, or physics, and experience in material synthesis, synchrotron, neutron, or XFEL experiments. Key...

Job Title: Research Fellow in Gravitational Wave ScienceDescription: We are seeking a highly motivated and talented individual to join our team as a Research Fellow in Gravitational Wave Science. This exciting opportunity is part of our ongoing research efforts in developing effective-one-body models for gravitational wave astronomy.About the ProjectThe...

The Novo Nordisk Foundation Center for Vaccines and Immunity (NIVI Research) is a state-of-the-art research center dedicated to harnessing airway immunity through innovative vaccine research and development.NIVI Research conducts scientific research, while NIVI Development accelerates clinical trials and ensures a smooth transition to partners for later...

About the PositionWe are seeking a highly motivated PhD researcher to join our team at the IT University of Copenhagen. 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 with probabilistic...

Job DescriptionThe Niels Bohr Institute is seeking a highly motivated and talented individual to join our team as a Postdoctoral Researcher in Gravitational Physics. This exciting opportunity is part of our ongoing research efforts in gravitational self-force, a key area of study in the development of effective-one-body models for gravitational wave...

**Job Description**Københavns Universitet is seeking a highly skilled postdoctoral researcher to join its team in the field of gravitational wave physics. As a postdoctoral fellow, you will contribute to cutting-edge research on black hole spectroscopy, theoretical data analysis, and the study of ringdown signals.Research Focus: You will be working on...

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...

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...

Job DescriptionWe are seeking highly motivated and enthusiastic scientists to join our research group in Veterinary Anatomy and Pathology at the Department of Veterinary and Animal Sciences, University of Copenhagen. Our team focuses on developing models for human and veterinary diseases in mammals, as well as new diagnostic methods. We are looking for...