Assistant Specialist - Dept of EECS - University of California, Berkeley

Position Overview

Position title: Specialist Researcher

Salary range: The UC academic salary scales set the minimum pay determined by rank and step  the following table(s) for the current salary scale(s) for this position: https://(Use the "Apply for this Job" box below). The current full time base salary range for this position is $63,500 - $70,700. "Off-scale" salaries, which yield compensation that is higher than the published system-wide salary at the designated rank and step, are offered when necessary to meet competitive conditions.

Percent time: 100%

Anticipated start: January 2026

Position duration: One year, with possibility of an extension depending on performance and availability of funding.

Open date: December 1, 2025

Next review date: Tuesday, Dec 16, 2025 at 11:59pm (Pacific Time). Apply by this date to ensure full consideration by the committee.

Final date: Wednesday, Dec 31, 2025 at 11:59pm (Pacific Time). Applications will continue to be accepted until this date, but those received after the review date will only be considered if the position has not yet been filled.

The position is based in Prof. Sanjit Seshia's lab in the Electrical Engineering and Computer Sciences (EECS) department at UC Berkeley. The Seshia lab aims to develop techniques to ensure that computational systems are provably safe, secure, and trustworthy. The Seshia group addresses this topic by developing theory and tools of formal methods, which are mathematical techniques to model, design, and verify systems using computational proof engines.

The lab's work has been applied to improving the safety, security, and dependability of software, hardware, distributed systems, AI/ML, robotics, cyber-physical systems, and biological systems, impacting societal-scale applications in several domains including cloud computing, transportation, healthcare, and education.

A particular focus area for this position is the formal modeling and generation of operating environments of autonomous and semi-autonomous systems. His group developed a probabilistic programming language called Scenic whose syntax and semantics are designed to model and generate physical scenarios involving stochastic, multi-agent, reactive behaviors of the real world. This language has been used to train and evaluate certain properties of autonomous and semi-autonomous cyber-physical systems in simulation.

The position is a part of a fast-paced project for supporting the Scenic open-source project and for using the Scenic language in extended reality (XR), spanning virtual, augmented, and mixed reality, to train both humans and robots to collaborate. We are looking for someone with strong background in XR development and in programming frameworks such as Scenic in multi-player settings to prototype virtual environments where humans and robots can virtually interact with each other.

The position will also involve supporting the Scenic project in various ways including the website, supporting the Scenic open-source community, etc.

The job responsibilities will be as follows:

/

Bachelor's degree or equivalent international degree at the time of application.

• Masters degree in Computer Science, Computer Engineering, or Electrical Engineering or related field.
• Extensive experience programming in the Python programming language.
• Experience with extended reality (virtual, augmented, mixed reality) systems.
• Experience with the Scenic probabilistic programming language and web development is highly recommended.

• Curriculum Vitae - Your most recently updated C.V.
• Cover Letter

• 3 required (contact information only)

Apply link: /JPF
05195

leisa

UC Berkeley is committed to diversity, equity, inclusion, and belonging in our public mission of research, teaching, and service, consistent with UC Regents Policy 4400 and University of California Academic Personnel policy (APM 210 1-d). These values are embedded in…