Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Education
- Biology
- Science
- Mathematics
- Materials Science
- Social Sciences
- Business
- Arts and Literature
- Law
- Psychology
- Chemistry
- Linguistics
- Humanities
- Environment
- Design
- Philosophy
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
, http://urh.uma.pt/ , with the candidate being notified by email. XI. Application deadline and method of submitting applications: a) Applications may be submitted within 10 working days following
-
University Lisbon, for the development of teaching and research activities in the disciplinary field of Humanities, namely in the fields of Digital Humanities and Quantitative Methods. The teaching and
-
on Additional Conditions for Selection for Scientific Positions at the Institute (https://www.krs.hr/o-institutu/dokumenti ), applicants must meet the following requirements: • Doctorate in the field
-
applying for external funds, taking into account the formal criteria of a given call Employment Conditions: Full-time employment under a work contract for a period of 48 months (duration of doctoral studies
-
meaningful explanations when unexpected situations arise. We plan to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and
-
National Aeronautics and Space Administration (NASA) | Greenbelt, Maryland | United States | about 15 hours ago
. Description: The relatively recent subject of Astrobiology - the study of the origin and prevalence of life in the universe - only formally launched in the late 1990s, is an exciting and rapidly growing field
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 21 hours ago
pleural catheter placement, medical thoracoscopy and management of complex pleural processes. Preferred Qualifications, Competencies, and Experience Formal training in clinical research methods
-
respond to prospective student questions. The recruiter will follow up with prospective students by phone, email, text, and other approved methods; assist with admissions applications; and connect students
-
; software analytics; formal methods; software testing; software maintenance & evolution; human-aspects in SE; engineering IoT, Cyber-Physical Systems & drones; sustainable SE. o Cybersecurity, including