[TYPES] Postdoc at the Center for Embedded Systems for Critical Applications (CESCA)
Stephanie Weirich
sweirich at cis.upenn.edu
Wed Aug 31 15:30:48 EDT 2005
*1 year Post doctoral Position at the Center for Embedded Systems for
Critical Applications (CESCA)
*FERMAT Lab at CESCA will be hiring one post doctoral research associate
starting in November 2005, initially for one year. The position may be
renewed contingent on the availability of research funds. FERMAT (Formal
Engineering Research with Models, Abstractions and Transformations) is
engaged in various projects on System Level Design, Design Languages,
Semantics of Design Languages, Co-Design of Embedded Systems, Formal
Methods, and Formal Verification, Reliability modeling and Reliability
measures for nano-computing architecture etc.
The FERMAT Lab is a part of the newly established Center for Embedded
Systems for Critical Applications (CESCA) which is a College of
Engineering center for research in the area of embedded systems design
and applications. The center consists of 10 faculty members from
Computer Engineering, Computer Science, and Mathematics. The center
hosts more than 50 graduate students working at the different labs under
the center’s umbrella. In short, the environment in which the post
doctoral associate will work is a vibrant research community.
FERMAT Lab collaborates with UC San Diego, UC Irvine, Royal Institute of
Technology in Sweden, INRIA/IRISA in France, Naval Research Labs in
Washington DC, and industry partners Bluespec Inc, Calypto Systems, and
Forte Design automation.
The associate will get opportunity to network with these academic and
industrial partners, as well as travel to the different labs for
collaborative work.
The physical location of the lab is on the main campus of Virginia
Polytechnic and State University (Virginia Tech) at Blacksburg, VA. The
campus is close to the picturesque natural beauties of south-west Virginia.
*Qualifications required: *Candidates interested in the position should
have a PhD or equivalent degree in Computer Science or Computer
Engineering, and research experience in areas of System Level Design
Languages, Formal Languages, and logics, type theory, semantics of
modeling languages, formal methods and verification. A good publication
record in peer reviewed conferences and journals is required. The
potential candidates should have strong academic goals, and must have
willingness to collaborate with the graduate students and the faculty at
the lab. Virginia Tech is an equal opportunity employer, and women and
members of the minority are encouraged to apply.
*Job responsibilities: *Research in the area of system level design
languages, component based design, development of theory and prototype
systems for demonstrating concepts, taking part in writing research
proposals, traveling for conferences, and collaborative research visits
to collaborating labs, and working with graduate and undergraduate
students in the lab. The position may require traveling and so the
applicants must be willing to travel for the job.
*Application procedure: *Please apply through the website at
www.jobs.vt.edu <http://www.jobs.vt.edu/>, posting number 042932.
Include your resume, a one page research philosophy statement, list of
publications, and names of at least 3 references. Review of applications
will begin October 1, 2005. Initial inquiries about the position may be
directed to Dr. Sandeep Shukla (shukla at vt.edu <mailto:shukla at vt.edu>).
For more information on FERMAT lab please visit http://fermat.ece.vt.edu
<http://fermat.ece.vt.edu/> and on CESCA, please visit
http://www.ee.vt.edu/~cesca <http://www.ee.vt.edu/%7Ecesca>
*Salary:* 30K US dollars for 1 year. (The renewal of the position is
contingent on availability of research funding). Medical and other
benefits available.
-------------------------------------------------------------------------------------------------------------------------------------
Dr. Sandeep K. Shukla
Assistant Professor Deputy Director
Bradley Department of Electrical and Center for Embedded Systems for
Computer Engineering Critical Applications (CESCA)
shukla at vt dot edu Director
FERMAT Lab
http://fermat.ece.vt.edu
<http://fermat.ece.vt.edu/>
--------------------------------------------------------------------------------------------------------------------------------------
More information about the Types-list
mailing list