PhD opportunities at the Univ. of Minnesota

--===============0460343072==
Content-Type: multipart/alternative; boundary=001a114532b6168ff90541e9388d

--001a114532b6168ff90541e9388d
Content-Type: text/plain; charset=UTF-8

Are you interested in research in programming languages and logic? Then
consider applying to the graduate program in Computer Science at the
University of Minnesota. There are several openings for funded doctoral
research in extensible programming languages (realized in tools such as
Silver, Copper, and ableC, see http://melt.cs.umn.edu) and in logics for
specifying and reasoning about computational systems (see
http://teyjus.cs.umn.edu/, http://abella-prover.org/, and
http://sparrow.cs.umn.edu/compilation/ for some projects). There are also
opportunities for collaborations in the use of formal methods in software
verification both with the Software Engineering group in the department and
with ones in the local industry, such as at Rockwell-Collins. Moreover, the
Twin Cities (Minneapolis and St. Paul) offers an extremely livable
environment with several cosmopolitan attractions: theater, restaurants,
great public transportation, and varied outdoor activities both around the
cities and around Lake Superior that is a short drive away.

If this possibility intrigues you and you would like to get more specific
information, don't hesitate to contact one of us via email.

Best regards,
Eric Van Wyk ([email protected])
Gopalan Nadathur ([email protected])

--001a114532b6168ff90541e9388d
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-size:small"><sp=
an class=3D"gmail-m_-3360771242801499736gmail-im"><div>Are you interested i=
n=20
research in programming languages and logic? Then consider applying to=20
the graduate program in Computer Science at the University of Minnesota.
 There are several openings for funded doctoral research in extensible=20
programming languages (realized in tools such as Silver, Copper, and=20
ableC, see <a href=3D"http://melt.cs.umn.edu" target=3D"_blank">http://melt=
.cs.umn.edu</a>) and in logics for specifying and reasoning about computati=
onal systems (see=C2=A0 <a href=3D"http://teyjus.cs.umn.edu/" target=3D"_bl=
ank">http://teyjus.cs.umn.edu/</a>, <a href=3D"http://abella-prover.org/" t=
arget=3D"_blank">http://abella-prover.org/</a>, and <a href=3D"http://sparr=
ow.cs.umn.edu/compilation/" target=3D"_blank">http://sparrow.cs.umn.edu/<wb=
r>compilation/</a>
 for some projects). There are also opportunities for collaborations in=20
the use of formal methods in software verification both with the=20
Software Engineering group in the department and with ones in the local=20
industry, such as at Rockwell-Collins. Moreover, the Twin Cities=20
(Minneapolis and St. Paul) offers an extremely livable environment with=20
several cosmopolitan attractions:=20
theater, restaurants, great public transportation, and varied outdoor=20
activities both around the cities and around Lake Superior that is a=20
short drive away. <br><br></div></span>If this possibility intrigues you
 and you would like to get more specific information, don&#39;t hesitate to=
=20
contact one of us via email. <br><br>Best regards,<br>Eric Van Wyk (<a href=
=3D"mailto:[email protected]" target=3D"_blank">[email protected]</a>)<br>Gopalan Nadat=
hur (<a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]=
.edu</a>)</div></div>

--001a114532b6168ff90541e9388d--

--===============0460343072==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============0460343072==--