PhD Position in Formal Verification

1 month ago


Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

The University of Copenhagen seeks a highly motivated and skilled PhD fellow to conduct research in formal verification. As a PhD fellow, you will be part of a dynamic research environment with access to cutting-edge facilities and a strong network of academics in the field.



Responsibilities and Tasks

The successful candidate will:




  • Conduct an independent research project under the supervision of a senior researcher.
  • Complete PhD courses corresponding to approximately 30 ECTS (half-time equivalent).
  • Participate in active research environments, including a stay at another research institution, preferably abroad.
  • Assist in teaching and knowledge dissemination activities.
  • Produce scientific papers aimed at high-impact journals.
  • Defend a PhD thesis based on their project.


Requirements and Qualifications

To be eligible for the position, the candidate must have:




  • Professional qualifications relevant to the PhD project.
  • Relevant publications.
  • Relevant work experience.
  • A curious mind-set with a strong interest in formal verification.
  • Good language skills.


The University of Copenhagen offers a stimulating and diverse research environment, with opportunities for professional development and collaboration with international experts in the field.



  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Job TitlePhD Fellowship in Formal Verification at the University of CopenhagenAbout the JobWe are seeking a highly motivated and qualified PhD fellow to work on a research project related to formal verification.Company OverviewThe University of Copenhagen is one of the largest and most prestigious universities in Denmark, offering a wide range of academic...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentAs a PhD fellow at the University of Copenhagen, you will be employed full-time for a maximum of 3 years. Your employment is conditional upon successful enrolment as a PhD student at the PhD School at the Faculty of SCIENCE.The terms of employment and salary are in accordance with the agreement between the Ministry of Finance and The...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Company OverviewThe University of Copenhagen is a leading research-intensive university located in one of the world's most livable cities. Our research and education contribute to addressing the global challenges we face, such as climate change, sustainability, and access to clean water.SalaryThe salary for the position will be according to the agreement...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    **University of Copenhagen Job Opportunity**We are seeking a highly motivated and skilled individual to fill the position of Cybersecurity PhD Researcher at the University of Copenhagen.The successful candidate will have the opportunity to work on an independent research project under supervision, contributing to the development of cutting-edge cybersecurity...


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

    Unlock the Potential of MicroglassificationWe are seeking a highly motivated and skilled researcher to join our team as a PhD fellow in microglassification of pharmaceutical proteins at the Department of Pharmacy, Faculty of Health and Medical Sciences, University of Copenhagen.About the ProjectThis interdisciplinary project involves the design and...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    OverviewWe are seeking an outstanding candidate for a PhD position to conduct research on obesity in pet rabbits at the University of Copenhagen.The selected candidate will be employed as a PhD fellow and work under the supervision of experienced researchers in the field. The PhD study must be completed in accordance with the Ministerial Order on the PhD...


  • Copenhagen, Copenhagen, Denmark Alstom Transport Danmark AS Full time

    Job Summary:We are seeking a skilled Project Verification and Validation Engineer to join our team in Copenhagen, Denmark.About the Role:The successful candidate will be part of the V&V (Verification and Validation) team, responsible for defining integration and validation test strategies and conducting testing activities on complex signaling projects.Key...


  • Copenhagen, Copenhagen, Denmark Alstom Full time

    At Alstom, we understand the complexities of transport networks and what drives people to move. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, our diverse customers rely on us for a broad portfolio in the industry.We're looking for a full-time Railway Signaling System...


  • Copenhagen, Copenhagen, Denmark Position Green AB Full time

    Discover a pioneering role in our ESG reporting team, where you will play a leading part in helping companies transition to new sustainability standards.Position Green AB is an innovative Nordic scale-up that combines tech talent with the brightest minds in sustainability. Our mission is to revolutionize how businesses approach sustainable practices, and we...


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

    We are seeking a highly motivated and dynamic senior neuroscientist to join our research team at Kiehn lab in the Department of Neuroscience Faculty of Health and Medical Sciences. This is a three-year fixed-term position commencing April 1, 2025.The successful candidate will have the opportunity to work in a creative and international environment, focusing...


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

    About UsThe University of Copenhagen is a leading international university dedicated to fostering excellence in research and education. Our researchers are committed to addressing complex challenges and contributing to a better world.We invite highly qualified individuals to apply for an academic researcher position within the Saxo Institute, Faculty of...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of Employment The University of Copenhagen is seeking a highly motivated and talented PhD researcher to join our team in the Faculty of SCIENCE. The successful candidate will be employed as a PhD fellow in the regular programme and will be part of our active research environment. The position is covered by the Protocol on Job Structure. As a PhD...


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

    The Department of Food Science at the University of Copenhagen invites applications for a PhD fellowship in plant proteins and data modelling. This is an excellent opportunity to contribute to the development of sustainable food innovation by advancing our understanding of plant-based food development.About the ProjectOur research group focuses on the...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    About the PositionWe are seeking a highly motivated and qualified PhD researcher to join our team at the University of Copenhagen.Job DescriptionThe selected candidate will be responsible for carrying out an independent research project under the supervision of our faculty members. The project will focus on forest carbon stock and resource modelling, with...


  • Copenhagen, Copenhagen, Denmark Aalborg Universitet Full time

    PhD Stipend in Game Design and SustainabilityThe Department of Architecture, Design, and Media Technology at Aalborg Universitet is seeking a PhD researcher to work on a project focused on game design and sustainability. The project aims to develop a game that communicates the goals of the European Green Deal and generates new knowledge on user engagement...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentAs a PhD fellow at the University of Copenhagen, you will be employed full-time for a maximum of 3 years. Your employment is conditional upon successful enrolment as a PhD student at the PhD School at the Faculty of SCIENCE.The terms of employment and salary are in accordance with the agreement between the Ministry of Finance and The...


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

    We are seeking a highly motivated PhD researcher to join our team at the Department of Geosciences and Natural Resource Management, Faculty of Science, University of Copenhagen. The successful candidate will contribute to a research project focused on urban expansion and encroachment on ecologically sensitive areas in African cities.Job DescriptionThe PhD...


  • Copenhagen, Copenhagen, Denmark Lundbeck Full time

    Unlock Your Potential in NeuroscienceLundbeck, a science-based organization, is seeking highly motivated MSc candidates to join the Lundbeck Brain Battle. As a Neuroscience PhD Researcher, you will have the opportunity to work closely with other scientists, students, and technicians at the company and university.Your New RoleYou will be working on...


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

    The University of Copenhagen invites applications for a tenure-track assistant professorship in Macroeconomics. This is an exciting opportunity to contribute to the department's strong international research profile and vibrant research and teaching environment.Job DescriptionThis tenure-track assistant professorship is a six-year, fixed-term academic...


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

    About the CompanyKøbenhavns Universitet (KU) is a leading international research university located in Copenhagen, Denmark.Job DescriptionWe are seeking an experienced and highly motivated veterinary microbiologist to join our team as a postdoctoral researcher. The successful candidate will contribute to the scientific and teaching activities of the One...