Researcher in Probabilistic Models for Distributed Systems at Copenhagen

Job SummaryWe 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 with probabilistic...

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 Us">The IT University of Copenhagen is a world-leading institution in the field of information technology, and our mission is to create and share knowledge that is profound and leads to ground-breaking information technology and services for the benefit of humanity. We are committed to excellence in teaching and research, and we strive to create an...

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

1.gif Used to count the number of sessions to the website, necessary for optimizing CMP product delivery. Maximum Storage Duration: Session Type: Pixel TrackerHRMTS.Session.Candidate Identification of job applicants during return visits. Maximum Storage Duration: Session Type: HTTP CookieARRAffinity Used to distribute traffic to the website on several...

1.gif Used to count the number of sessions to the website, necessary for optimizing CMP product delivery. Maximum Storage Duration : Session Type : Pixel Tracker HRMTS.Session.Candidate Identification of job applicants during return visits. Maximum Storage Duration : Session Type : HTTP Cookie ARRAffinity Used to distribute traffic to the website on...

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 DescriptionThe Department of Psychology at the University of Copenhagen is seeking a highly qualified Postdoctoral Researcher to join our team. As a Postdoctoral Researcher, you will be part of the Selection in Cognition project, working closely with Professor Søren Kyllingsbæk and Associate Professor Thor Grünbaum.We are looking for a researcher with...

Postdoctoral Researcher in Biological Modelling for Quantum ComputingWe are seeking a highly motivated postdoctoral researcher to join our team at the Niels Bohr Institute, University of Copenhagen. As a member of our team, you will contribute to the development and application of modelling approaches to solve key problems in biology and molecular biophysics...

Postdoctoral Fellow: Earth System Modelling and Dynamics We seek a Postdoctoral Fellow (PDF) in the field of earth system modelling for an 18-month appointment, starting 1 January 2025. The candidate should have experience in using the NCAR Community Earth System Model or a similar class of Intergovernmental Panel On Climate Change (IPCC) models. The central...

The University of Copenhagen seeks a highly motivated research scientist with expertise in pain biology, single cell RNA sequencing, and in vivo imaging.Job DescriptionWe are looking for a talented researcher to conduct studies on chronic pain mechanisms in sensory neurons. The successful candidate will have a strong background in neuroscience and experience...

About the DepartmentThe National Center for Climate Research (NCKF) is a leading research institution in the field of climate science. The department where this position is located has a strong profile in global and regional climate modeling, as well as remote sensing.The position is part of the Horizon Europe project 'LIQUIDICE' and collaborates with sister...

The Department of Neuroscience at the University of Copenhagen is looking for a skilled researcher to join our team. As a researcher, you will be responsible for conducting innovative research projects aligned with our focus areas.Your main tasks will include conducting in vivo imaging experiments, generating and maintaining mouse models, implementing...

We are looking for a highly skilled scientist to join our team of climate researchers at the National Center for Climate Research. As a key member of our department, you will work on climate modeling with a focus on the polar regions and how the climate affects the Greenland and Antarctic ice sheets and vice versa.Our team is involved in various projects,...

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

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

Imagine working with cutting-edge machine learning models, designing robust and scalable software infrastructure, and collaborating with dedicated colleagues — all while playing a key role in scaling our business even further.Does this sound exciting? Then you might be our new Machine Learning Engineer at Alipes Capital.At Alipes Capital, we have been a...

Job DescriptionWe are seeking a Senior Data Modelling Expert to collaborate with our high-performing team in designing and implementing proprietary models based on contemporary research papers. Your role will focus on designing and building out the supporting data pipelines and cloud infrastructure.Implement AI-powered anomaly detection frameworks to help us...

Are you interested in working with climate models? And motivated by understanding climate change in the Arctic and Antarctic regions? Here is a great opportunity to join DMI's skilled team of climate scientists in the National Center for Climate Research. About the job The Danish Meteorological Institute (DMI) opens a 3-year, full time position for a...