27 software-formal-method-phd Postdoctoral positions at Pennsylvania State University
Sort by
Refine Your Search
- 
                
                
                
computers or atomic-physics platforms, and quantum algorithms for quantum many-body physics. A PhD in Physics is required. The ideal candidate will have numerical simulation skills with exact diagonalization
 - 
                
                
                
of chromatin, including techniques such as: Chromatin fractionation using methods like differential solubility or ultracentrifugation, in vitro reconstitution of nucleosome arrays from DNA templates and histones
 - 
                
                
                
are focused on Systems Biology, Epigenetic Gene Regulation, Single-Cell Genomics and Cancer Biology. Responsibilities for this position include data analysis, method development, scholarly activities and other
 - 
                
                
                
on language processing studies and, in particular, on novel rehabilitation approaches to aphasia. The Sathian lab employs both behavioral and neuroimaging (functional magnetic resonance imaging: fMRI) methods
 - 
                
                
                
functional magnetic resonance imaging: fMRI) methods to investigate iconicity in spoken language – the idea that the sound of a word may convey its meaning. The successful candidate will have a PhD in a
 - 
                
                
                
laboratory assays such as ELISA and PCR, and performing staining techniques Devising new procedures and methods tailored to specific research questions Collecting, analyzing, and curating data Data
 - 
                
                
                
students. The required qualifications are: PhD degree in mathematics, science, engineering, or a related field by the start date. Extensive experience in one or more of the following areas: probabilistic
 - 
                
                
                
expected to analyze the data collected and present the results in formal presentations, manuscripts, and grant applications. Specific criteria include: Effective knowledge - Knowledge of lab practices and
 - 
                
                
                
), and in vivo fiber photometry (TDT). We are particularly looking for a PhD-level systems neuroscientist with expertise in animal behavior tracking using deep learning algorithms and their causal link
 - 
                
                
                
to candidates with expertise in any of the following areas: Development of new direct detection methods Sub-GeV dark matter searches Astrophysical searches of BSM physics High-energy astroparticle transport