Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Chalmers University of Technology
- EPFL
- NEW YORK UNIVERSITY ABU DHABI
- Aalborg University
- Aarhus University
- Cornell University
- Durham University
- KU LEUVEN
- Stanford University
- Technical University of Munich
- Umeå University
- University of Nevada Las Vegas
- University of Twente (UT)
- Warsaw University of Technology
- bicc - Bonn International Centre for Conflict Studies gGmbH
- 5 more »
- « less
-
Field
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
years. The section includes members from research groups within NLP, AI, ML, Databases, Formal Methods, Human-Centred Computing, and others, and is uniquely characterised by an open, friendly, and
-
, platform audits, computational analyses, online or field experiments, or formal models, as appropriate to the question; Build reproducible data-collection and analysis pipelines and document methods, code
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
these methods across different crops to identify conserved patterns of stress resilience 4. Identify candidate genes associated with key agronomic traits related to resilience 5. Contribute to software and web
-
bicc - Bonn International Centre for Conflict Studies gGmbH | Bonn, Nordrhein Westfalen | Germany | 14 days ago
requirements: A completed PhD in Political Science, Peace and Conflict Studies, Migration Studies, Refugee Studies, Development Studies, International Relations, Social Anthropology, Area or Cultural Studies
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal
-
to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with