Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- The University of Queensland
- University of Cincinnati
- Johns Hopkins University
- University of New South Wales
- University of Texas at Austin
- Indiana University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Oslo
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Chippewa Valley Technical College
- Nanyang Technological University
- The University of Southampton
- UNIVERSITY OF SOUTHAMPTON
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Bergen
- University of Manchester
- University of North Carolina at Charlotte
- 7 more »
- « less
-
Field
-
engineering requirements (optical pulse duration, terahertz crystal materials in cryogenetic environments, signal-to-noise ratio optimization, entanglement witnesses and verification) necessary to resolve
-
policies. Review student clinician appointment plan and instructor objectives. Observe assessments and provide feedback. Review dental charting and plaque/stain verification. Document treatment in Eaglesoft
-
Preferred Key responsibilities will include but are not limited to: - Perform measurement analysis using artificial intelligence and/or machine learning - Generate and maintain analysis software
-
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
-
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
-
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
-
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
-
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
-
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