CiBO Technologies | Senior Software Engineer | ONSITE | Cambridge, MA or St. Louis, MO | Full-time
CiBO is a startup simulating agricultural ecosystems for any crop, any location, and any scenario in order to meet challenges related to food security, sustainability, profitability, waste, and quality of both food and the environment. You’ll be part of a collaborative team of developers, data scientists, agronomists, and remote sensing experts. As engineers we believe in type tests, functional programming and automation. Our major platform is built on Scala in AWS, with sprinklings of R. CiBO is a science-based company, so prepare to learn and invent with us!
Qualifications: * Solid CS foundation * 5+ years of professional experience * Skilled in at least one of each of an object-oriented {Scala, Java, C++, Python, etc.}, functional {Scala, Haskell, OCaML/SML, Erlang, Clojure, etc.} and a strongly-typed language {Scala, Java, C++, Haskell, etc.}. Multi-counting allowed. * Significant experience with multithreading or distributed/eventually consistent systems * Excellent collaboration skills
To apply for this position please visit https://jobs.lever.co/cibotechnologies/015c46ba-ea76-4a06-8c... Website: http://cibotechnologies.com Other career opportunities: https://jobs.lever.co/cibotechnologies
Dark | Infra + FE 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, Elm, Kubernetes
== Salary/benefits == Good salary for seed-stage startup, good equity. Good benefits, including healthcare, parental leave, 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 http://darklang.com/careers/software-engineer https://darklang.com/careers/frontend-engineer/
Cyient | FULL TIME | ONSITE (remote for the right candidate) | Melbourne, FL; Bangalore, India; or Hyderabad, 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, Software Quality Assurance Engineer, Application Engineer, and DevOps Engineer. Visit http://certsafe.com/careers/ for full position descriptions.
If you plan on working outside of Melbourne, FL, these roles 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.