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
-
hardware to the Vertex Locator silicon detector and the Scintillating Fiber Tracker, and in software to the online reconstruction of events in the High Level Trigger. Where to apply Website https
-
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
-
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
-
, tailored, complex materials such as advanced polymers or polymeric formulations, catalysts, mechatronic devices and software and algorithms. Design, control and modelling and analyses complement