Arena is looking for a backend dev to work in one of NYC, Baltimore or Chicago. We are building AI that helps predict employee retention in the hiring process. There's a few more legs to be built to give us the "3 of enterprise" but for now, most of our clients are happy with just the one offering.
Using OCaml, Python and some C# (would love to convert to F#.)
Dark | Infrastructure Engineer | Early Stage | Full-time | San Francisco | Onsite
We're making coding 100x easier, allowing you to build scalable backend services in minutes/hours rather than weeks/months. We do this by removing as much accidental complexity as possible from building software, esp around infrastructure, deployment, and APIs. More at https://darklang.com.
• Product: Dark, a holistic combination of a programming language, structured editor, and infrastructure compiler. Basically, anything that we need to do to remove accidental complexity from development. • Phase: Trying it out with first users (https://news.ycombinator.com/item?id=16803189). So quite early, definitely pre-product/market-fit, so you’ll be heavily influencing the product. • Funding: $3.5m • Market: We're targeting existing developers for the next few years • Mission: allowing a billion people to code • Values: Impactful, Decisive, Collaborative, Introspective • Stack: OCaml, Kubernetes
== Salary/benefits == Good salary for seed-stage startup, good equity. Good benefits, including healthcare, parental leave, optional 401k.
== Team == CEO was former VP Prod @ Lola Travel, CTO was founder/CEO of CircleCI
== Interview == infra engineer: 1hr call/in-person with CEO, 1hr chat with CTO, customized after that, likely a 1 day paid onsite.
== More == http://darklang.com/careers/infrastructure-engineer
Cyient | FULL TIME | ONSITE (remote for the right candidate) | Melbourne, FL; Bangalore, India| http://certsafe.com/
CertSAFE is a software suite developed by Cyient for the design, development, simulation, verification, and validation of safety-critical systems. CertSAFE features a graphical development environment for a visual modeling language based on dataflow/circuit diagram notation, a simulation engine and interactive testing interface, an automatic test generator based on Satisfiability Modulo Theories (SMT) solving, and more.
As a member of the CertSAFE team, you will get to apply your software engineering and computer science knowledge in diverse areas, including programming language theory, graph theory, user interface design, concurrent and parallel software design, and software test automation. You will get to interact on a day-to-day basis with real-world users and customers working on safety-critical applications in aerospace, defense, transportation, medical devices, and other fields.
CertSAFE is developed by a small team with a Lean Kanban development process. We use a variety of technologies including Java, Maven, Jenkins, Python, and AWS, and also especially appreciate experience with functional languages such as Haskell, F#, OCaml, Lisp, etc.
Positions available include Software Engineer (Bangalore, India), Software Quality Assurance Engineer (Bangalore, India), Product Specialist (Bangalore, India), and DevOps Engineer (Melbourne, FL). Visit http://certsafe.com/careers/ for full position descriptions.
The roles outside of Melbourne, FL will require travel to Melbourne, FL for 90-180 days to undergo necessary training. Visa assistance is available.
Interested? Email your resume to careers@certsafe.com.