美国DePaul University Research Fellow博后职位

At DePaul University, we are looking for candidates who want to join us in our mission to provide access to education for all. Successful candidates welcome ideas and perspectives from colleagues and students representing a wide variety of cultures, backgrounds, religious beliefs, and experiences.  We seek collaborative, open-minded and hard working professionals to work in a real world urban learning environment.  Are you exceptional, yet modest and open to challenges? We seek achievers and leaders that want to bring their passion and skills to our well-respected community of approachable colleagues. Build your career with us.    

This position is funded by an external grant source.  If the grant terminates for any reason, if grant funding is lost or reduced for any reason, or if the budgetary needs for fulfilling the grant requirements change, your employment with the University will be immediately discontinued.

This postdoc will work on the grant "Relaxing Soundness", awarded by the NSF to PI Riely and Co-PI Jagadeesan.  This is a two year, non-renewable appointment.

• Conduct research and publish papers.

• Produce formally verified proofs. 

• Work with collaborators. 

• Travel and conduct administrative tasks. 

• Perform other duties as assigned. 

• PhD in Computer Science. 

• Experience with tools for automated theorem proving. 

• Written and oral communication skills. 

You may upload other attachments (Transcripts, Portfolios, Writing samples) in the “My Activities” tab of your profile.

• This position will require travel to conferences a couple of times per year.