Formal Verification Researcher

4 hours ago


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

PhD Fellowship in Formal Verification at the University of Copenhagen

About the Job

We are seeking a highly motivated and qualified PhD fellow to work on a research project related to formal verification.

Company Overview

The University of Copenhagen is one of the largest and most prestigious universities in Denmark, offering a wide range of academic programs and research opportunities.

Salary

The salary for this position is estimated to be around 44,000-55,000 DKK per month (approximately 5,800-7,400 USD), depending on qualifications and experience.

Job Description

This PhD fellowship will involve conducting independent research under the supervision of experienced faculty members. You will have the opportunity to contribute to cutting-edge research in formal verification and develop your skills as a researcher.

Responsibilities and Tasks
  • Carry out an independent research project under the guidance of a supervising professor
  • Complete PhD courses corresponding to approximately 30 ECTS (1/2 FTE)
  • Participate in active research environments, including a stay at another research institution, preferably abroad
  • Teaching and knowledge dissemination activities
  • Write scientific papers aimed at high-impact journals
  • Defend a PhD thesis based on your research project
Required Skills and Qualifications

To be eligible for this position, you should have:

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

As a PhD fellow at the University of Copenhagen, you will have access to a range of benefits, including:

  • A competitive salary
  • Opportunities for professional development and networking
  • Access to state-of-the-art research facilities and equipment
  • A supportive and inclusive research environment


  • 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 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 Alstom Full time

    About the RoleWe are seeking a skilled Verification and Validation Engineer to join our team in Copenhagen. As a member of our V&V team, you will play a crucial role in defining the integration and validation test strategy for a complex signaling project.Key ResponsibilitiesDefine and review test procedures for the onboard ETCS sub-system.Run tests, analyze...


  • Copenhagen, Copenhagen, Denmark Spa 23 Fitness and Lifestyle Full time

    Job Opportunity: Associate Professor in StatisticsWe are seeking a highly qualified Associate Professor in Statistics to join our team at the Faculty of Engineering and Science. The successful candidate will contribute to methodological research in statistics, with expertise in one or more of the following areas: computational statistics, econometrics,...


  • Copenhagen, Copenhagen, Denmark Spa 23 Fitness and Lifestyle Full time

    We are seeking a highly skilled Statistical Researcher and Educator to join our team at the Faculty of Engineering and Science, Department of Mathematical Sciences. This is an excellent opportunity to contribute to methodological research in statistics and collaborate with colleagues on cross-disciplinary projects.About the PositionAs a Statistical...


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

    Job OpportunityWe are seeking a highly motivated Postdoctoral Fellow to join our team at the Niels Bohr Institute, Københavns Universitet (KU). The successful candidate will be part of a dynamic research environment focused on Earth System Modelling and Dynamics.Key ResponsibilitiesConduct research in Earth System Modelling, with a focus on the Atlantic...


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

    Postdoctoral Fellow: Earth System Modelling and Dynamics We are seeking a highly skilled Postdoctoral Fellow to contribute to our research team in the field of earth system modelling. The successful candidate will have experience in using the NCAR Community Earth System Model or similar IPCC models. The primary goal of the project is to investigate simulated...


  • Copenhagen, Copenhagen, Denmark H. Lundbeck AS Full time

    Company Overview:Lundbeck is a leading pharmaceutical company dedicated to easing the burden of brain disorders. Our mission is to develop innovative treatments that improve patients' lives.About the Role:We are seeking an experienced In Vitro Toxicology Scientist/Specialist to join our Department of Exploratory Toxicology. As a key member of our team, you...


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

    We are inviting applications for a Post-doctoral position in the research group of Biochemical Engineering at the University of Copenhagen. The research group is driven by the vision to promote sustainable living by replacing harmful chemical synthesis and over-harvesting of natural resources with biological synthesis.Focusing on natural products, we...


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

    About the PositionWe are seeking an exceptional researcher to join our team at the University of Copenhagen as an associate professor or assistant professor in Veterinary Biochemistry. The successful candidate will be part of the Section of Pathobiological Sciences and contribute to the Department of Veterinary and Animal Sciences.Job SummaryThe University...


  • Copenhagen, Copenhagen, Denmark PSI CRO Full time

    About the RoleWe are seeking a highly skilled Clinical Research Associate II to join our team at PSI CRO. As a key member of our team, you will be responsible for conducting trials in Denmark, working closely with project stakeholders to ensure timely completion and high-quality results.Key ResponsibilitiesConduct on-site monitoring visits to ensure data...


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

    Postdoctoral Fellow in Earth System ModellingWe seek a highly skilled Postdoctoral Fellow to join our team at the University of Copenhagen, specializing in earth system modelling. This 18-month appointment will commence on January 1st, 2025, with a focus on investigating simulated multiple equilibria of the Atlantic Meridional Overturning Circulation (AMOC)...


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

    We are seeking a highly skilled Postdoctoral Fellow to join our research team in the field of earth system modelling. The successful candidate will have experience in using the NCAR Community Earth System Model or a similar class of Intergovernmental Panel On Climate Change (IPCC) models.The primary goal of the project is to investigate simulated multiple...


  • Copenhagen, Copenhagen, Denmark Alstom Full time

    At Alstom, we are dedicated to creating a greener and smarter transportation system. As a Project Systems Integration Specialist, you will be part of our team that defines the integration and validation test strategy for complex signalling projects.The goal of upgrading Denmark's mainline railway network with ERTMS level 2 baseline 3 signalling technology is...


  • Copenhagen, Copenhagen, Denmark Western Digital Capital Full time

    Job SummaryWe are seeking a highly skilled Electrical Engineer to join our Research and Advanced Development Division. As a key member of our team, you will be responsible for transforming our latest innovations into functional prototypes and supporting our product teams as they take these designs to market.Your primary focus will be on developing new...


  • Copenhagen, Copenhagen, Denmark Western Digital Capital Full time

    About This OpportunityWe are seeking a highly skilled Electrical Systems Design Engineer to join our Research and Advanced Development Division at Western Digital Capital.This role offers a unique opportunity to transform the latest innovations into functional prototypes and support product teams in taking these designs to market.The ideal candidate will...


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

    About the PositionWe are seeking a dedicated and innovative researcher to strengthen our expertise within the development and application of bioinformatic tools for analyzing metagenomes obtained from human and environmental samples. The selected candidate is expected to take a leading role in establishing an externally funded research program within...


  • Copenhagen, Copenhagen, Denmark Alstom Full time

    Company Overview:At Alstom, we understand the importance of reliable and efficient rail transportation systems. Our company is a global leader in smart and sustainable mobility, offering a broad portfolio of solutions that cater to diverse customer needs.About the Role:We are seeking an experienced Senior Rail Signalling Integration Specialist to join our...


  • Copenhagen, Copenhagen, Denmark Alstom Full time

    Embark on a rewarding career as a Railway Automation Engineer with Alstom. We offer competitive salary packages, including a base pay of $120,000 per annum, and opportunities for growth and development in a dynamic environment.About UsWe understand transport networks and what moves people at Alstom. As a global leader in the rail industry, we provide...