PhD Researcher in Formal Verification

3 weeks ago


Copenhagen, Copenhagen, Denmark University of Copenhagen Full time
Job Description

The University of Copenhagen is seeking a highly motivated and talented PhD researcher to join our team in the field of Formal Verification. As a PhD researcher, you will be part of a dynamic and interdisciplinary research environment, working closely with our faculty members and other researchers to advance the state-of-the-art in formal verification and related areas.

Responsibilities and Tasks
  • Conduct independent research in formal verification, under the supervision of our faculty members.
  • Participate in research projects, workshops, and conferences to stay up-to-date with the latest developments in the field.
  • Collaborate with other researchers and students to develop new methods and tools for formal verification.
  • Teach and assist in teaching courses related to formal verification and computer science.
  • Write and publish research papers in top-tier conferences and journals.
Requirements and Qualifications
  • Master's degree in Computer Science, Mathematics, or a related field.
  • Strong background in formal verification, logic, and computer science.
  • Excellent programming skills in languages such as Haskell, OCaml, or C++.
  • Good communication and teamwork skills.
  • Ability to work independently and as part of a team.
What We Offer
  • A dynamic and interdisciplinary research environment.
  • Opportunities for collaboration with other researchers and students.
  • Access to state-of-the-art research facilities and equipment.
  • A competitive salary and benefits package.
  • The opportunity to work on cutting-edge research projects and contribute to the advancement of the field.


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen offers a PhD fellowship in Formal Verification as part of its regular programme. The employment is full-time and for a maximum of 3 years.The employment is conditional upon successful enrolment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires submission and...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen offers a PhD fellowship in Formal Verification as part of its regular programme. This is a full-time position for a maximum of 3 years.Employment is conditional upon successful enrolment as a PhD student at the PhD School at the Faculty of SCIENCE. This requires submission and acceptance of an application for...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen is seeking a highly motivated PhD researcher to join our team in the field of Formal Verification.The employment is full-time and for a maximum of 3 years. The position is conditional upon successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

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


  • 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

    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 TasksThe successful candidate will:Conduct an independent...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Join the University of Copenhagen as a talented PhD researcher to conduct cutting-edge research in biophysics.We are seeking a highly motivated candidate to conduct research in enzyme single molecule microscopy.The successful candidate will work in a dynamic research environment and participate in active research projects.Key responsibilities...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen is seeking a highly motivated and qualified PhD researcher to join our team in the Department of Chemistry. The successful candidate will be employed as a PhD fellow in the regular programme and will work on a research project in coordination chemistry.Responsibilities and TasksComplete and pass the MSc...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen is seeking a highly motivated and talented PhD researcher to join our research group in coordination chemistry.The employment is full-time and for a maximum of 3 years. The position is conditional upon your successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE, University of...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen is seeking a highly motivated and talented PhD researcher to join our research team in coordination chemistry.The employment is full-time and for a maximum of 3 years. The position is conditional upon successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen....


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen is seeking a highly motivated PhD researcher to join our team in the Department of Molecular Biophysics.As a PhD fellow, you will be employed full-time for a maximum of 3 years. Your employment is conditional upon your successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE.The terms...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Job DescriptionWe are seeking a highly motivated and skilled PhD researcher to join our team at the University of Copenhagen. The successful candidate will be working on a project focused on accelerated domestication of perennial grasses.Key ResponsibilitiesConduct independent research under supervisionComplete PhD courses corresponding to approx. 30 ECTS /...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen is seeking a highly motivated and talented PhD researcher to join our team in the Department of Molecular Biophysics. The successful candidate will be part of a dynamic and interdisciplinary research environment, working on cutting-edge projects in the field of molecular biophysics.Responsibilities and...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Job DescriptionTerms of EmploymentThe University of Copenhagen is seeking a highly motivated PhD fellow to conduct research in cybersecurity and care. The employment is full-time and for a maximum of 3 years.The successful candidate will be employed as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Job DescriptionTerms of EmploymentThe University of Copenhagen is seeking a highly motivated PhD fellow to conduct research in the field of cybersecurity and care. The position is full-time and for a maximum of 3 years.The employment is conditional upon successful enrolment as a PhD student at the PhD School at the Faculty of SCIENCE, University of...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Job SummaryWe are seeking a highly motivated and skilled PhD researcher to join our team at the University of Copenhagen. The successful candidate will have a strong background in plant ecology and a passion for conducting independent research.Key ResponsibilitiesConduct an independent research project under the supervision of our faculty members.Complete...


  • Copenhagen, Copenhagen, Denmark Alstom Full time

    Join Alstom's Team as a Project Verification and Validation EngineerAt Alstom, we're committed to creating a greener and smarter mobility future. As a Project Verification and Validation Engineer, you'll play a crucial role in ensuring the integration and validation of our complex signalling projects.Your Key Responsibilities:Define and review test...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentAs a PhD fellow, you will be employed full-time for a maximum of 3 years. Your employment is conditional upon your successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires submission and acceptance of an application for the specific project formulated by the...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentAs a PhD fellow, you will be employed full-time for a maximum of three years. Your employment is conditional upon your successful enrollment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires submission and acceptance of an application for the specific project formulated by the...


  • Copenhagen, Copenhagen, Denmark University of Copenhagen Full time

    Terms of EmploymentThe University of Copenhagen is seeking a highly motivated PhD researcher to join our team in the Department of Biomedical Sciences.The position is a fixed-term appointment limited to a period of 3 years, with a start date of 1 August 2023 or as soon as possible.The employment is contingent upon the successful enrollment of the selected...