[TYPES/announce] 2-Year Postdoctoral Fellowship in Program Synthesis at Grinnell College

Osera, Peter-Michael osera at cs.grinnell.edu
Sun Mar 6 19:14:00 EST 2022


Hello all!

I am happy to announce that I am offering a two-year postdoctoral fellowship studying the foundations of program synthesis and types starting in the Fall of 2022. This position is unique in that I am offering the position from a liberal arts college where we emphasize both research and undergraduate education. As a postdoctoral fellow at Grinnell, in addition to research, you will have the opportunity to craft a teaching portfolio appropriate for application to teaching-focused positions such as tenure-track positions at liberal arts colleges or teaching-track faculty at larger universities.

The official mini-blurb and link to the position's application page can be found below. We will begin to review applications for these positions starting March 21st. You can learn more about the position on my website:

https://urldefense.com/v3/__https://osera.cs.grinnell.edu/postdoc__;!!IBzWLUs!CWSTsDKI5nVxMIw3kAnYSeIncn3wSC0ruz2dgTov8WHLPXyZBc5udTQFMIhC22HTEzsP3zoF31V_aw$ 

If you have any questions about this position, or about teaching-focused careers in academia in general, I am happy to chat with you over email (osera at cs.grinnell.edu); just let me know!

Thanks!

Peter-Michael Osera
Assistant Professor, Co-chair
Department of Computer Science
Grinnell College
https://urldefense.com/v3/__https://osera.cs.grinnell.edu__;!!IBzWLUs!CWSTsDKI5nVxMIw3kAnYSeIncn3wSC0ruz2dgTov8WHLPXyZBc5udTQFMIhC22HTEzsP3zqM8682xA$ 

---

The Department of Computer Science invites applications for a two-year Postdoctoral Fellowship in Computer Science beginning Fall 2022. Eligible candidates must have received their terminal degree within 3 years or later of their start date. The candidate will conduct research in the foundations of program synthesis, at the intersection of programming language theory and human-computing interaction. The candidate will also teach courses at the introductory CS level as well as in their own area of expertise. The annual teaching load for the Fellow is two courses per year (one per semester). Possible teaching areas include introductory courses or other courses in the regular curriculum of the Computer Science Department.  The Fellow also will be expected to share their research with the Grinnell community and to be a contributing member of the Computer Science Department faculty.  Additional information about this postdoctoral fellowship can be found at https://urldefense.com/v3/__https://osera.cs.grinnell.edu/postdoc__;!!IBzWLUs!CWSTsDKI5nVxMIw3kAnYSeIncn3wSC0ruz2dgTov8WHLPXyZBc5udTQFMIhC22HTEzsP3zoF31V_aw$ .

https://urldefense.com/v3/__https://jobs.grinnell.edu/postings/4205__;!!IBzWLUs!CWSTsDKI5nVxMIw3kAnYSeIncn3wSC0ruz2dgTov8WHLPXyZBc5udTQFMIhC22HTEzsP3zqxH_PXmg$ 


More information about the Types-announce mailing list