Sort by
Refine Your Search
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
Software Defined Vehicles (SDV). The primary objective is to expand, mature, and industrialize a novel European RISC-V automotive ecosystem that enables next-generation high-performance European automotive
-
, encryption/decryption and compression; use of microelectronics devices (including COTS); implementation, inference, verification and validation of algorithms** on processing hardware platforms for space
-
mammals. We are looking for a postdoctoral researcher with physics or engineering expertise who will design and operate a 3D super-resolution ultrasound system, write control software, build computational
-
are looking for a postdoctoral researcher with physics or engineering expertise who will design and operate a 3D super-resolution ultrasound system, write control software, build computational imaging pipelines
-
would need to be successful. In addition to mass spectrometers, successful applicants will be familiar with multidimensional liquid chromatography, data analysis software (e.g., Mascot, Proteome
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification