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
-
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
-
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
-
experiments in the SNS ring including experiment design, and data analysis. Develop software for data acquisition and analysis as needed. Perform simulations using a well-tested model of the SNS ring to
-
) software. Security, Credentialing, and Eligibility Requirements: For employment at Oak Ridge National Laboratory (ORNL), a Real ID compliant form of identification will be required. Additionally, ORNL is
-
project on the ROMAN galaxy redshift survey project infrastructure team led by Dr. Slepian in the Department of Astronomy. A position is available in our group to work on developing software infrastructure
-
of software and hardware techniques to explore three areas of interest: (1) real-time quality control of manufacturing processes; (2) understanding correlations between manufacturing intent, machine behavior
-
. Solid experience with qualitative and/or quantitative (at least one; both preferred) data analysis, including sufficient knowledge in statistical tools and software. Strong scientific manuscript writing