Post Doctoral Fellow - Computer Science

The University of New Mexico•Albuquerque, NM

5d•Onsite

About The Position

The Department of Computer Science at the University of New Mexico invites applications for a Post-Doctoral Fellow to begin in August 2026. This is a full-time position. Applicants must have a Ph.D. in Computer Science, Mathematics, or a closely related field by the date of appointment. The responsibilities of this position include conducting research on the formal verification algorithms for polynomial systems. The work will focus on the theoretical development of algorithms and software tools for verifying properties of polynomial systems, including techniques for certificate generation, with applications in cyber-physical systems. The candidate will be expected to develop research publications, contribute to tool development, and collaborate with researchers on related projects. Additional responsibilities include mentoring graduate and undergraduate students, assisting with research proposal activities, and supporting related project tasks.

Requirements

Ph.D. in Computer Science, Mathematics, or a closely related field by the date of appointment.

Nice To Haves

Strong background and research experience in formal methods, automated reasoning, symbolic computation, formal verification, or related areas.
Experience with software and tool development is highly desirable.

Responsibilities

Conducting research on the formal verification algorithms for polynomial systems.
Theoretical development of algorithms and software tools for verifying properties of polynomial systems, including techniques for certificate generation, with applications in cyber-physical systems.
Develop research publications.
Contribute to tool development.
Collaborate with researchers on related projects.
Mentoring graduate and undergraduate students.
Assisting with research proposal activities.
Supporting related project tasks.