Current jobs related to Postdoctoral Researcher in Probabilistic Session Types - Copenhagen, Copenhagen - PARETO SECURITIES AS


  • Copenhagen, Copenhagen, Denmark PARETO SECURITIES AS Full time

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


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    At the University of Copenhagen, we are committed to advancing our understanding of the intricate relationships between parasites, the gut microbiome, and host immunity.Postdoctoral Researcher in Immunology at the Department of Veterinary SciencesWe seek a highly motivated postdoctoral researcher to join our interdisciplinary team in exploring the complex...


  • Copenhagen, Copenhagen, Denmark Lifescience job Full time

    Postdoctoral Researcher Job OverviewWe are seeking a highly motivated and skilled Postdoctoral Researcher to join our team at the Section for GeoBiology, Globe Institute.As a Postdoctoral Researcher, you will be responsible for leading the bioinformatics analysis of ancient protein mass spectrometry data generated within the CODICUM project.Key...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full time

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


  • Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full time

    At Københavns Universitet (KU), we are seeking a highly motivated and dynamic researcher to join our team as a postdoctoral research scientist. This two-year position will be based in the Stewart-Morgan group at the Department of Cellular and Molecular Medicine, focusing on epigenetic dynamics and function in germ cell biology.The successful candidate will...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

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


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    We are seeking a highly motivated and dynamic postdoctoral researcher to join our team at the Biotech Research and Innovation Centre. Our research focuses on understanding how ribosome specialization leads to the installation of translational programs and how these processes are hijacked in human disease.As a postdoctoral researcher, you will be part of an...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    The University of Copenhagen invites applications for a postdoctoral research position in the field of urban development. The project, part of the Urban Frontiers research initiative, focuses on understanding how land is accessed, coded, and controlled in urban peripheries.As a postdoctoral researcher, you will work within the theoretical framework of the...


  • Copenhagen, Copenhagen, Denmark PARETO SECURITIES AS Full time

    Postdoctoral position in climate change communication and machine learningPostdoctoral position in climate change communication and machine learningThe Copenhagen Center for Social Data Science (SODAS) at the Faculty of Social Sciences, University of Copenhagen (UCPH), invites candidates for a postdoctoral position in climate change communication and machine...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    Københavns Universitet's Terrestrial Ecosystem Analysis group invites applications for a postdoctoral position to contribute to the VILLUM-funded project 'Arctic biogenic volatile compounds from above'. As a postdoctoral researcher, you will focus on developing and applying innovative remote sensing techniques to quantify BVOC emissions in Arctic...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full time

    Discover a world of innovation at Københavns Universitet (KU) as we seek a Postdoctoral Research Fellow to contribute to the development of BrainSTEM.org, a pioneering platform for neurophysiological research.The Department of Neuroscience at KU is renowned for its cutting-edge research and collaborations. As a postdoctoral researcher, you will be part of...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full time

    Job DescriptionThe Saxo Institute invites applications for a postdoctoral fellowship in history. The position is part of the research project Radical Pietism in Northern Europe: Social Protest on the Verge of Modernity, 1690-1750, funded by the Independent Research Fund Denmark and headed by Associate Professor Juliane Engelhardt.The postdoctoral fellow will...


  • Copenhagen, Copenhagen, Denmark GEUS - De Nationale Geologiske Undersøgelser for Danmark og Grønland Full time

    At GEUS, we conduct cutting-edge research on the water cycle, including environmental contaminants in groundwater. Our research group seeks a highly qualified postdoctoral researcher to investigate the sources of LM3, LM5, and LM6 compounds in Danish groundwater.The successful candidate will contribute to a new research project focused on elucidating the...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    The Saxo Institute, part of the Faculty of Humanities at Københavns Universitet, invites applications for a postdoctoral research fellowship in history. The position 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 and headed by Associate Professor...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    Job DescriptionThe University of Copenhagen is seeking a highly motivated Postdoctoral Researcher to join the Choudhary group at the Center for Protein Research. The research environment is dynamic, with a strong focus on interdisciplinary collaboration and cutting-edge technologies.We are looking for an enthusiastic researcher with a PhD and/or MD level of...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full time

    About the RoleKøbenhavns Universitet (KU) invites applications for a postdoctoral researcher position in antimicrobial resistance. The successful candidate will join our research group, One Health Antimicrobial Resistance (OHAR), contributing to scientific and teaching activities.Key ResponsibilitiesConduct research projects in collaboration with the...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    Job DescriptionThe University of Copenhagen is seeking a highly skilled postdoctoral researcher to join our team. As a postdoctoral research fellow, you will be responsible for conducting cutting-edge research in the field of law and sociology of law.You will work closely with the Principal Investigator (PI) and contribute to the 'Non-Muslim Islam' project,...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    Postdoctoral Fellowship OpportunityWe are seeking a highly motivated and dynamic postdoctoral researcher to join our team at the Novo Nordisk Foundation Center for Basic Metabolic Research, University of Copenhagen. The successful candidate will work on innovative research projects to identify distinct subtypes of type 2 diabetes.Leveraging two recently...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet Full time

    The University of Copenhagen invites applications for a postdoctoral fellowship focused on science communication and research culture. As part of the CBMR and Medical Museion teams, you will contribute to a project examining the intersection of science communication and interdisciplinary collaboration.Your key responsibilities will involve leading a...


  • Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full time

    Company Overview:The Center for Climate Change Law and Governance (CLIMA) at the University of Copenhagen is a leading research institution focused on climate change and sustainability. Our team carries out work on climate change law, governance, and policy, with a strong emphasis on interdisciplinary research.Job Description:We are seeking an enthusiastic...

Postdoctoral Researcher in Probabilistic Session Types

1 week ago


Copenhagen, Copenhagen, Denmark PARETO SECURITIES AS Full time

About the Project

The 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 systems with probabilistic behaviour.

We seek a candidate with a strong background in formal methods, programming languages, and distributed systems, and experience with proof assistants, type systems, or model checking is an advantage. The successful candidate will join the Programming, Logic, and Semantics (PLS) research group at the IT University of Copenhagen, a dynamic research team focusing on programming languages, distributed systems, and verification.

The project provides opportunities to engage with international researchers and partners, and the successful candidate will be expected to work independently and as part of a team, contributing to the development of the PROBABILIST project.

About the University

The IT University of Copenhagen (ITU) is a teaching and research-based tertiary institution concerned with information technology (IT) and the opportunities it offers. The university has more than 160 full-time Faculty members, and research and teaching in information technology span all academic activities which involve computers including computer science, information and media sciences, humanities and social sciences, business impact and the commercialization of IT.