Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
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
-
: Appropriate PhD in related field Knowledge, Skills, and Abilities: Familiarity with appropriate laboratory and technical equipment; ability to effectively use a computer and applicable software to create data
-
Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | about 1 month ago
: PhD in nuclear engineering, applied physics, computational science, or a closely related field; demonstrated experience in Multiphysics modelling, numerical methods for PDEs, and code verification and
-
. This is an entry level position for a candidate who has recently completed a PhD in transportation engineering or planning, air pollution modeling, health impact and risk assessment of air pollution and/or
-
successful candidate will have previous experience in computer science or data science, with a PhD and publications in at least one of the following areas: Formal modelling and verification of business
-
or upon answering the questionnaire you may attach the documents. Qualifications Required Education Appropriate PhD in public health related field (e.g. health education, health services research, health
-
15th July 2025 Languages English English English Postdoctoral fellow within Range and dose verification in proton therapy Apply for this job See advertisement Dette er Høgskulen på Vestlandet With
-
Learning, Algorithms, Noise Handling (Error Correction/Mitigation), and Verification. These roles are part of the Quantum Software Lab (QSL, link: https://www.quantumsoftwarelab.com ), in collaboration with
-
models for compressible hypersonic flows; implementing new models and numerical schemes into larger, existing hypersonic CFD codebases; performing verification & validation studies for the new models