[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
([email protected]); 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$