Post-Doctoral Research Visit F/M Verification of the ProVerif cryptographic protocol verifier in Isabelle/HOL
Post-Doctoral Research Visit F/M Verification of the ProVerif cryptographic protocol verifier in Isabelle/HOL
Postdoctoral research position in cryptographic protocol verification using Isabelle/HOL and ProVerif. Model ProVerif0, prove theoretical results, and publish findings; collaborate with verification teams. Requirements: experience with Isabelle/HOL, first-order logic, mathematical maturity.
Categories:
Postdoctoral position ideally based in Canada, with a strong background in the physicochemical properties of cementitious materials
Postdoctoral position ideally based in Canada, with a strong background in the physicochemical properties of cementitious materials
Seeking a Canada-based postdoctoral researcher with strong expertise in the physicochemical properties of cementitious materials. Aimed at advancing cement chemistry through rigorous research. CV submission details available upon inquiry.
Categories:
Postdoctoral Research Associate
Postdoctoral Research Associate
Postdoctoral Research Associate position in immunology and infectious disease: perform T cell ELISpots, FACS, mouse chlamydia models, tissue culture, PCR, IHC; analyze data, write manuscripts, contribute to grants, train students. 12-month, full-time, Chapel Hill, NC.
Categories:
Post-Doc Trainee-CGIBD — Gastroint Biology and Dis Ctr
Post-Doc Trainee-CGIBD — Gastroint Biology and Dis Ctr
One-year, full-time postdoctoral fellowship in basic and translational liver and GI disease research (genetics, molecular biology, immunology, microbiology). Eligibility: PhD, MD, MD/PhD, or DVM; second year possible with grant renewal.
Categories:
Postdoctoral Fellow on Race and Sports
Postdoctoral Fellow on Race and Sports
Foundation-funded postdoctoral fellowships in Black humanities research on Race and Sports within the Black diaspora. Fellows in residence teach two courses yearly, engage in interdisciplinary labs and community events, and pursue a clear path to a tenure-track position with mentoring.
Categories:
Postdoctoral Researcher in Geometric Algorithms
Postdoctoral Researcher in Geometric Algorithms
Postdoc position in geometric algorithms and hyperbolic geometry. Join a leading computational geometry team to advance theory and applications, publish in top venues, collaborate internationally, and contribute to teaching in a vibrant, inclusive research environment. Competitive salary.
Categories:
Postdoctoral Appointee - Experimental Mechanics, Onsite
Postdoctoral Appointee - Experimental Mechanics, Onsite
Postdoctoral research position in experimental solid mechanics focused on material characterization, DIC/DVC techniques, and thermo-mechanical behavior. On-site, collaborative lab environment; develop/implement tests across metals, polymers, and composites; present results at scientific meetings.
Categories:
Postdoctoral researcher (m/f/d)
Postdoctoral researcher (m/f/d)
Postdoctoral Research Positions in Biological Sciences at a premier lung research center in Germany. Temporary, full-time R2 opportunities for researchers pursuing advanced respiratory biology studies and academic career advancement.
Categories:
Postdocs to start in Spring/Summer of 2027 in Plant Physiology at the University of Central Florida
Postdocs to start in Spring/Summer of 2027 in Plant Physiology at the University of Central Florida
Seeking postdoctoral research positions in chloroplast physiology, molecular biology, and evolution to begin Spring/Summer 2027. Graduate openings for Fall 2027; formal ad to be posted in August. Ideal for scholars advancing plant biology.
Categories:
Postdoctoral scholarship holder gravitational wave instrumentation, with a focus on seismic isolation and suspension commissioning for Advanced Virgo+ Phase 2
Postdoctoral scholarship holder gravitational wave instrumentation, with a focus on seismic isolation and suspension commissioning for Advanced Virgo+ Phase 2
Two-year postdoctoral research position in gravitational wave instrumentation, focusing on seismic isolation and suspension commissioning, with international collaboration and on-site observatory work.
Categories: