Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Denmark
- University of Twente
- NEW YORK UNIVERSITY ABU DHABI
- Indiana University
- University of Oslo
- Technical University of Denmark (DTU)
- University of Copenhagen
- University of Texas at Austin
- Yale University
- Aarhus University
- Stanford University
- University of Helsinki
- University of Kansas Medical Center
- University of Manchester
- University of Texas at Dallas
- higheredjobs
- Argonne
- Chalmers University of Technology
- Cornell University
- Duke University
- EPFL
- New England HERC
- Northeastern University
- UNIVERSITY OF HELSINKI
- University of Arkansas
- University of Florida
- University of Nevada Las Vegas
- University of Oregon
- Aalborg University
- Aalto University
- Aarhus University (AU)
- Birkbeck University of London
- City of Hope
- Max Planck Institute for Comparative Public Law and International Law, Heidelberg
- National Renewable Energy Laboratory NREL
- Oak Ridge National Laboratory
- Pennsylvania State University
- Simons Foundation
- Tata Institute of Fundamental Research Hyderabad
- University of California, Berkeley
- University of Gothenburg
- University of Lund
- University of Maryland, Baltimore
- University of Melbourne
- University of Michigan
- University of North Texas at Dallas
- University of Southern Denmark
- Vanderbilt University
- 38 more »
- « less
-
Field
-
B - $124,656 - $148,023 p.a. plus 17% super Level C - $152,695 - $176,065 p.a. plus 17% super Work on secure containment for AI agents atop seL4 / collaborate with world-leading formal methods
-
formal verification with Lean You have experience AI-assisted theorem proving or algorithm discovery is an asset You have working knowledge of numerical analysis, ideally numerical methods for PDEs You
-
, with its world leading groups in functional programming and formal methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance
-
in programming languages, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and
-
, data science using EHRs, machine learning, data mining, and natural language processing are preferred. Job Description: Develop large language models and other methods and tools to effectively use
-
Description: Develop methods and tools to effectively use electronic health record (EHR) data; apply AI/ML methods to solve critical clinical and biomedical problems. Implement methods into software
-
project management Experience with molecular microbiology methods (e.g., nucleic acid extraction, qPCR, dPCR) and quantitative data analysis Fieldwork experience, including environmental sampling
-
programming in C++, MPI, OpenMP, CUDA, or related models. Solid understanding of distributed-memory systems and many‑core architectures. Preferred Qualifications: Formal Methods : Experience with automated
-
evaluation methods. Strong written and verbal communication skills and ability to convey technical material in non-technical terms for policy and other non- academic stakeholders. Desirable Criteria
-
, conferences, symposia, and seminars. Position Requirements A formal education in materials science and engineering, nuclear engineering, or a related field at the PhD level with zero to five years of