Temporary ResearcherRequisition Number: 56856Location: Boulder ColoradoEmployment Type: Research FacultySchedule: Full TimePosting Close Date: 29-May-2024Date Posted:Job SummaryThe Department of Computer Science at CU Boulder welcomes applications for a Temporary Postdoctoral Researcher in Formal Methods and Robotics.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 AreFounded in 1970, the Department of Computer Science at CU Boulder is passionate about real-world, interdisciplinary experiences for our students. Our researchers are making advances in computer science today that will change the world tomorrow. Via the Partnership Program, the department is now helping CU to support higher education across the state of Colorado.What Your Key Responsibilities Will Be
Manage the development of a package for integrating timed partial orders and planning using mixed integer programming and operations research tools.
Work closely with Toyota motors and come up with example use cases.
What We Can OfferThe hire rate for this position will be $30 per hour for up to 40 hours per week.BenefitsTemporary positions at the University of Colorado are not benefits-eligible, however, all positions are eligible for paid sick leave (https://www.colorado.edu/hr/leave#sick-89) .Be StatementsBe engaged. Be impactful. Be Boulder.What We Require
PhD in computer science focusing on formal methods and robotics.
What You Will Need
Background in formal methods research as applied to robotics.
Thorough knowledge of combinatorial optimization, robotic path planning and related approaches.
Knowledge of related work such as time partial order specifications.
Proficiency in Python programming.
Special InstructionsTo apply, please submit the following materials at PDF files:
Resume/CV
(Optional) Cover Letter
(Optional) Transcripts/Proof of Degree : 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. However, if your degree was obtained outside of the United States, please submit an English-translated version as an Optional document.
For full consideration, please apply by May 29, 2024 .Note: Application materials will not be accepted via email. For consideration, please apply through CU Boulder Jobs (https://jobs.colorado.edu/) .To apply, visit https://jobs.colorado.edu/jobs/JobDetail/Temporary-Researcher/56856 (https://apptrkr.com/5283849)Copyright 2024 Jobelephant.com Inc. All rights reserved.Posted by the FREE value-added recruitment advertising agency (https://www.jobelephant.com/)jeid-5c6fc04a154dcb4b93e6810e6b3a3f9eThe University of Colorado does not discriminate on the basis of race, color, national origin, sex, age, pregnancy, disability, creed, religion, sexual orientation, gender identity, gender expression, veteran status, political affiliation, or political philosophy. All qualified individuals are encouraged to apply.