Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- University of Luxembourg
- Adam Mickiewicz University, Poznań
- Universidade de Aveiro
- Duke University
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Oak Ridge National Laboratory
- Peace Research Institute, Oslo (PRIO)
- University of Southern Denmark
- Argonne
- Aveiro University
- CNRS
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Heriot Watt University
- IMT Mines Albi
- INESC ID
- Leibniz
- Technical University of Munich
- Télécom Paris
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa
- University of Amsterdam (UvA); Published today
- University of Oslo
- University of Sydney
- University of Warsaw
- VIB
- 20 more »
- « less
-
Field
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
techniques, and (4) experience in method development within large software packages. We also expect experience in programming, motivation and independence in solving scientific problems. The call is open to
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
as amended) and who meet the following requirements: 1. PhD in physical sciences. 2. Fulfilled formal requirements regarding the date of obtaining the doctoral degree in accordance with the regulations
-
multi-scale, heterogeneous health data sets and develop methods aimed at building a comprehensive framework toward a holistic understanding of human health and disease. Formal application procedure
-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
nuclear forces, determining the limits of nuclear stability, and identifying signatures of new physics beyond the Standard Model. Major Duties/Responsibilities: Develop formalism, methods, and algorithms
-
training an autonomous agent to ‘learn’ a control strategy. This formalism is similar to that of optimal control, with the difference that the agent does not have an explicit model of the dynamics
-
.; • opportunities for co-supervision of a PhD- and/or a MSc student; • membership in the Norwegian Public Service Pension Fund; and • attractive welfare benefits General information For formal regulations, see
-
of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization committees and the drafting of legislative projects and