Formal Verification Researcher
4 hours ago
PhD Fellowship in Formal Verification at the University of Copenhagen
About 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 programs and research opportunities.
SalaryThe 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 DescriptionThis 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
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
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
-
PhD Researcher in Formal Verification
1 month ago
Copenhagen, Copenhagen, Denmark University of Copenhagen Full timeTerms 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...
-
PhD Researcher in Formal Verification
4 weeks ago
Copenhagen, Copenhagen, Denmark University of Copenhagen Full timeTerms 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...
-
PhD Position in Formal Verification
2 weeks ago
Copenhagen, Copenhagen, Denmark University of Copenhagen Full timeThe 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...
-
Project Verification and Validation Engineer
1 month ago
Copenhagen, Copenhagen, Denmark Alstom Full timeAbout 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...
-
Statistical Researcher
1 month ago
Copenhagen, Copenhagen, Denmark Spa 23 Fitness and Lifestyle Full timeJob 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,...
-
Statistical Researcher and Educator
7 days ago
Copenhagen, Copenhagen, Denmark Spa 23 Fitness and Lifestyle Full timeWe 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 timeJob 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...
-
Earth System Modelling and Dynamics Researcher
3 weeks ago
Copenhagen, Copenhagen, Denmark Københavns Universitet Full timePostdoctoral 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...
-
Toxicology Researcher
5 days ago
Copenhagen, Copenhagen, Denmark H. Lundbeck AS Full timeCompany 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 timeWe 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...
-
Veterinary Biochemistry Research Scholar
3 weeks ago
Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full timeAbout 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 timeAbout 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 timePostdoctoral 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 timeWe 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...
-
Project Systems Integration Specialist
3 weeks ago
Copenhagen, Copenhagen, Denmark Alstom Full timeAt 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...
-
Hardware Design Engineer
1 month ago
Copenhagen, Copenhagen, Denmark Western Digital Capital Full timeJob 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...
-
Hardware Design Engineer
3 weeks ago
Copenhagen, Copenhagen, Denmark Western Digital Capital Full timeAbout 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 timeAbout 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 timeCompany 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...
-
Railway Automation Engineer
5 hours ago
Copenhagen, Copenhagen, Denmark Alstom Full timeEmbark 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...