Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Texas A&M University
- Texas A&M AgriLife
- Oak Ridge National Laboratory
- University of North Carolina at Chapel Hill
- National Renewable Energy Laboratory NREL
- Technical University of Denmark
- Texas A&M University System
- University of Washington
- Technical University of Munich
- University of Kansas
- Washington State University
- ;
- Aarhus University
- Colorado State University
- Durham University
- Embry-Riddle Aeronautical University
- Empa
- European Space Agency
- Harvard University
- INESC ID
- Institute of Dendrology, Polish Academy of Sciences
- Kennesaw State University
- Maastricht University (UM)
- Maastricht University (UM); Maastricht
- Massachusetts Institute of Technology (MIT)
- Nature Careers
- SUNY University at Buffalo
- TTI
- Texas A&M AgriLife Extension
- U.S. Department of Energy (DOE)
- University of Arkansas
- Vanderbilt University
- Virginia Tech
- Washington University in St. Louis
- Western Norway University of Applied Sciences
- 26 more »
- « less
-
Field
-
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
-
responsibility for our unique GPU-accelerated 3D FDTD software suite and extending its capabilities Modelling the effects of atmospheric turbulence fields Software development (3D modelling and coding in Python, C
-
: -Excellent verbal and written communication skills. -Ability to analyze data and write reports. -Ability to utilize a computer and applicable software. -Ability to multi task and work cooperatively with others
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
collaborative team of engineers, analysts, and software developers. GAC works to develop and apply state-of-the-art energy system modeling techniques, software, and simulations for breakthrough engineering and
-
Engineering Center (PSEC) at NREL, a highly interdisciplinary and collaborative team of engineers, analysts, and software developers. GAC works to develop and apply state-of-the-art energy system modeling
-
software or equivalent. Knowledge, Skills, and Abilities Excellent verbal and written skills. Presentation skills. Analytical skills. Attention to detail. Multiclamp 200B and 700B type amplifiers
-
flow dynamics. Experience in network analysis, capable of analyzing and interpreting the interconnectedness and hierarchical structuring of river systems. Familiarity with software and tools
-
software technologies for advanced preclinical imaging and irradiation. Refining disease models (primarily cancer) that closely mimic human pathology to support translational research. You will play a key