Sort by
Refine Your Search
-
Category
-
Field
-
Job related to staff position within a Research Infrastructure? No Offer Description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies
-
Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and
-
mathematical methods, algorithms, and applications are required. Simulators are a recognized method for architectural design explorations and the implementation of software development platforms. The goal
-
architectural design explorations and the implementation of software development platforms. The goal of this PhD is to create a modular and extensible simulation infrastructure that facilitates design
-
software to the online reconstruction of events in the High Level Trigger. Qualifications We are looking for motivated candidates who meet the following requirements: MSc degree in physics, or a closely
-
for this position) Experience with programming languages (e.g., Python, MATLAB) and simulation software Excellent academic a dynamic, creative and pioneering professional attitude with a willingness to