PostDoctoral Associate

Job Summary

The Department of Computer Science encourages applications for a PostDoctoral Associate! The postdoc is in charge of conducting research on computation-aware verification and synthesis of cyber-physical systems (CPS). In particular, they will propose a new paradigm, in which the control algorithm is automatically synthesized as C, C++, or VHDL code from high-level correctness requirements and models of the hardware, software, and physics of the CPS.

The University of Colorado Boulder is committed to building a culturally diverse community of faculty, staff, and students dedicated to contributing to an inclusive campus environment. We are an Equal Opportunity employer, including veterans and individuals with disabilities.

Who We Are

Founded in 1970, the Department of Computer Science at CU Boulder is focused on real-world, interdisciplinary experiences for our students. Our researchers are making advances in computer science today that will change the world tomorrow.

What Your Key Responsibilities Will Be

• The postdoc will employ the hardware-software specifications and models to synthesize embedded control software (in C, C++, or VHDL) that meets the given design specifications. The design schemes will be suitable for controller synthesis during runtime, enabling our algorithms to update the feedback controllers as needed, on-the-fly. They will synthesize correct-by-construction controllers with respect to the given specifications by considering the memory and communication constraints in the platforms, computation delays, and other non-idealities. For designing correct-by-construction control software, they will leverage ideas from symbolic control and model predictive control (MPC). Following ideas from symbolic control, they will construct a finite abstraction of the models, in a way that a controller designed on the finite abstraction can be refined into a controller for the original (not abstracted) model. For this purpose, they will leverage the reachability procedures for computing safe approximations of reachable sets of the models, which are the building blocks of the abstraction construction. Finally, by leveraging computational tools developed for discrete-event systems, games on automata, and MPC for mixed logical dynamical systems and hybrid systems, they will synthesize a (refined) discrete logic-based con- troller meeting the given high-level specification.

What You Should Know

All University of Colorado Boulder employees are required to align with the campus COVID-19 vaccine requirement. New employees must provide proof of vaccination or receive a medical or religious exemption within 30 days of employment.

What We Can Offer

The salary for this part-time appointment is $69,849.45 annually.

Benefits

The University of Colorado offers excellent benefits , including medical, dental, retirement, paid time off, tuition benefit and ECO Pass. The University of Colorado Boulder is one of the largest employers in Boulder County and offers an inspiring higher education environment. Learn more about the University of Colorado Boulder .

Be Statements

Be ambitious. Be pioneering. Be Boulder.

What We Require

• A PhD degree in electrical engineering, mechanical engineering, computer science, or applied math is required.

What You Will Need

• The postdoc needs to have a good knowledge of control theory, automata theory, hybrid systems, symbolic control, and data-driven optimization techniques.
• A good knowledge of differential equations, linear algebra, nonlinear control, automata theory is required.

What We Would Like You to Have

• Familiarity with regular languages, omega-regular languages, set-based techniques for computing invariant sets, and barrier certificates is preferred.

Special Instructions

To apply, please submit the following materials:

1. Resume/CV
2. Cover letter addressed to the Search Committee briefly describing your qualifications, professional goals, and specific interest in this position.

If you are selected as the finalist, your degree will be verified by the CU Boulder Campus Human Resources department using an approved online vendor. If your degree was obtained outside of the United States, please submit a translated version as an optional attachment.

During the application process you will need to enter contact information for a reference. We will request a letter of recommendation and additional materials, if needed, as the search progresses.

Please apply by March 30, 2023 for consideration.

Note: Application materials will not be accepted via email. For consideration, please apply through CU Boulder Jobs .

Posting Contact Information

Posting Contact Name: Boulder Campus Human Resources

Posting Contact Email: Recruiting@colorado.edu