Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
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
-
: -Excellent verbal and written communication skills. -Ability to analyze data and write reports. -Ability to utilize a computer and applicable software. -Ability to multi task and work cooperatively with others
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1
-
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 or equivalent. Knowledge, Skills, and Abilities Excellent verbal and written skills. Presentation skills. Analytical skills. Attention to detail. Multiclamp 200B and 700B type amplifiers
-
flow dynamics. Experience in network analysis, capable of analyzing and interpreting the interconnectedness and hierarchical structuring of river systems. Familiarity with software and tools
-
software technologies for advanced preclinical imaging and irradiation. Refining disease models (primarily cancer) that closely mimic human pathology to support translational research. You will play a key
-
aim of translating findings into clinical trials. This project has two main objectives: Developing novel hardware and software technologies for advanced preclinical imaging and irradiation. Refining
-
using software and programming languages such as R, Python, Google Earth Engine, etc. Demonstrated ability in integrating ecological theory with ecosystem ecology and remote sensing to improve predictions
-
Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | about 2 months ago
/Administrative Internal Number: 25074 POSTDOCTORAL ASSOCIATE, Plasma Science and Fusion Center (PSFC), to lead the development of a rigorous verification and validation (V&V) framework for FESTIM, an open-source