Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Cincinnati
- The University of Queensland
- University of Oslo
- University of New South Wales
- 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
- Indiana University
- Nanyang Technological University
- Oak Ridge National Laboratory
- The University of Southampton
- UNIVERSITY OF SOUTHAMPTON
- University of North Carolina at Charlotte
- University of Saskatchewan
- 8 more »
- « less
-
Field
-
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
-
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
-
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
-
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
-
technologies research in AIBN and at UQ. You will have research expertise in the use of computational chemistry and software development, with the capacity to apply these methods to research questions related
-
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
-
; Avaliar a inter-relação entre diferentes variáveis (caudal, qualidade da água e atividades associadas à operação); Modelar sistemas de abastecimento de água com software específico; Desenvolver um algoritmo