Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Program
- 
                Employer
- 
                Field
- 
                
                
                project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies 
- 
                
                
                will: Independently carry out experimental and computational research within an interdisciplinary team. Develop software tools and support their integration into research workflows. Provide technical 
- 
                
                
                analysis and dose verification (depending on your experience). What you will do As a postdoctoral researcher, you will: Independently carry out experimental and computational research within 
- 
                
                
                the Directorate of Connectivity and Secure Communications. The ESA Programme Related to EU Secure Connectivity, hereinafter referred to as Secure Connectivity, is intended to support the effective development and 
- 
                
                
                Programme, Directorate of Science for the specific responsibilities and duties outlined below. * PA&S covers safety assurance, reliability, availability, maintainability, quality assurance, components 
- 
                
                
                with lunar small missions, in addition to select system engineering tasks. You will ensure that projects are executed in accordance with technical requirements and programme milestones, contributing 
- 
                
                
                project environment, including software development standards and space qualification standards Behavioural competencies Education A master's degree in engineering, physics or a relevant scientific field is 
- 
                
                
                ); units such as onboard computers, mass memories, remote terminals and instrument control units*; digital and analogue signal processing electronics for payload/platform functions; front-end acquisition and