of Colorado Boulder in the area of Trustworthy Software.
Applications will be evaluated beginning on December 1, 2019 and will
continue until the position is filled. Apply at
https://jobs.colorado.edu/jobs/JobDetail/21053/. More details appear below.
Best Regards,
Evan
Bor-Yuh Evan Chang (https
the 3rd World Congress on Formal Methods,
visit http://formalmethods2019.inesctec.pt/.
Hope to see you in Porto!
Bor-Yuh Evan Chang, Program Chair
ts a paper
for the Radhia Cousot Young Researcher Best Paper Award, in memory of
Radhia Cousot, and her fundamental contributions to static analysis, as
well as being one of the main promoters and organizers of the SAS series of
conferences.
PROGRAM CHAIR
- Bor-Yuh Evan Chang (University of Colorado Boulder
ce selects a paper for
the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia
Cousot, and her fundamental contributions to static analysis, as well as
being
one of the main promoters and organizers of the SAS series of conferences.
PROGRAM CHAIR
- Bor-Yuh Evan Chang (University o
to machine learning.
The postdoctoral research associate will collaborate with professors
Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Sergio Mover, as well as
engineers at GitHub. The researcher will have an opportunity to lead a
project on program repair and will contribute to potential
Technology of China)
## Program Chair
Bor-Yuh Evan Chang (University of Colorado Boulder)
## Program Committee
Andreas Abel (Gothenburg University)
Aws Albarghouthi (University of Wisconsin-Madison)
Sam Blackshear (Facebook)
Yu-Fang Chen (Academia Sinica)
Yuting Chen (Shanghai Jiao Tong Unive
n seriously breached.
# Organizers
## General Chair
Xinyu Feng (University of Science and Technology of China)
## Program Chair
Bor-Yuh Evan Chang (University of Colorado Boulder)
## Program Committee
Andreas Abel (Gothenburg University)
Aws Albarghouthi (University of Wisconsin-Madison)
Sam Blac
er 7, 2015, although applications
will continue to be evaluated until the position is filled. Apply at
http://www.jobsatcu.com/postings/109940. More details appear below.
Best Regards,
Bor-Yuh Evan Chang
---
The Department of Computer Science (CS) at the University of Colorado
Boulder seeks ap
, software engineering and/or formal methods, as well as an
enthusiasm for mentoring junior researchers.
The postdoctoral researcher would collaborate with Profs. Bor-Yuh Evan
Chang, Sriram Sankaranarayanan, and Pavol Cerny and have the opportunity to
lead this ambitious project that combines
of program analysis and program
synthesis.
The ideal candidate has a strong background in the general area of
programming languages and verification, as well as a enthusiasm in
mentoring junior researchers.
The postdoctoral researcher would collaborate with Profs. Bor-Yuh Evan
Chang, Sriram
/89652. More details appear
below.
Best Regards,
Bor-Yuh Evan Chang (http://www.cs.colorado.edu/~bec/)
---
The Department of Computer Science (CS) at the University of Colorado
Boulder seeks outstanding candidates, for multiple tenure-track positions.
The openings are targeted at the level
submitted to a journal,
conference, or workshop with refereed proceedings.
The TAPAS 2013 proceedings has received preliminary approval to be published
electronically in a volume of the Electronic Notes in Theoretical Computer
Science series.
Program Chair
Bor-Yuh Evan ChangUniversity
12 matches
Mail list logo