[TYPES] Postdoc at the Center for Embedded Systems for Critical Applications (CESCA)

[Stephanie Weirich]

*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/> 
--------------------------------------------------------------------------------------------------------------------------------------