Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- George Washington University
- Oak Ridge National Laboratory
- University of Washington
- Washington University in St. Louis
- Technical University of Munich
- Texas A&M AgriLife
- Texas A&M University
- EPFL
- Johns Hopkins University
- University of Texas at Austin
- Washington State University
- Aalborg University
- Aarhus University
- California Institute of Technology
- Chalmers University of Technology
- KTH Royal Institute of Technology
- Karolinska Institutet, doctoral positions
- Politehnica University of Timisoara
- Poznan University of Technology
- Saarland University
- Texas A&m Engineering
- Universitat de les Illes Balears
- University of Lund
- University of Oslo
- Warsaw University of Technology
- Wroclaw University of Science and Technology
- 16 more »
- « less
-
Field
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
method based on Skyline software or equivalent is also preferred. If selected for this position, you will immediately be immersed into a dynamic research environment with multiple high-end Orbitrap and
-
rich environment of education with weekly lab meetings and education seminars. There are numerous scientists, postdocs, and students in the lab and this provides ample opportunity to learn, grow, and
-
education with weekly lab meetings and education seminars. There are numerous scientists, postdocs, and students in the lab and this provides ample opportunity to learn, grow, and develop new techniques and
-
to professional development using a university procurement card. Prepares expense reports for reimbursement according to guidelines. Coordinates and provides logistical support for postdoc applicant interviews
-
representation Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology Experience with scientific
-
Microsoft Cloud Civil Liberties & Health Policy Research Fellow - Law Cordell institute for Policy i
on being a postdoc at WashU in St. Louis can be found at https://postdoc.wustl.edu/prospective-postdocs-2/ . The Fellow will train under the supervision of Institute leadership and faculty mentors
-
promotion dossiers; organize faculty and postdoc searches. Faculty Support – Provide support for faculty regarding scheduling, travel, and administrative office support; arrange and support faculty meetings
-
payroll to appropriate sources and enter directly into Workday, with PI approval. Documents and confirms with PI all salary sourcing for project personnel, including research faculty, postdocs, staff and
-
relevant technical software, such as Cadence, SPICE, Verilog, etc. are needed; • Background knowledge in neural network algorithms preferred, but not required • Collaborative skills, student mentorship