coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Nicolas Guelfi <Nicolas.Guelfi AT ist.lu>
- To: a.bondavalli AT dsi.unifi.it, a.finkelstein AT cs.ucl.ac.uk, aaa AT cs.colostate.edu, aarong AT cs.cmu.edu, abhik AT comp.nus.edu.sg, abrantes AT dsc.ufpb.br, abressler AT vasoftware.com, abrown AT catapulse.com, acorradi AT deis.unibo.it, aeehassa AT plg2.math.uwaterloo.ca, aegyed AT acm.org, ageniet AT ensma.fr, agnes.conte AT imag.fr, agokhale AT lucent.com, Akardy.Zaslavsky AT csse.monash.edu.au, alessandro.maccari AT nokia.com, alexander.ran AT research.nokia.com, alexander.romanovsky AT ncl.ac.uk, Alfonso.Fuggetta AT polimi.it, Alioune.Diagne AT lip6.fr, altmisdort AT usa.net, alw AT cs.colorado.edu, amast AT cs.utwente.nl, amehta AT afs-link.com, amichail AT cse.unsw.edu.au, Amr.Elssamadisy AT thoughtworks.com, andre AT ics.uci.edu, andyg AT cs.york.ac.uk, anna.liu AT csiro.au, announce AT sigart.acm.org, announce AT tcos.org, announcements AT oopsla.acm.org, antti.viljamaa AT cs.helsinki.fi, apd AT cis.strath.ac.uk, apes AT cs.strath.ac.uk, apng-all AT apng.org, aporter AT cs.umd.edu, asc AT fe.up.pt, asci AT twi.tudelft.nl, asian-logic AT logic.jaist.ac.jp, asilva AT fi.upm.es, audris AT avaya.com, avl AT info.ucl.ac.be, avl AT info.ucl.ac.be, avrunin AT cs.umass.edu, avrunin AT math.umass.edu, B.A.Nuseibeh AT open.ac.uk, bala AT cs.wustl.edu, baldoni AT dis.uniromal.it, bampis AT lami.univ-evry.fr, banares AT posta.unizar.es, baresi AT elet.polimi.it, basili AT cs.umd.edu, bastiaan AT cs.vu.nl, bastide AT univ-tlse1.fr, batory AT cs.utexas.edu, baumeist AT informatik.uni-muenchen.de, bazis AT compapp.dcu.ie, bdemsky AT mit.edu, becquet AT cnam.fr, behavior AT cs.ucsd.edu, bertolino AT iei.pi.cnr.it, bgppert AT avaya.com, blc AT info.ucl.ac.be, bmitchel AT mcs.drexel.edu, bob-3SpamMeNot- AT channels.research.att.com, bond AT dstc.edu.au, briand AT sce.carleton.ca, brigitte.plateau AT imag.fr, brunello AT gsyc.escet.urjc.es, bwon AT iLab.5korea.ac.kr, c.szyperski AT qut.edu.au, cabernet-events AT jiscmail.ac.uk, calculemus-ig AT dist.unige.it, caml-list AT pauillac.inria.fr, canfora AT unisannio.it, categories AT mta.ca, ccl AT dfki.uni-sb.de, celia AT mct.gov.br, chambers AT cs.washington.edu, Charles.Lakos@adelaide, chechik AT cs.toronto.edu, chizzoni AT tin.it, christophe.loge AT laria.u-picardie.fr, Christophe.saint-Marcel AT imag.fr, christos.Kloukinas AT inria.fr, Chrsitian.Jensen AT cs.tcd.ie, cianca AT cs.unibo.it, cimitile AT unina.it, clarke AT cs.umass.edu, clements AT sei.cmu.edu, clp AT comp.nus.edu.sg, CMCS2001.ads AT di.unipi.it, cmw AT sce.carleton.ca, coen AT uninsubria.i, cofi-language AT brics.dk, colibri AT let.uu.nl, comlab AT comlab.ox.ac.uk, comprox AT doc.ic.ac.uk, comp-thy AT listserv.nd.edu, compunode AT compulog.org, concurrency AT cwi.nl, constraints-list AT cwi.nl, coordinator AT agentlink.org, coq-club AT pauillac.inria.fr, corvette AT upb.de, COST-MVL AT logic.at, cphc-conf AT jiscmail.ac.uk, cristovao_oliveira AT clix.pt, csjuha AT cs.tut.fi, cs-logic AT cs.indiana.edu, cstefanelli AT ing.unife.it, cstoerme AT sei.cmu.edu, DAI-List AT ece.sc.edu, dalton AT dsc.ufpb.br, dany AT dc.uba.ar, darcy AT telelogic.com, dataflow AT exile.ucc.ie, dataloger AT cs.chalmers.se, datamine-l AT nautilus-sys.com, davebennett AT monmouth.com, davia AT cs.orst.edu, dberry AT csg.uwaterloo.ca, dbworld AT cs.wisc.edu, decindio AT dsi.unimi.it, deduktion AT intellektik.informatik.th-darmstadt.de, deis AT deis.unibo.it, denaro AT elet.polimi.it, deng AT cis.ksu.edu, denis.trystram AT imag.fr, depaoli AT disco.unimib.it, devanbu AT cs.ucdavis.edu, deville AT info.ucl.ac.be, dhoffman AT yin.cs.uvic.ca, dick.mays AT simtrol.com, Didier.Bert AT imag.fr, dinitto AT elet.polimi.it, discipl AT inria.fr, diyaa AT cs.york.ac.uk, DMA-LIST AT NIC.SURFNET.NL, DMANET AT zpr.uni-koeln.de, dna AT pollux.usc.edu, Don.Bagert AT ttu.edu, donat AT cs.unibo.it, dorin AT sce.carleton.ca, drasko AT acm.org, dsr AT ics.uci.edu, duke AT uni-paderborn.de, dupuis.robert AT uqam.ca, dwile AT teknnowledge.com, dwile AT teknowledge.com, dwyer AT cis.ksu.edu, e.chikofsky AT computer.org, ea AT ira.uka.de, eacsl AT dimi.uniud.it, eapls AT jiscmail.ac.uk, eatcs-it AT disi.unige.it, ecommerce-l AT uni-giessen.de, ecoop-info AT ecoop.org, edashofy AT ics.uci.edu, edashofy AT ics.uci.edu, eisic2002-reg AT se.cs.titech.ac.jp, elbaum AT cse.unl.edu, eletier AT info.ucl.ac.be, elf-list AT cs.cmu.edu, eliens AT cs.vu.nl, elsnet-list AT elsnet.org, Emilio.Luque AT uab.es, emisa AT informatik.uni-hannover.de, engels AT uni-paderborn.de, eric.lallet AT int-evry.fr, Eric.Maillet AT ses-astra.com, eshuis AT cs.uwente.nl, esterel-users AT sophia.inria.fr, eti-users AT eti-service.org, f.pupo AT unical.it, facs-mem AT lboro.ac.uk, farhad AT cwi.nl, felder AT dc.uba.ar, fg214 AT informatik.uni-kiel.d400.de, fg-db AT informatik.uni-rostock.de, finite-model-theory AT informatik.rwth-aachen.de, fiona AT cs.york.ac.uk, fits-list AT site.uottawa.ca, fmc AT comp.lancs.ac.uk, formal-methods AT cs.uidaho.edu, francois.coallier AT bell.ca, frank AT ifi.uio.no, frank AT wins.uva.nl, franz AT complang.tuwien.ac.at, frocos AT loria.fr, fr-sem AT frmug.org, fsdm AT it.uq.edu.au, gabi AT upb.de, gall AT infosys.tuwien.ac.at, gannod AT asu.edu, gap AT gwdg.de, garg AT hpl.hp.com, garlan AT cs.cmu.edu, gaspari AT cs.unibo.it, geib AT lifl.fr, general AT cogsci.ed.ac.uk, genetic-programming AT CS.Stanford.EDU, Geoff AT comp.lancs.ac.uk, gerasoul AT cs.rutgers.edu, gerhard AT cs.colorado.edu, ghezzi AT elet.polimi.it, Giancarlo.Succi AT unibz.it, Gilles.Villard AT ens-lyon.fr, glinz AT ifi.unizh.ch, glp AT first.gmd.de, god AT bell-labs.com, gordon AT comp.lancs.ac.uk, gragra AT i3.informatik.rwth-aachen.de, graham AT cs.queensu.ca, gransart AT lifl.fr, Gregory.Schalliol AT thoughtworks.com, gressiert AT cnam.fr, grin AT di.unipi.it, grother AT cs.orst.edu, gruhn AT cs.uni-dortmund.de, gsmith AT vasofware.com, gulp AT di.unipi.it, H.J.Sips AT its.tudelft.nl, hans.jonkers AT philips.com, harrold AT cc.gatech.edu, Hassan.Diab AT dmi.usherb.ca, hatcliff AT cis.ksu.edu, heineman AT cs.wpi.edu, henri.habrias AT irin.univ-nantes.fr, hg AT uni-paderborn.de, hise-safety-critical AT minster.cs.york.ac.uk, hluchy.ui AT savba.sk, hoffnagl AT us.ibm.com, Holger.Hofmann AT de.abb.com, holt AT plg2.math.uwaterloo.cav, homy AT ca.ibm.com, Howard.Johnson AT nrc.ca, I.T.kuz AT its.tudelft.nl, i3s AT i3s.unice.fr, Ian.Gorton AT pnl.gov, idss AT socs.uts.EDU.AU, ifip-wg1_3-members AT daimi.au.dk, ifmsig AT cs.tcd.ie, ikbs AT caad.ed.ac.uk, illc-list AT wins.uva.nl, Ima AT vvasoftware.com, Imagawa AT ics.es.osaka-u.ac.jp, imps AT linus.mitre.org, info AT shinkatech.com, infoagents AT gmd.de, info-hol AT leopard.cs.byu.edu, infolist AT informatik.hu-berlin.de, inoue AT ics.es.osaka-u.ac.jp, inverard AT univaq.it, ipa AT win.tue.nl, ipalist AT win.tue.nl, isabelle-users AT cl.cam.ac.uk, issy AT ee.technion.ac.il, isworld AT irlearn.ucd.ie, Jacek.Blazewicz AT cs.put.poznan.pl, Jacky.Estublier AT imag.fr, jacques.chassin AT imag.fr, jalote AT cse.iitk.ac.in, Jan.Bosch AT cs.rug.nl, jandl AT ict.tuwien.ac.at, jane AT dcs.warwick.ac.uk, Jason.Baragry AT nr.no, java-threads AT ukc.ac.uk, Javy AT posta.unizar.es, jazayeri AT infosys.tuwien.ac.at, jbishop AT cs.up.ac.za, Jean-Claude.Bermond AT inria.fr, JeanFrancois.Monin AT francetelecom.fr, Jean-Louis.Roch AT imag.fr, jean-luc.raffy AT int-evry.fr, Jean-Marc.Geib AT lifl.fr, Jean-Marc.Vincent AT imag.fr, Jefferson.Tan AT csse.monash.edu.au, jens AT yin.cs.uvic.ca, jfeller AT afis.ucc.ie, jherbsleb AT lucent.com, jim AT svrc.uq.edu.au, jjones AT cc.gatech.edu, jk AT doc.ic.ac.uk, JLVillarroel AT posta.unizar.es, jmatlee AT softbase.math.uwaterloo.ca, jmj AT info.fundp.ac.be, jnm AT doc.ic.ac.uk, Johan.Lilius AT abo.fi, Johan.S.Andersson AT se.abb.com, John.howse AT brighton.ac.uk, jonal AT cs.washington.edu, jonathan.bowen AT sbu.ac.uk, jpk AT ic.unicamp.br, jukka.paakki AT cs.helsinki.fi, jukka.viljamaa AT cs.hlesinki.fi, Julien.Maisonneuve AT alcatel.fr, julien AT cs.wustl.edu, Juliette.Le-Delliou AT edf.fr, Karl.Goeschka AT frequentis.com, kaw AT swi.psy.uva.nl, kemm AT cs.ucsb.edu, kena AT cs.colorado.edu, kgs AT dbai.tuwien.ac.at, khs AT sce.carleton.ca, king AT cs.york.ac.uk, Kival AT polp.com.br, kjt AT cs.stir.ac.uk, kk AT cs.tut.fi, kk AT cs.tut.fi, Klaus.Schmid AT iese.fhg.de, k-matsushita AT hitachi-system.co.jp, knight AT cs.virginia.edu, koester AT offis.uni-oldenburg.de, kokichi AT jaist.ac.jp, konig AT lami.univ-evry.fr, koopman AT cmu.edu, kostas AT swen.uwaterloo.ca, kqml AT cs.umbc.edu, Kramp AT informatik.uni-kl.de, kreed AT cs.latrobe.edu.au, kusumoto AT ics.es.osaka-u.ac.jp, kutlusan AT usa.net, l.nigro AT unical.it, laleau AT iie.cnam.fr, lam AT cs28.08.2002stanford.edu, lambda-usergroup AT dcs.ed.ac.uk, Lars.Bratthall AT no.abb.com, laurence.pierre AT cmi.univ-mrs.fr, laurent.bacon AT edf.fr, lavazza AT cefriel.it, ldillon AT cse.msu.edu, leblanc AT alum.mit.edu, leiding AT usc.edu, lepthien AT cs.colorado.edu, leveson AT mit.edu, lfcs-interest AT dcs.ed.ac.uk, lfg AT lists.stanford.edu, lics AT research.bell-labs.com, lics-request AT webserver.mathematik.uni-freiburg.de, linderme AT in.tum.de, linear AT CS.Stanford.EDU, list AT arbib.dm.univaq.it, LISTSERV AT listserv.heanet.ie, lizzi AT cnam.fr, ljo AT cs.umass.edu, llf AT di.fc.ul.pt, lob AT sei.cmu.edu, logic AT cs.cornell.edu, logic-ml AT logic.jaist.ac.jp, lohr AT inf.fu-berlin.de, loom-forum AT isi.edu, lotos-world AT sanson.dit.upm.es, Lotos-World AT site.uottawa.ca, lowende AT uni-paderbon.de, lp-internet AT doc.ic.ac.uk, lpnmr AT cs.engr.uky.edu, lprolog AT cis.upenn.edu, maamaw AT cosmos.imag.fr, maier AT fast.de, malishal AT cs.orst.edu, mandriol AT elet.polimi.it, marc.Frappier AT dmi.usherb.ca, marc AT cis.strath.ac.uk, marchet AT dis.uniromal.it, Marie-Pierre.Gervais AT lip.6, markku.hakala AT cs.tut.fi, maroc AT uni-paderbonr.de, marvie AT lifl.fr, mary.shaw AT cs.cmu.edu, maude AT csl.sri.com, mecella AT dis.uniromal.it, mercury-users AT cs.mu.oz.au, merle AT lifl.fr, mgehrke AT uni-paderborn.de, Michal.orkisz AT pl.abb.com, Michel.Syska AT sophia.inria.fr, migod AT plg2.math.uwaterloo.ca, mihaela.sighireanu AT liafa.jussieu.fr, mikio.aoyama AT nifty.com, mikio AT csd.ts.fujitsu.co.jp, mkim AT cs.umd.edu, ml AT ics.uci.edu, mlnet AT swi.psy.uva.nl, mobility AT media.mit.edu, mol AT cis.upenn.edu, moldt AT informatil.uni-hamburg.de, mop AT cs.ruu.nl, Morven.Gentleman AT dal.ca, MREuro AT posta.unizar.es, mrobilla AT cs.ubc.ca, msousa AT fe.up.pt, m-tsuda AT hitachi-system.co.jp, mtt AT uni-paderborn.de, murphy AT cs.ubc.ca, murray AT cis.strath.ac.uk, myongsp AT iLab.5korea.ac.kr, nd AT doc.ic.ac.uk, neno AT usc.edu, Nicole.Levy AT prism.uvsq.fr, nierej AT uni-paderborn.de, nlcl AT cogs.susx.ac.uk, nl-kr AT cs.rpi.edu, nobots AT lists.stanford.edu, notkin AT cs.washington.edu, nqthm-users AT cli.com, nuprllist AT cs.cornell.edu, nuprlnotes AT cs.cornell.edu, office AT siks.nl, ohanssen AT acm.org, olivier.delmas AT cnes.fr, om-announce AT lars.math.fsu.edu, orna.raz AT cs.cmu.edu, ossher AT watson.ibm.com, oz-users AT dfki.de, P.Knauber AT fh-mannheim.de, padberg AT ira.uka.de, papm AT dcs.ed.ac.uk, parallel-io AT dartmouth.edu, Pascal.poizat AT irin.univ-nantes.fr, patrick AT cs.vu.nl, payseur AT avaya.com, pbellavista AT deis.unibo.it, pbk AT rational.com, pept AT yl.is.s.u-tokyo.ac.jp, perkusic AT dee.ufpb.br, perry AT ece.utexas.edu, PetriNets AT daimi.au.dk, pezze AT disco.unimib.it, philippe.Chavin AT cnet.francetelecom.fr, phuong AT iie.cnam.fr, phyllis AT morph.poly.edu, picco AT elet.polimi.it, pjmarron AT informatik.uni-freiburg.de, pkallaku AT cse.unl.edu, practical-applications AT pap.com, procos AT jiscmail.ac.uk, prog-lang AT diku.dk, prologia AT prologianet.univ-mrs.fr, prolog-pe AT bach.ces.cwru.edu, ptendick AT avaya.com, ptg AT ccs.neu.edu, puml-list AT cs.york.ac.uk, pvs AT csl.sri.com, radinger AT ict.tuwien.ac.at, rapide-support AT poset.stanford.edu, rasmith AT cs.umass.edu, reiko AT upb.de, reliable_computing AT interval.usl.edu, relmics-list AT dionysos.Informatik.unibw-muenchen.de, rewriting AT ens-lyon.fr, rich AT cc.gatech.edu, Richard.St-Denis AT dmi.usherb.ca, richardp AT ensma.fr, rinard AT Ics.mit.edu, Rob.van.Ommering AT philips.com, robert AT sc.siemens.com, robschink AT fmi.uni-passau.de, roelw AT cs.utwente.nl, roessler AT avaya.com, rohs AT inf.ethz.ch, roman AT cs.wustl.edu, rossj AT cse.unsw.edu.au, rws AT scr.siemens.com, ryder AT cs.rutgers.edu, s.j.h.kent AT ukc.ac.uk, s.uchitel AT doc.ic.ac.uk, scc AT cs.ust.hk, schmidt AT uci.edu, sdlnews AT sdl-forum.org, sered AT IPIPAN.Waw.PL, seworld AT cs.colorado.edu, seworld AT cs.colorado.edu, shalini AT lucent.com, shandra AT bell-labs.com, shawnb AT cs.cmu.edu, sherba AT cs.colorado.edu, sh-morimoto AT hitachi-system.co.jp, sibertin AT univ-tlsel.fr, sigparse-list AT nl.cs.cmu.edu, sk AT cs.brown.edu, smancori AT mcs.drexel.edu, snelting AT fmi.uni-passau.de, snow72 AT lucent.com, softverf AT nist.gov, software-engineering AT jiscmail.ac.uk, sonnenschein AT offis.uni-oldenburg.de, sonoteno AT etl.go.jp, sophie.dupuy AT imag.fr, sreedhar AT watson.ibm.com, stasko AT cc.gatech.edi, steen AT cs.vu.nl, stochver AT cs.bham.ac.uk, sturm AT uni-trier.de, sudheendra.hangal AT sun.com, Sullivan AT Virginia.EDU, szep AT ict.tuwien.ac.at, t.margalef AT cc.uab.es, taboo-list AT promet1.deis.unibo.it, takagi AT etl.go.jp, Takeshi.Inoue AT jp.yokogawa.com, tamai AT graco.c.u-tokyo.ac.jp, taylor AT uci.edu, tball AT microsoft.com, tbasten AT ics.ele.tue.nl, tfm-list AT doc.ic.ac.uk, theorem-provers AT ai.mit.edu, theorynt AT listserv.nodak.edu, Thierry.Gautier AT inrialpes.fr, tichy AT ira.uka.de, tkhazra AT epitomione.com, Tom.Holvoet AT cs.kuleuven.ac.be, tom.mens AT vub.ac.be, tom AT maibaum.org, tools-europe AT eiffel.com, toruk AT usa.net, tracanel AT cefriel.it, tulika AT comp.nus.edu.sg, types AT cis.upenn.edu, uitp AT dcs.gla.ac.uk, umlhun AT topica.com, umtraver AT mcs.drexel.edu, Valerie.Issarny AT inria.fr, valk AT informatik.uni-hamburg.de, vdm-forum AT jiscmail.ac.uk, vernadat AT laas.fr, virgi AT dis.uniromal.it, vki-list AT dfki.de, vlach AT ksi.ms.mff.cuni.cz, vogt AT inf.ethz.ch, vtr AT cs.wayne.edu, W.Emmerich AT cs.ucl.ac.uk, weiss AT avaya.com, wilhelm AT uni-paderborn.de, wilhelm AT uni-paderborn.de, wls AT cs.cmu.edu, Wotjek AT rational.com, wsinw AT win.tue.nl, Xavier.Blanc AT lip6.fr, yogi AT cs.technion.ac.il, yves_callewaert AT excite.com, zavattar AT cs.unibo.it, zeves AT ora.on.ca, zforum AT prg.ox.ac.uk, zuendorf AT ips.cs.tu-bs.de
- Subject: [Coq-Club] Research Assistant Position in Model Driven Engineering, Luxembourg
- Date: Mon, 07 Jul 2003 15:09:09 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Dear colleague,
Please find below a job offer to distribute to any interested person you might know.
thanks for your collaboration,
Nicolas Guelfi
************************************************************************************************************************************
************************************************************************************************************************************
[With our excuses for multiple copies.]
* Job title:
Research Assistant Position in Model Driven Engineering, Luxembourg University of Applied Sciences, Luxembourg
* Position description:
The Software Engineering Competence Center (http://se2c.ist.lu) of the Department of Applied Computer Sciences at the Luxembourg University of Applied Sciences is offering a position for a research assistant to work on its R&D projects.
The post will entail working with a team of specialists in software engineering in the following fields: Model Driven Engineering (UML model, model-to-model and model to code transformation, MDA), architectural frameworks for distributed systems, design, verification and validation of critical systems and e-business transactions. The primary role of this post will entail involvement in the development of research and development projects, in the management of PhD students and R&D engineers and also in developing the industrial relationships that are of interest for the corresponding R&D projects. In case of interest teaching in our curriculum can also be envisaged.
The successful candidate should have a PhD in computer science and should
preferably have a passport of a country belonging to the extended European
community.
The post is advertised as a fixed term contract for a period going from 12 months to 48 months depending on the candidate qualification and wishes, commencing as soon as possible. The post will involve some travel to allow work with partner organisations worldwide. Salary, from € 40 000 to € 50 000 Per Annum, will be dependent on experience and qualifications. We also offer a generous holiday allowance and a pleasant working environment. It must be also noticed that Luxembourg is now creating a new university in which there will be many development opportunities.
* Please send your CV + introduction letter by email at : Nicolas.Guelfi AT ist.lu
* Any other information can be asked to:
Prof. Dr. Nicolas Guelfi
IST - Luxembourg University of Applied Sciences
Department of Applied Computer Sciences
Software Engineering Competence Center
6 , rue Richard Coudenhove-Kalergi
L-1359 Luxembourg-Kirchberg
LUXEMBOURG
Office: +352 420 101 251
Secretary: +352 420 101 245 (Mme Mireille Kies)
fax : +352 43 21 24
prof. email :
Nicolas.Guelfi AT ist.lu
**********************************************************************
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
mswadmin AT ist.lu
This footnote also confirms that this email message has been swept
for the presence of computer viruses.
**********************************************************************
- [Coq-Club] Research Assistant Position in Model Driven Engineering, Luxembourg, Nicolas Guelfi
Archive powered by MhonArc 2.6.16.