Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Texas A&M University
- Oak Ridge National Laboratory
- Texas A&M AgriLife
- George Washington University
- University of Washington
- National Renewable Energy Laboratory NREL
- Nature Careers
- University of Kansas
- Aarhus University
- Institut de Físiques d'Altes Energies (IFAE)
- Linköping University
- Lulea University of Technology
- Luleå tekniska universitet
- Technical University of Munich
- University of Luxembourg
- Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI)
- IMT MINES ALES
- IMT Mines Ales
- Idiap Research Institute
- Indiana University
- Kennesaw State University
- Massachusetts Institute of Technology (MIT)
- Poznan University of Technology
- Sandia National Laboratories
- Texas A&M AgriLife Extension
- Texas A&M University System
- UNIVERSITY OF VIENNA
- University of Cincinnati
- University of Colorado
- University of Connecticut
- University of Delaware
- University of London
- University of Reading
- University of Reading;
- University of Silesia in Katowice
- University of Vienna
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Washington University in St. Louis
- 28 more »
- « less
-
Field
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
state-of-the-art verification techniques and tools for scientific software. The project is part of a program, sponsored by the U.S. Department of Energy and the U.S. National Science Foundation, named
-
-on experience with testing, verification, and documentation of the complex software systems involved with telescope instrumentation projects. Fluency in English (spoken and written); knowledge of German is an
-
-on experience with testing, verification, and documentation of the complex software systems involved with telescope instrumentation projects. Fluency in English (spoken and written); knowledge of German is an
-
-on experience with testing, verification, and documentation of the complex software systems involved with telescope instrumentation projects. Fluency in English (spoken and written); knowledge of German is an
-
verification and security. Software systems that rely on message-passing concurrency are increasingly popular thanks to programming languages such as Go, Rust, Erlang, and Kotlin which support it natively
-
application! Work assignments AIR2 is a five-year multidisciplinary national project financed by the Wallenberg AI, Autonomous systems, and Software Program (WASP) whereby you will have the opportunity
-
programming (Shared and Distributed memory, GPU programming etc.) Demonstrated experience with distributed memory MPI programming Experience with collaborative software design, development, and testing
-
well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to The position holder will be required to perform the following tasks
-
data science, and/or public health or related fields including health services research, health informatics, computer scienceExperience in data analysis using statistical software & machine learning (e.g