Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- Rutgers University
- Delft University of Technology (TU Delft); Delft
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Texas A&M University
- University of Lund
- Argonne
- Baylor College of Medicine
- Lunds universitet
- Umeå University
- University of South Carolina
- Yale University
- ;
- Cornell University
- George Washington University
- Nature Careers
- SUNY University at Buffalo
- Texas A&M AgriLife
- University of Miami
- University of Minnesota
- Aarhus University
- Carnegie Mellon University
- Duke University
- East Tennessee State University
- European Space Agency
- INESC ID
- Jönköping University
- Leibniz
- Manchester Metropolitan University
- McGill University
- NEW YORK UNIVERSITY ABU DHABI
- Northern Alberta Institute of Technology
- Oak Ridge National Laboratory
- RIKEN
- Technical University of Denmark
- The Netherlands Cancer Institute
- The Netherlands Cancer Institute; Amsterdam
- The Ohio State University
- Umeå universitet
- University of British Columbia
- University of California Berkeley
- University of Manchester
- University of Oregon
- University of Oxford
- University of Southern California
- University of Texas at Arlington
- University of Washington
- VIB
- 38 more »
- « less
-
Field
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
-
on fixed-term employment as a postdoctoral fellow”) between Lund University, SACO-S and OFR/S, dated 1st February 2022. Instructions on how to apply Applications shall be written in English and be compiled
-
, leading the analysis work, and taking responsibility for data quality. The work also includes compiling data and evaluating information, participating in project meetings, and leading the work to publish
-
of 36-40 hours per week. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. An excellent pension scheme via the ABP. The possibility to compile
-
work, and taking responsibility for data quality. The work also includes compiling data and evaluating information, participating in project meetings, and leading the work to publish results
-
should relate to the research initiative described above. In addition to the research plan/doctoral thesis, it is possible to submit up to five publications. You can find instructions on how to compile
-
job of 36-40 hours per week. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. An excellent pension scheme via the ABP. The possibility to compile
-
, analyzing and compiling data in study report preparation Assisting senior level staff with the design of experiments and/or development of new techniques Designing and writing standard operating procedures
-
programming skills in python and preferably a compiled language such as Java or C++. Clear evidence of deep learning proficiency, reflected through coursework and GitHub repositories. Postdoctoral candidates
-
allowance and an end-of-year bonus of 8.3%. An excellent pension scheme via the ABP. The possibility to compile an individual employment package every year. Discount with health insurers on supplemental