Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
the Principal Investigator with the verified implementation of such a compiler. The verification will be done using the Rocq proof assistant. Qualifications: The ideal candidate will be experienced in formal
-
-party computation) to safeguard data privacy and model security during training and deployment. Deepfake detection: Develop advanced approaches to secure AI-driven media verification systems and prevent
-
will include: Integrating new scientific methods into our Fortran and Python-based tools, and verification and validation of the resultant implementations Supporting large-scale geospatial global and
-
and exciting environment with plenty of opportunities for collaborations. In your role as a postdoc, you will focus on the formal verification techniques for process models, and the application
-
memory systems for real-time systems. We also research the design and verification of digital systems, including chip design. Embedded Systems Engineering (ESE) is one of the 10 research sections at DTU
-
. Integrating new pumping systems and verification of aseptic bubble-free long-term perfusion. Characterizing oxygen and metabolite distribution by advanced microscopy. Performing month-long culture of stem cell
-
programmes, especially in areas such as: Embedded systems and digital design, Hardware/software co-design, Dependable and real-time systems, Operating systems and system-level programming, Verification and
-
for SSM-SNN cores Integrate RISC-V processors using SoC flows Perform full-chip simulation, verification, and prototyping Publish and present research in high-impact venues Qualifications Applicants should