Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
for seizure detection. These algorithms will be implemented on a spiking neural network (SNN) processing unit deployed on FPGA and custom-designed chips with an integrated detection mechanism. Research area and
-
. The research will bridge both established and emerging technical expertise within the section, encompassing areas such as FPGA and neuromorphic computing, Edge AI, machine learning, power electronics, and self
-
chemistry, systems biology, metabolic networks, or microbial communities is an advantage but not a must. Solid competences in programming and ease with formal thinking are prerequisites. The project is based
-
programming and ease with formal thinking are prerequisites. The project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the modeling of microbial
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
-
of extension for the project SECUREAM: Advancing Cybersecurity in Additive Manufacturing in the intersection of blockchain, cryptography, software engineering, and applied formal methods, starting February 1
-
outlook. We expect you to have good communication and personal interaction skills and to be fluent in English. As a formal qualification, you must hold a PhD degree (or equivalent). Further information
-
). Experience with thermoelectric generators or building materials is an asset. As a formal qualification, you must hold a PhD degree (or equivalent). We offer DTU is a leading technical university globally
-
to publish at the highest level in the international peer-reviewed research literature As a formal qualification, you must hold a PhD degree (or equivalent). We offer DTU is a leading technical university