Dark | Infrastructure + Frontend Engineers | 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. Read more at https://medium.com/darklang/the-design-of-dark-59f5d38e52d2.
• 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, Rust
== 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. frontend eng: 1hr call/in-person with CEO, 1hr chat with CTO, tech challenge, 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| 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), and Product Specialist (Bangalore, India). Visit http://certsafe.com/careers/ for full position descriptions. The roles will require travel to Melbourne, FL for 90-180 days to undergo necessary training. Visa assistance is available.