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.
Dark | Frontend engineer, Infrastructure engineer, Designer | 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: Do your best work, inclusion, autonomy, continuous improvement
• 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
Cryptonomic | Blockchain Developer / DevOps for Blockchains | New York | Full-time ONSITE
Cryptonomic is a Brooklyn-based startup dedicated to the emerging decentralization revolution. We focus primarily on Tezos, Ethereum and IPFS for building out the infrastructure needed for seamlessly creating scalable, resilient and functional applications to let people and communities gain ownership over their identities, information and finances through decentralization and disintermediation.
The blockchain developer will write code in a functional style in Scala and Ocaml to both build high-level applications that work with multiple blockchains and also directly work on blockchain code, especially on the Tezos platform. Previous experience with functional programming is highly desirable.
The DevOps engineer for blockchains will be resposible for deploying systems and infrastructure for keeping a global blockchain infrastructure running. They will be required to quickly pick up expertise in Tezos, Ethereum and IPFS for building dashboards for detecting forks and network issues, in addition to scaling out platforms and associated blockchain networks.
For both the above roles, experience with managing technical projects / teams is a plus.
Apply by sending an email to info at cryptonomic dot tech.