Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- University of Texas at Austin
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Universidade Católica Portuguesa - Porto
- AGH University of Krakow
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- INESC ID
- University of Kansas
- University of Minho
- University of Oslo
- University of Silesia in Katowice
- AI4I
- Alpen-Adria-Universität Klagenfurt
- Carnegie Mellon University
- Hong Kong Polytechnic University
- IMT Mines Ales
- Idiap Research Institute
- Jagiellonian University
- Japan Advanced Institute of Science and Technology
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- New York University in Abu Dhabi
- Oak Ridge National Laboratory
- Poznan University of Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- The California State University
- The University of Iowa
- UNIVERSITY OF SOUTHAMPTON
- Universidade Católica Portuguesa
- University of Agriculture in Krakow
- University of New Mexico
- 20 more »
- « less
-
Field
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
degree; - have relevant scientific achievements; - take an active part in scientific life. Selection process The first stage of the competition procedure is the formal verification of the submitted
-
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
-
exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a formal job offer upon successful completion
-
have until June 30, 2026 to complete the final exam. Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering
-
exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a formal job offer upon successful completion
-
, located at Universidade Católica Portuguesa – Centro Regional do Porto, Rua de Diogo Botelho, 1327, 4169-005 Porto, Portugal and will be published on the website http://esb.ucp.pt . Candidates will be
-
other job-related verifications may be carried out. Job offer: The selected candidate receives a formal job offer upon successful completion of the process. Additional comments VHIR embraces Equality and
-
. Qualifications Applicants should: (a) have a PhD degree in Engineering with expertise in learning based control, data driven control, formal methods and temporal logic control, autonomous control, verification
-
, and support grant proposals. The Postdoctoral Research Associate will be formally appointed in the area that best aligns with their career goals and educational background, based on the candidate’s