Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Broward College
- Universidade Católica Portuguesa - Porto
- University of Washington
- AGH University of Krakow
- The California State University
- Texas A&M University
- Virginia Community College
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- University of New Mexico
- Washington State University
- Texas A&M AgriLife Extension
- University of Maryland, Baltimore
- Nature Careers
- Binghamton University
- Oak Ridge National Laboratory
- SUNY Corning
- ESS - Escola Superior de Saúde
- NTNU - Norwegian University of Science and Technology
- University of California
- University of San Diego
- University of Saskatchewan
- University of Silesia in Katowice
- Washington University in St. Louis
- Carnegie Mellon University
- European Space Agency
- Instituto de Telecomunicações
- Kennesaw State University
- The John Paul II Catholic University of Lublin
- Aarhus University
- George Washington University
- Technical University of Munich
- Texas A&M TVMDL
- University of Michigan
- University of Vermont Medical Center
- East Carolina University
- Newcastle University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Technical University of Denmark
- The University of Western Australia
- University System of Georgia
- University of Cincinnati
- University of Kansas
- University of Nevada Las Vegas
- Villanova University
- Bellevue College
- Drexel University
- Duke University
- FESB, Split
- Foothill-De Anza Community College District
- ISCTE - Instituto Universitário de Lisboa
- Instituto de Educação da Universidade de Lisboa
- Johns Hopkins University
- NTNU Norwegian University of Science and Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- SWPS University
- The University of Arizona
- The University of Iowa
- The University of Manchester
- The University of Queensland
- University of Agriculture in Krakow
- University of Bergen
- University of British Columbia
- University of California Davis
- University of California, Los Angeles
- University of Delaware
- University of Florida
- University of Illinois at Urbana Champaign
- University of Miami
- University of North Carolina at Charlotte
- University of North Texas at Dallas
- University of Oslo
- University of Rijeka
- University of Sheffield
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Aalborg Universitet
- Aalborg University
- Alpen-Adria-Universität Klagenfurt
- Arizona State University
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Brown University
- CNRS
- California State University East Bay
- California State University, San Bernardino
- Central Michigan University
- Central State University
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- City of Hope
- Coast Community College District
- Columbus State University
- ETH Zurich
- Erasmus University Rotterdam
- Faculdade de Medicina Veterinária
- Faculty of Tourism and Hospitality Management
- Fayetteville State University
- Fondazione Bruno Kessler
- GSMA;
- Georgia College
- 90 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Economics
- Engineering
- Science
- Biology
- Materials Science
- Business
- Education
- Mathematics
- Social Sciences
- Arts and Literature
- Electrical Engineering
- Psychology
- Philosophy
- Chemistry
- Environment
- Law
- Linguistics
- Earth Sciences
- Humanities
- Sports and Recreation
- 12 more »
- « less
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
verified using myriad methods. These verification approaches range from extensive testing and simulation through to formal proofs of correctness. When used in a corroborative fashion, the results
-
on the basis of consent before its withdrawal. Selection process The first stage of the competition procedure is the formal verification of submitted documents. Applications that pass the formal verification
-
Application Deadline: 31 May 2026 Details This PhD offers a unique opportunity to work at the intersection of formal methods, control engineering, and cybersecurity within the high-stakes environment
-
., Hugging Face, LangChain). Solid understanding of symbolic logic or formal methods. Preferred Qualifications Currently pursuing a degree (Master's or PhD preferred) in Computer Science, AI, or a related
-
New York State guidelines. 3. Bachelor’s Degree in Medical Technology (hospital-based formal internship required) OR 4. Bachelor’s Degree in related science from an accredited college with subsequent
-
This PhD offers a unique opportunity to work at the intersection of formal methods, control engineering, and cybersecurity within the high-stakes environment of aerospace propulsion. You will be a
-
before its withdrawal. Selection process The first stage of the competition procedure is the formal verification of submitted documents. Applications that pass the formal verification are subject to
-
, course instructor, and report formally to the JSGS Director of Administration. The general location of work will be in the Diefenbaker Building on campus where JSGS is located. Required Number of Hours: 12
-
before its withdrawal. Selection process The first stage of the competition procedure is the formal verification of submitted documents. Applications that pass the formal verification are subject to