Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Cincinnati
- The University of Queensland
- University of New South Wales
- Indiana University
- University of Oslo
- University of Texas at Austin
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Chippewa Valley Technical College
- Colorado State University
- Harvard University
- INESC ID
- INESC TEC
- Nanyang Technological University
- Oak Ridge National Laboratory
- The University of Southampton
- UNIVERSITY OF SOUTHAMPTON
- University of Manchester
- University of North Carolina at Charlotte
- 8 more »
- « less
-
Field
-
have until June 30, 2026 to complete the final exam. Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering
-
of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised
-
. Neuromorphic sensing, e.g. astronomical imaging (https://www.optera.au/) Software verification tools for space robotics. Electric Propulsion & Space Debris mitigation The University actively fosters a culture of
-
development, software engineering and psychology. An emerging profile in research in psychology and computer science. Evidence of publications in reputed refereed journals and presenting at conferences. Some
-
experience applying these methods to real-world systems and technologies. Familiarity with software tools such as SimaPro, OpenLCA, Aspen Plus, MATLAB/Python, and data visualisation platforms. Demonstrated
-
, original forms of identification for employment verification via the Federal I-9 employment verification process. Click here for a list of acceptable documents. Important: To apply you must create a profile
-
the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program
-
and apply custom-built software to control measurement instruments and to analyse experimental data. Operate and maintain dilution refrigerators. Operate, maintain and possibly help to install other
-
of sensing technology solutions Knowledge of feature engineering and the development of new spectral indices Proficiency in data analysis and visualisation tools using software environments like Python, Google
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 15 hours ago
specification and verification tools (e.g., TLA+, Coq, SMT solvers, etc.) is strongly preferred. ● Familiarity with high-assurance languages or provably-correct software development. ● Knowledge of low-level