429 zoekresultaten voor “program verification” in de Publieke website
-
Willemien den Ouden en Esmée Driessen presenteren eerste versie keuzetool en routekaart project Financieren in Netwerken
Woensdag 6 juni hebben Willemien den Ouden, Esmée Driessen, Jorren Scherpenisse (Nederlandse School voor Openbaar Bestuur) en de studenten van het Leiden Leadership Program de eerste versie mogen presenteren van de keuzetool en de routekaart die zijn ontwikkeld in het kader van het project Financieren…
-
Lancering zevende editie van de European Cyber Security Perspectives
KPN publiceerde de zevende editie van de European Cyber Security Perspectives. Els De Busser en Tommy van Steen hebben een artikel bijgedragen over interdisciplinariteit in cybersecurity.
-
Bijeenkomst Oud-Sterrewachters: Zwarte gaten en hete kolen
Op 21 juni was weer de traditionele Sterrewacht barbecue waarbij ook de leden van de Vereniging van Oud-Sterrewachters (VO-S) welkom zijn. 's Middags was er voor hen ook een speciaal middagprogramma. Hierbij waren een 15-tal leden aanwezig.
-
Jaap de Hoop Scheffer krijgt eretitel Minister van Staat
Hoogleraar Jaap de Hoop Scheffer (International Relations and Diplomatic Practices) wordt benoemd tot minister van Staat. Dat maakte premier Rutte op 22 juni bekend.
-
Nederlandse Beauty and Joy of Computing kan meisjes overtuigen om voor informatica te kiezen
Lespakketten over programmeren zijn vaak alleen beschikbaar in het Engels. Des te meer reden voor het Programming Education Research Lab (PERL) van het Leiden Institute of Advanced Computer Science (LIACS), Technische Universiteit Eindhoven en Universiteit Twente om het programmeerlespakket ‘Beauty…
-
Eerste professionals krijgen certificaat Legal Technologies: ‘Het was leuk, leerzaam en intensief’
Met een feestelijke certificaatuitreiking hebben vorige week de eerste zeven professionals het nieuwe Leiden Legal Technologies Programma (LLTP) succesvol afgerond. Dit zorgde voor tevreden gezichten bij de grondlegger van het programma, Jaap van den Herik, programmadirecteur Nikol Hopman en de Haagse…
-
Een zomer vol ruimtevaart
Deze zomer staan Leiden, Den Haag, Noordwijk en Delft in het teken van de ‘Sizzling Summer of Space’. Het internationale Space Studies Program vindt hier plaats, en daarom worden allerlei activiteiten over ruimtevaart georganiseerd. Van filmvertoning tot Science Café en van een tentoonstelling met satellieten…
-
Bijzondere leerstoel War Studies
Het primaire doel van de leerstoel is het uitvoeren en bevorderen van wetenschappelijk onderzoek naar de rol van het militaire instrument in hedendaagse conflicten en het verhogen van de kennis daarover in de Nederlandse maatschappij.
-
PHD candidate/graduate student in dynamical systems
Wiskunde en Natuurwetenschappen, Mathematisch Instituut (MI)
-
2 PhD Candidates, Reinforcement Learning for Sustainable Energy
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
PhD Candidate in the Physics of Living Materials
Wiskunde en Natuurwetenschappen, Lorentz Center
-
Development of life cycle assessment for residue-based bioenergy
Wat zijn de belangrijkste thema's in het uitvoeren van systemen voor bio-energie ?
-
PhD Candidate, Privacy-Preserving Machine Learning
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
ERC-funded Postdoctoral Researcher in Molecular Plant Immunity
Wiskunde en Natuurwetenschappen, Instituut Biologie Leiden (IBL)
-
Lab and project manager
Wiskunde en Natuurwetenschappen, Instituut Biologie Leiden (IBL)
-
Postdoc in the fields of single cell biophysics and biomolecular condensate mechanics
Wiskunde en Natuurwetenschappen, Leiden Academic Centre for Drug Research (LACDR)
-
PhD candidate in Bioinformatics Safety Assessment of Gene and Cell Therapy
Wiskunde en Natuurwetenschappen, Leiden Academic Centre for Drug Research (LACDR)
-
Wetenschappelijke publicaties
Een lijst met wetenschappelijke publicaties samengesteld door het team van het TRIXY Expertisecentrum.
-
Staff position (Assistant, Associate, Full Professor) in drug development for inflammatory diseases (fulltime)
Wiskunde en Natuurwetenschappen, Leiden Academic Centre for Drug Research (LACDR)
-
Studeren in het buitenland
Aan de Universiteit Leiden heb je talloze mogelijkheden om in het buitenland te studeren of stage te lopen. Zo gaat er letterlijk een nieuwe wereld voor je open, vergroot je je kansen op de arbeidsmarkt en ontwikkel je je als persoon.
-
Vervolgopleidingen
Door het volgen van een master vergroot je je kansen op de arbeidsmarkt om een baan op niveau te vinden. Na de driejarige bachelor kun je direct doorstromen naar een één- of tweejarige master bij de Universiteit Leiden of een andere instelling.
-
Vervolgopleidingen
Door het volgen van een master vergroot je je kansen op de arbeidsmarkt. Na de driejarige bachelor kun je direct doorstromen naar een één- of tweejarige master bij de Universiteit Leiden of een andere instelling.
-
Vervolgopleidingen
Door het volgen van een master vergroot je je kansen op de arbeidsmarkt om een baan op niveau te vinden. Na de driejarige bachelor kun je direct doorstromen naar een één- of tweejarige master bij de Universiteit Leiden of een andere instelling.
-
Studeren in het buitenland
Aan de Universiteit Leiden heb je alle ruimte om in het buitenland te studeren of stage te lopen. Zo gaat er letterlijk een nieuwe wereld voor je open, vergroot je je kansen op de arbeidsmarkt en ontwikkel je je als persoon.
- Carrièreperspectieven
- Lecturer of Modern Standard and Moroccan Arabic
- PhD candidate in GUTS consortium, Data Science for Interdisciplinary Research
-
Er staat een olifant in de kamer. Oratie van Dennis Broeders over cyberspionage
Cyberspionage door geheime diensten neemt extremere vormen aan, maar niemand erover. Dennis Broeders weet waarom en probeert het bespreekbaar te maken. Hij houdt vrijdag 31 maart zijn oratie.
-
Analyst - Stem cell platform
Wiskunde en Natuurwetenschappen, Leiden Academic Centre for Drug Research (LACDR)
-
Gratis cursus AI en Ethiek: ‘Iedere burger zou hier meer over moeten weten’
De cursus AI en Ethiek is vanaf nu gratis online te volgen voor iedereen die meer wil weten over de ethische implicaties van kunstmatige intelligentie. Eén van de acht experts die in de cursus aan het woord komen, is universitair docent en hoogleraar Reijer Passchier. ‘Artificiële intelligentie verspreidt…
-
Jaap van den Herik over Legal Technologies
Recent werd Jaap van den Herik, emeritus hoogleraar Recht en Informatica, geinterviewd door de BNVKI (Benelux Vereniging voor Kunstmatige Intelligentie).
-
Laura van der Plas: ‘We willen laten zien dat we een community zijn die om elkaar geeft’
Laura van der Plas is sinds eind 2021 Wellbeing Officer voor Campus Den Haag. Door middel van verschillende projecten, zorgt zij ervoor dat er meer aandacht komt voor studentenwelzijn. Hoe gaat dit tot nu toe? En wat zijn deze projecten precies? Laura praat ons bij over de huidige stand van zaken.
-
Pascal Professor 2015
In 2015 the Pascalchair of the Faculty of Science, Universiteit Leiden and in particular of Leiden Institute of Advanced Computer Science, is held by Prof. Dr. Natasa Jonoska, University of South Florida, Tampa, USA.
-
6th Quantum Software Consortium General Assembly
Congres/symposium
-
Leiden Law Cast #6: Rechtsprekende computers & kunstmatige intelligentie met Jaap van den Herik
Leiden Law Cast is een podcast voor iedereen die meer wil weten over actuele juridische onderwerpen, gemaakt door de Faculteit der Rechtsgeleerdheid van de Universiteit Leiden.
-
Praagse delegatie brengt bezoek aan Leiden
Een universiteitsbrede delegatie van het Praagse Charles University bezocht op 9 november de Universiteit Leiden. Onder leiding van rector magnificus Prof. Tomáš Zima is de delegatie in Nederland op zoek naar mogelijkheden voor samenwerking in onderzoek en onderwijs.
-
Nieuwe front office Universiteit Leiden in Jakarta geopend
Eind juli hebben Robbert Dijkgraaf, minister van Onderwijs, Cultuur en Wetenschap en Annetje Ottow, voorzitter van het College van Bestuur van de Universiteit Leiden, in Jakarta de nieuwe front office van het kantoor van de Universiteit Leiden geopend. Het kantoor - gelegen op het terrein van de Nederlandse…
-
Shuai Guo wint International Insolvency Institute’s 2018 Prize
Shuai Guo, promovendus verbonden aan de afdelingen Ondernemingsrecht en het Hazelhoff Centre for Financial Law, heeft de Silver Medal gewonnen in de International Insolvency Institute (III) 2018 Prize in International Insolvency Studies. III is een prestigieuze, non-profit en members-only organisatie…
-
Genomen van bacteriën in kaart brengen om infectieziektes te bestrijden
Hoe passen bacteriën zich aan aan een nieuwe leefomgeving? Hoe zitten genomen van bacteriën precies opgevouwen in cellen? Dat gaat een internationaal team van wetenschappers onderzoeken, onder leiding van de Leidse biochemicus Remus Dame. Het Human Frontier Science Program heeft hiervoor een subsidie…
-
Wetenschappers vragen hulp bij depressie-epidemie
De aanpak van depressie is niet alleen een zaak van psychologen en neurowetenschappers, schrijven Claudi Bockting en elf andere hoogleraren en onderzoekers, onder wie de Leidse psychologen Eveline Crone en Philip Spinhoven.
-
Onderzoek naar kinderrechten en biogeneeskunde gepresenteerd bij de Bioethics Unit van de Raad van Europa
Donderdag 8 juni 2017 hebben Ton Liefaard (UNICEF hoogleraar Children’s Rights en programmadirecteur van de Master of Laws: Advanced Studies in International Children’s Rights, LL.M. program) en Daniella Zlotnik (onderwijs- en onderzoeksmedewerker bij de Afdeling Jeugdrecht) een bezoek gebracht aan…
-
Onderzoek naar kinderrechten en biogeneeskunde voor de Stuurgroep inzake bio-ethiek van de Raad van Europa
Het onderzoek ‘From Law to Practice: Towards a Roadmap to Strengthen Children’s Rights in the Era of Biomedicine’ geschreven door academici de Faculteit der Rechtsgeleerdheid van de Universiteit Leiden en voorgelegd aan het Bio-ethiek comité van de Raad van Europa is nu online beschikbaar.
-
ALMA boekt zoet resultaat: bouwstenen van leven gevonden bij jonge ster
Een team van astronomen, onder wie de Leidse hoogleraar Ewine van Dishoeck, heeft met behulp van de Atacama Large Millimeter/submillimeter Array (ALMA) suikermoleculen ontdekt in het gas rond een jonge, zonachtige ster. Het is voor het eerst dat er in de ruimte rond zo’n ster suiker is gedetecteerd.…
-
This Week's Discoveries | 26 November 2019
Lezing
-
Research Memoranda
Onderzoekreeks van de Afdeling Economie van de Universiteit Leiden op het raakvlak van economie en recht.
-
GLOBOX
GLOBOX is a spatially differentiated multimedia fate, exposure and effect model. It is used for the calculation of spatially differentiated LCA characterisation factors on a global scale.
-
Assistant Professor (UD) in the field of Ecosystems and Sustainability
Governance and Global Affairs, Leiden University College The Hague
-
Principal Investigator/Tenure tracker/Full professor: Urban Ecology
Wiskunde en Natuurwetenschappen, Instituut Biologie Leiden (IBL)
-
Data Science
Het merendeel van de wetenschappers, van archeologen tot zoölogen, verzamelt enorme hoeveelheden gegevens. Hun databanken bevatten grote hoeveelheden informatie die voor de mens moeilijk te filteren zijn. Met een stevige basis in de statistiek en de computerwetenschappen kunnen we algoritmes ontwikkelen…
-
Kunstmatige intelligentie en machine learning
Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…