Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Texas A&M University
- University of North Carolina at Chapel Hill
- National Renewable Energy Laboratory NREL
- Technical University of Denmark
- Technical University of Munich
- University of Kansas
- University of Washington
- Washington University in St. Louis
- ;
- Durham University
- European Space Agency
- Massachusetts Institute of Technology (MIT)
- Mälardalen University
- Nature Careers
- SUNY University at Buffalo
- Texas A&M AgriLife
- University of Arkansas
- Vanderbilt University
- Virginia Tech
- Western Norway University of Applied Sciences
- 11 more »
- « less
-
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
-
Massachusetts Institute of Technology (MIT) | Cambridge, Massachusetts | United States | 15 days 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
-
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
-
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
-
may attach the documents Schedule: This position may require work beyond normal office hours and/or work on weekends Other: This position is grant funded Qualifications Required Education A PhD in any
-
required. Qualifications Required Education and Experience: Appropriate PhD in neuroscience, neurophysiology, or a related field. Preferred Qualifications: Expertise in software /data analysis such as
-
facilitates the introduction of ‘hidden in plain sight’ CSI features, when combined with the right instrument can facilitate ad-hoc verification further advancing security and authenticity. In 2020 our