We have two open positions in formal methods/verification at our team at
Intel:
http://jobs.intel.com/ShowJob/Id/1504155/Sr.-Formal-Verification-Engineer/
While the work centers around formal-verification of Intel's microprocessor
offerings, people with background in functional programming and g
Hi,
We have an opening for a software engineer, with the potential for a
lot of Haskell development. Our group at Eaton
(http://www.eaton.com/) develops real-time control software for
vehicle and machinery applications. This position is specifically for
the design and verification of hydraulic h
The "Jobs in Functional Programming" event at Chalmers is now over-and was a
resounding success! So many people preregistered. 111 in total. that I began
to worry about the fire regulations for the room we were using! We ran out
of chairs, and latecomers were standing around the walls. Six companie
I'm proud to announce that the first "Jobs in Functional Programming"
recruitment evening will be held at Chalmers University on the 14th of
December. As far as I am aware, this is the first time such an event has
been held anywhere in the world. While we're holding the event at Chalmers
because we
Tue, 25 Jul 2000 01:54:46 -0700, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze:
> The current implementations predate the Haskell FFI, and so are
> more GHC-specific than they should be, a situation that we hope to
> improve, incrementally. (Any offers of help?)
There is no consensus for a highe
| So generally there is a conflict between making the language better
| and keeping it compatible. Probably indeed the only solution for now
| is to ensure that libraries are being ported to current tools and
| that their state wrt. this process is clearly marked.
Yes, there is clearly such a co
Mon, 24 Jul 2000 19:01:42 +0100, Claus Reinke <[EMAIL PROTECTED]> pisze:
> They might download one of the libraries that looks portable,
> and find it working, more or less, but with quite a few changes
> that would have to be made to it, too. Then they might look for
> todo-lists, release plan
Jan Skibinski:
> On Wed, 19 Jul 2000, Claus Reinke wrote:
>
> [List of some examples of library status information..]
>
> They are all fine and useful. But I do not see any clear
> incentives for authors for doing so, apart from their
> desire to make libraries perfect .. in their spare time,
On Wed, 19 Jul 2000, Frank Atanassow wrote:
> Manuel M. T. Chakravarty writes:
> > HaskellDB is Win-specific as it is based on COM - at least
> > that is what Daan told me last week. (Otherwise, it looks
> > super-cool.)
>
> There is a non-Windows distribution at
>
> http://haskell.cs.ya
On Wed, 19 Jul 2000, Claus Reinke wrote:
[List of some examples of library status information..]
They are all fine and useful. But I do not see any clear
incentives for authors for doing so, apart from their
desire to make libraries perfect .. in their spare time,
> On Wed, 19 Jul 2000, George Russell wrote:
> > What you need for that is SUPPORT, for example, to ensure that things
> > still work when Haskell changes. This is difficult to guarantee in
> > an academic environment.
> But the success of a language will depend on the quality of the libraries,
>
On Wed, 19 Jul 2000, George Russell wrote:
> What you need for that is SUPPORT, for example, to ensure that things
> still work when Haskell changes. This is difficult to guarantee in
> an academic environment.
But the success of a language will depend on the quality of the libraries,
too. If w
Axel Simon wrote:
> One for industrial-strength and
> complete libraries that will remain stable as long as Haskell lives and
> one for the rest.
What you need for that is SUPPORT, for example, to ensure that things
still work when Haskell changes. This is difficult to guarantee in
an academic e
On Wed, 19 Jul 2000, S. Alexander Jacobson wrote:
> * the codebase needs to be production qualty (handle millions of hits
> per day)
> * there should be a network of users (or a support organization) running
> and supporting the software
Hi,
I think most of the Haskell libraries found on www.
Folks,
I have seen a few answers here. Let me add a few other constraints:
* we are unix shop so win32 solutions don't work well here
* the codebase needs to be production qualty (handle millions of hits
per day)
* there should be a network of users (or a support organization) running
and suppor
Frank Atanassow <[EMAIL PROTECTED]> wrote,
> Manuel M. T. Chakravarty writes:
> > Frank Atanassow <[EMAIL PROTECTED]> wrote,
> >
> > > Chris Angus writes:
> > > > Aren't most of these "java additions" MS J++ or MS specific
> > > > rather than java/jdbc "run-anywhere" though?
> > >
>
Manuel M. T. Chakravarty writes:
> Frank Atanassow <[EMAIL PROTECTED]> wrote,
>
> > Chris Angus writes:
> > > Aren't most of these "java additions" MS J++ or MS specific
> > > rather than java/jdbc "run-anywhere" though?
> >
> > Not as far as I know, but maybe Erik and Daan will clari
Frank Atanassow <[EMAIL PROTECTED]> wrote,
> Chris Angus writes:
> > Aren't most of these "java additions" MS J++ or MS specific
> > rather than java/jdbc "run-anywhere" though?
>
> Not as far as I know, but maybe Erik and Daan will clarify.
HaskellDB is Win-specific as it is based on COM -
Chris Angus writes:
> Aren't most of these "java additions" MS J++ or MS specific
> rather than java/jdbc "run-anywhere" though?
Not as far as I know, but maybe Erik and Daan will clarify.
--
Frank Atanassow, Dept. of Computer Science, Utrecht University
Padualaan 14, PO Box 80.089, 3508 TB
S. Alexander Jacobson
> Cc: Manuel M. T. Chakravarty; [EMAIL PROTECTED]
> Subject: RE: Haskell jobs (fwd)
>
>
> S. Alexander Jacobson writes:
> > Off the top of my head here are some Haskell specific
> things that we need:
>
> > * HSP pages (like ASP or JSP
S. Alexander Jacobson writes:
> Off the top of my head here are some Haskell specific things that we need:
> * HSP pages (like ASP or JSP or PHP)
Erik Meijer has done this. Can't find the preprint online, though. (Erik?)
> * in memory Haskell server analogous to JServ that talks to apache
m
I think many of the issues were discussed with great clarity on slashdot.
If we get the relevant critical mass of functional programmers, you will
definitely be hearing from us. Off the top of my head here are some
Haskell specific things that we need:
* HSP pages (like ASP or JSP or PHP)
* in me
"S. Alexander Jacobson" <[EMAIL PROTECTED]> wrote,
> I am President of Shop.com and know and love Haskell (and FP in general).
> Nonetheless, the issue with using Haskell commercially is that:
> * we cannot afford the training costs associated with getting new
> programmers up to speed and findin
I am President of Shop.com and know and love Haskell (and FP in general).
Nonetheless, the issue with using Haskell commercially is that:
* we cannot afford the training costs associated with getting new
programmers up to speed and finding programmers at all (much less Haskell
programmers) is fair
Speaking of Haskell- and Haskell-related- jobs, does anybody know of any good Haskell
internships? Somebody told me that there are many more academic opportunities in
functional programming in England than here, but what about non-academic ones?
--Ben Russell
[EMAIL PROTECTED]
[EMAIL PROTECTED
On Thu 13 Jul, Brett Letner wrote:
> 1) If you want some blank stares, start talking to a contracting company
> sales-rep about haskell and why you want to work with it.
I've tried this, I think they just assume you have a sheech imhediment and
can't hronounce 'Hascal'.
> 2) If you are lonel
Group -
Does anyone out there know of any haskell, or haskell related jobs in the
U.S.?
If so, please let me know so that I can send a resume (or you can find it
on the internet at resumes.dice.com/bletner).
I've searched sites like hotjobs.com and monster.com but haven't found
much.
I appolo
27 matches
Mail list logo
