Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- George Washington University
- Texas A&M University
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- University of Arkansas
- University of Washington
- Delft University of Technology (TU Delft)
- Oak Ridge National Laboratory
- Technical University of Munich
- Texas A&M AgriLife Extension
- University of Kansas
- University of Silesia in Katowice
- Uppsala universitet
- ;
- Aalborg University
- Arizona State University
- CEA
- CNRS
- Colorado State University
- Durham University
- Embry-Riddle Aeronautical University
- INESC ID
- KTH Royal Institute of Technology
- Mälardalen University
- SUNY University at Buffalo
- The University of Arizona
- University of Glasgow
- University of Zurich Blockchain Center
- Vanderbilt University
- Washington University in St. Louis
- Åbo Akademi University
- 21 more »
- « less
-
Field
-
for the verification of safety, adaptability and resilience properties, while maintaining a realistic view of distributed software systems in the presence of failures, message inconsistencies or service degradation
-
Software Engineering, more specifically: Design, verification, and validation of resilient software-intensive systems Software Engineering for AI AI for Software Engineering The work tasks include teaching
-
special education to support classroom teachers’ assessment and support for all children Knowledge, Skills, and Abilities Working knowledge of office software and instructional programs Knowledge
-
verification, the appointment will be extended to its full duration. Preferred Qualifications Expertise with software or coding is preferred, including with Python, GIS, and Jupyter notebooks, as evidenced by
-
software. CSED focuses on transdisciplinary computational science and analytics at scale to enable scientific discovery across the physical sciences, engineered systems, and biomedicine and health. It
-
SPSS software or with a similar software, experience in conducting research in the area of social sciences, experience in realization of research projects, documented international research activity
-
. Part of the focus will be devoted to the development of novel approaches to guide the priorization of genes, identification of clusters thereof, and the construction of software tools to support
-
acquired deposition and characterization equipment, maintaining existing experimental facilities, as well as development and modification of data analysis software. The postdoc appointment is for 3 years
-
Design & Verification: Develop and verify RTL code in SystemVerilog/Verilog to ensure robust digital VLSI design. Optimization & Physical Implementation: Drive the process from synthesis through place-and
-
language theory, and software verification and validation Robotics and Autonomous Systems such as the development of intelligent robotic systems, autonomous vehicles, and human-robot interaction technologies