Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings
-
and production of software tools for in silico screening of chemical libraries and rational drug design of molecules for therapeutic purposes. - Contribute to the development of a high-throughput
-
for a duration of six years. NumPEx contributes to the design and the development of numerical methods, software components and tools that support future productive European exascale and post-exascale
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
count regime, joint gamma/neutrino studies of VHE data. The requited person will achieve these research studies within the H.E.S.S., CTAO or KM3NeT collaboration. - Gammapy developer (code, test
-
ExperienceNone Additional Information Eligibility criteria Knowledge in electromagnetism Design based on full-wave software expertise Skills in clean-room fabrication techniques Website for additional job details
-
to enable selective encryption of certain objects in the scene, for example, blurring faces in a video surveillance scenario. Secondly, we plan to explore content integrity verification. More specifically
-
order to write scientific articles and present result in international conferences. - Experience with one of the following would be a plus: optical design software (Zemax), Particle-in-Cell simulations
-
mechanical design, including 3D modeling, design, and 3D printing, with proficiency in tools such as Blender or equivalent software; - Experience in designing printed circuit boards (PCBs) and using electronic
-
Experience1 - 4 Additional Information Eligibility criteria Education, scientific skills sought, desired professional experience. Knowledge of techniques, operational skills, software, etc. The postdoctoral