Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
- Computer Science
- Biology
- Medical Sciences
- Engineering
- Psychology
- Economics
- Chemistry
- Business
- Humanities
- Materials Science
- Science
- Philosophy
- Earth Sciences
- Mathematics
- Social Sciences
- Arts and Literature
- Electrical Engineering
- Environment
- Education
- Law
- Sports and Recreation
- Statistics
- 12 more »
- « less
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
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
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including the completion
-
are security-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
-based evaluation according to a published scale (up to 5 points for academic record, 2 for professional experience, 3 for interview). Document verification and an in-person or online interview. Additional
-
, employment verification, reference checks, license verification (if applicable) and credit history check (if applicable). Fayetteville State University is committed to equality of educational opportunity and
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required