Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- Technical University of Munich
- University of Kansas
- University of Washington
- Aarhus University
- IMT Mines Ales
- Idiap Research Institute
- Institut de Físiques d'Altes Energies (IFAE)
- Nantes Université
- Nature Careers
- University of Luxembourg
- University of Silesia in Katowice
- Uppsala universitet
- Washington State University
- 8 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
-
well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to The position holder will be required to perform the following tasks
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to
-
at the Postdoctoral Researcher title, it is necessary to have the PhD conferred at the time of hire. Appointments made without a diploma or certified transcript indicating an earned doctorate are conditional hires and
-
. Collaborate with a multidisciplinary team of engineers, computer scientists, and data scientists to put research insights into open-source software products. Publish research findings in leading academic
-
funding is available. Actively participates in the preparation of required technical progress reports for research sponsors. Qualifications Appropriate PhD in a related field. Must be able to perform
-
large, multidisciplinary team of engineers and chemists. . Basic Qualifications Must be a recent PhD graduate within the last three years. * Must meet educational requirements prior to employment start
-
to exceed 6-months. Upon verification of degree, the appointment will be extended to its full duration. Preferred Qualifications Experience with AEM modeling software as indicated in application materials
-
Engineering Center (PSEC) at NREL, a highly interdisciplinary and collaborative team of engineers, analysts, and software developers. GAC works to develop and apply state-of-the-art energy system modeling