Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- Texas A&M AgriLife
- National Renewable Energy Laboratory NREL
- University of Luxembourg
- Institut de Físiques d'Altes Energies (IFAE)
- Technical University of Munich
- University of Washington
- Aarhus University
- IMT Mines Ales
- Idiap Research Institute
- Lodz University of Technology
- Nantes Université
- Nature Careers
- University of Kansas
- University of London
- University of Silesia in Katowice
- Uppsala universitet
- Washington State University
- 10 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
-
candidate will join the Systems & Software Security Lab (S3Lab) at Royal Holloway, a dynamic research group comprising 3 academics, 7 PhD students, and 1 postdoc, working on cutting-edge problems in software
-
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
-
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
-
Influencers and Politics in the Digital Age: Exploring Dynamics between Social Media Influencers, Political Organizations, and Citizens” led by Assoc. Prof. Damian Guzek, PhD, DSc. Place of work:Faculty
-
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