599 search results for “software debugging” in the Public website
-
Automatic annotation of multi-modal language resources
The AAM-LR project aims at building a demonstrator of a web service that will help filed researchers to annotate audio- and video-recordings.
-
Programme structure
The MSc specialisation ICT in the Public Sector gives you the opportunity to study the field of IT management in a governmentall setting. You will learn how to benefit from your technical Computer Science knowledge on an administrative, management level.
-
Ariane Briegel: 'AI literally opens new worlds for the life sciences'
Bacteria caught red-handed, deeply frozen just as they were about to cause Lyme’s disease. Ariane Briegel is wildly enthusiastic about the wonders she observes thanks to three elements: a freezing technique, a camera-equipped microscope, and AI. ‘It’s fascinating. Every single cell is different.’
-
Visiting Researchers
LIAS hosts Visiting Researchers from around the world. The programme provides Visitors access to LIAS facilities (including Leiden University Library) so that they can conduct research on an approved topic. As an academic institution committed to international cooperation and exchange, LIAS welcomes…
-
Programme structure
The master's specialisation Applied Cognitive Psychology consists of three main parts: the mandatory and elective courses, a thesis and an internship.
-
Teaching PhD position(1.0 fte)
Science, Leiden Institute of Advanced Computer Science (LIACS)
- Science Coffee: Free as in Freedom: Contributing to Free/Open Source Software
-
PhD candidate, Hardware Security of AI Processors at the Edge
Science, Leiden Institute of Advanced Computer Science (LIACS)
-
Science Coffee: Free as in Freedom: Contributing to Free/Open Source Software
Lecture
-
Studies into Interactive Didactic Approaches for Learning Software Design Using UML
PhD defence
-
Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach.
PhD defence
-
Software Improvement Group activities in standardization, research, development and assessment in the areas of AI, security and privacy.
Lecture
-
Career prospects
Many students receive their first job offer during or right after their Business Studies internship. With an MSc in Physics you are well prepared for broad array of career prospects in research or industry.
-
Career prospects
With your Physics degree you are well prepared for broad array of career prospects in research or industry. The master degree is an excellent stepping stone for pursuing a PhD degree.
-
Career prospects
The Biological- and Soft-Matter Physics specialisation is an excellent preparation for pursuing a PhD degree in physics.
-
Career prospects
After graduation you have a lot of opportunities: academics are highly sought after in Dutch secondary education or mbo teaching. You can also aim for a management position or work as a researcher within the field of Computer Sciences.
-
Career prospects
After graduation you will have a lot of opportunities: academics are highly sought after in Dutch secondary education or MBO teaching. You can also aim for a management position or work as a researcher within the field of Physics.
-
Orchestration of Distributed LOFAR Workflows
The LOFAR radio telescope produces petabytes of data every year. Radio Astronomers use complex multi-step pipelines to process this data and produce scientific images.
-
Verified Reowolf
Using formal methods, we rigorously validate and verify functionality and security properties of essential Internet protocols. In this project, we unambiguously specify Internet protocols (i.e. IP, TCP, UDP, BGP, DNS) using Reowolf's Protocol Description Language (PDL).
-
Real-time tomographic reconstruction
With tomography it is possible to reconstruct the interior of an object without destroying.
-
Educational vision
Read here what we find important in our education.
-
AI-SUPPORTED SYNTHESIS OF SHEPARD-RISSET FREQUENCY SETS
Implementation of the new sound synthesis and analysis method in music composition.
-
Benchmarking Discrete Optimization Heuristics
This thesis involves three topics: benchmarking discrete optimization algorithms, empirical analyses of evolutionary computation, and automatic algorithm configuration.
-
The gravitational billion body problem
Promotor: Prof.dr. S. Portegies Zwart
-
Research
Computers are becoming ever more powerful and are taking on more complex tasks. The Leiden Institute of Advanced Computer Science (LIACS) contributes to revolutionary scientific research and applies the latest inventions in the field, offering answers to today’s questions of society.
-
The use of Deep Learning in the automated detection of archaeological objects in remotely sensed data
Generally the data from remote sensing surveys - the scanning of the earth by satellite or aircraft in order to obtain information about it - is screened manually in archaeology. However, constant monitoring of the earth's surface causes a huge influx of data of high complexity and high quality. To…
-
RaMa-SCENE
A scenario building web-tool and knowledge package to enable multi-level decision making for the transition to the Circular Economy
-
Predicting crime in dark web forum networks
In this project, we use social network analysis to analyze the behavior of users in online forums and associated marketplaces over time.
-
Career prospects
The Research in Physics, Quantum Matter and Optics specialisation is an excellent stepping stone for pursuing a PhD degree.
-
Support with Active Learning & Teaching (SWAT)
You can get various forms of support for you active learning ambitions. Have you already reflected on your teaching practice and have a clear idea of your goals? Your first point of contact should then be your ICTO Coordinator & ICLON. Do you want to join the network of others involved in the topic?…
-
Novel approaches for direct exoplanet imaging: theory, simulations and experiments
The next generation of high-contrast imaging instruments on space-based observatories requires sophisticated wavefront sensing and control in addition to a high-performance coronagraph.
-
LUCRIS/Converis Graduate School Management module
The Graduate School Management (GSM) module is a registration and monitoring module for you and your supervisor(s). All information is stored in a uniform way and made accessible in one place. Converis is the software behind LUCRIS.
-
Multimodality: Reshaping Anthropology
In the article Multimodality: Reshaping Anthropology, Mark Westmoreland describes how multimodality provides anthropologists with a new perspective on how we conduct research, produce scholarship, teach students, and interact with diverse audiences.
-
Combining monitoring with run-time assertion checking
Promotor: Prof.dr. F.S. de Boer
-
Science based business
The mission of science based business (SBB) connects the domains of science, business, and policy. Scientific research we focus on at Leiden in areas such as artificial intelligence promises to reshape our societies for the better. Translating science into positive societal impact however requires new…
-
Lab facilities Social and Organisational Psychology
Observational, cognitive and physiological measurements in social contexts.
-
Designing Ships using Constrained Multi-Objective Efficient Global Optimization
A modern ship design process is subject to a wide variety of constraints such as safety constraints, regulations, and physical constraints.
-
Products and downloads
Here you can find products and research tools developed by the Navigation Lab Leiden
-
Latency, Energy, and Schedulability of Real-Time Embedded Systems
Systems are called real-time systems, if the correctness of the system does not only depend on the correctness of the system output but also on whether the output is delivered on time.
-
Educational vision
Our education specializes in creative exploration and a broad understanding of scientific research and technology. It prepares students for a career involving creative and critical thinking, and in particular for a future in scientific research.
-
Methods and Tools for Mining Multivariate Time Series
Mining time series is a machine learning subfield that focuses on a particular data structure, where variables are measured over (short or long) periods of time.
-
eLaw - Center for Law and Digital Technologies
The Center studies the social, legal and normative impact of emerging digital technologies.
-
DNAmarkerpoint
The main purpose of DNAmarkerpoint is to better understand the ecology, evolution and biodiversity through the study of ancient- and modern DNA.
-
IT Specialist NeCEN
Science, Institute of Biology Leiden (IBL)
-
Ethics: how selfless should a self-driving car be
Intelligent machines are going to make ethical decisions too. Should a self-driving car be allowed to slam into pedestrians to save its passengers from a head-on collision? Should a negotiation app be able to detect stress in your opponent’s voice? And who makes these decisions: the user, the system’s…
-
Job Profile IT Specialist NeCEN
Science, Institute of Biology Leiden (IBL)
-
Technical Teamlead
Student and Educational Affairs, Centre for Innovation
- Administrative / Library / Other
-
Practical information
On this page you will find information about facilities you should know about as a PhD candidate at Leiden University.
-
Hit Discovery
The goal of hit discovery is to identify suitable chemical starting points to modulate a drug target. A hit can be, a.o., a small molecule, a protein or mRNA. Hit identification is performed via rational design, genome mining, (targeted) library screening, or in silico approaches.